@inproceedings{55b8827fe0f54a35be5564071758f543,
title = "Using supervisory control to synthesize safety controllers for connected spaces",
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.",
author = "B. Sridharan and Mathur, \{A. P.\} and Cai, \{Kai Yuan\}",
note = "Publisher Copyright: {\textcopyright} 2004 IEEE.; 3rd International Conference on Quality Software, QSIC 2003 ; Conference date: 06-11-2003 Through 07-11-2003",
year = "2003",
doi = "10.1109/QSIC.2003.1319102",
language = "英语",
series = "Proceedings - International Conference on Quality Software",
publisher = "IEEE Computer Society",
pages = "186--193",
booktitle = "Proceedings - 3rd International Conference on Quality Software, QSIC 2003",
address = "美国",
}