loading...
Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces
Dallas, Texas November 06-November 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319102Third International Conference On Qua ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai, "Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces," Quality Software, International Conference on, pp. 186, Third International Conference On Quality Software, 2003.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2003.1319102,
author = {Baskar Sridharan and Aditya P. Mathur and Kai-Yuan Cai},
title = {Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-2015-4},
pages = {186},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319102},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces
SN - 0-7695-2015-4
SP
EP
A1 - Baskar Sridharan,
A1 - Aditya P. Mathur,
A1 - Kai-Yuan Cai,
PY - 2003
KW - null
VL - 0
JA - Quality Software, International Conference on
ER -
 
Baskar Sridharan, Purdue University, West Lafayette, IN
Aditya P. Mathur, Purdue University, West Lafayette, IN
Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics, China
A procedure for synthesizing safety controllers for pervasive computing environments is described. Control-theoretic techniques are used in the synthesis. We describe the notions of Connected Spaces and Digital Device Manuals for modeling pervasive computing environments and devices, respectively. The safety requirements for the environment are specified as a set of safety policies. The safety policies are enforced by the safety controller. The notions of policy relaxation cost of the safety policies and safety criticality ranking of the devices are novel to this work. An experimental evaluation of the synthesis procedure is presented. Results show that the synthesis procedure scales linearly with respect to the density of the set of policies.
Citation:
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai, "Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces," qsic, pp.186, Third International Conference On Quality Software, 2003
Usage of this product signifies your acceptance of the Terms of Use.