Synthesizing distributed controllers for the safe operation of ConnectedSpaces

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003). Pub Date : 2003-03-23 DOI:10.1109/percom.2003.1192770

B. Sridharan, A. Mathur, K. Cai

{"title":"Synthesizing distributed controllers for the safe operation of ConnectedSpaces","authors":"B. Sridharan, A. Mathur, K. Cai","doi":"10.1109/percom.2003.1192770","DOIUrl":null,"url":null,"abstract":"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 safely 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.","PeriodicalId":230787,"journal":{"name":"Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003).","volume":"77 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003).","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/percom.2003.1192770","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

Abstract

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 safely 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.

查看原文本刊更多论文

为ConnectedSpaces的安全运行综合分布式控制器

ConnectedSpace是一个或多个设备的集合，每个设备由其数字设备手册描述，并可通过网络访问。可以在ConnectedSpace上实施一组安全策略，以确保部署ConnectedSpace的环境的安全性。由一个或多个安全控制器执行这些安全策略，管理ConnectedSpace中设备的行为。我们提出了一种基于策略的分区方案，用于综合k个分布式安全控制器，这样:(a)保证每个设备由不超过两个控制器控制，(b)保证每个策略由恰好一个控制器执行。我们对我们的方案进行了实验评估。实验结果表明，该方案在设备数量和策略数量方面具有可扩展性。我们还展示了如何使用监督控制理论合成与策略相关的安全控制器。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003).

自引率

0.00%

发文量