TY - GEN
T1 - Synthesizing distributed controllers for the safe operation of ConnectedSpaces
AU - Sridharan, Baskar
AU - Mathur, Aditya P.
AU - Cai, Kai Yuan
PY - 2003
Y1 - 2003
N2 - A collection of one or more devices, each described by its Digital Device Manual and reachable over a network, is a ConnectedSpace. A set of safety policies may be enforced on a ConnectedSpace to ensure the safety of the environment in which the ConnectedSpace is deployed. The enforcement of these safety policies by one or more safety controllers governs the behavior of the devices within the ConnectedSpace. We propose a policy-based partitioning scheme for synthesizing k distributed safety controllers such that (a) each device is guaranteed to be controlled by no more than two controllers, and (b) each policy is guaranteed to be enforced by exactly one controller. We present an experimental evaluation of our scheme. The experimental results show that the scheme is scalable with respect to the number of devices and the number of policies. We also show how safety controllers, that are correct with respect to the policies, are synthesized using the theory of supervisory control.
AB - A collection of one or more devices, each described by its Digital Device Manual and reachable over a network, is a ConnectedSpace. A set of safety policies may be enforced on a ConnectedSpace to ensure the safety of the environment in which the ConnectedSpace is deployed. The enforcement of these safety policies by one or more safety controllers governs the behavior of the devices within the ConnectedSpace. We propose a policy-based partitioning scheme for synthesizing k distributed safety controllers such that (a) each device is guaranteed to be controlled by no more than two controllers, and (b) each policy is guaranteed to be enforced by exactly one controller. We present an experimental evaluation of our scheme. The experimental results show that the scheme is scalable with respect to the number of devices and the number of policies. We also show how safety controllers, that are correct with respect to the policies, are synthesized using the theory of supervisory control.
UR - https://www.scopus.com/pages/publications/37349108227
U2 - 10.1109/PERCOM.2003.1192770
DO - 10.1109/PERCOM.2003.1192770
M3 - 会议稿件
AN - SCOPUS:37349108227
SN - 0769518931
T3 - Proceedings of the 1st IEEE International Conference on Pervasive Computing and Communications, PerCom 2003
SP - 452
EP - 459
BT - Proceedings of the 1st IEEE International Conference on Pervasive Computing and Communications, PerCom 2003
PB - IEEE Computer Society
T2 - 1st IEEE International Conference on Pervasive Computing and Communications, PerCom 2003
Y2 - 23 March 2003 through 26 March 2003
ER -