Published Articles >> Table of Contents >> Abstract

Third International Conference On Quality Software   p. 186
Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces
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

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319102
Send link to a friend

Abstract
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.
Back to Top Additional Information
Citation:  Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai, "Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces," qsic, p. 186,  Third International Conference On Quality Software,  2003