Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Safeware: system safety and computers
Safeware: system safety and computers
Finding $k$ Cuts within Twice the Optimal
SIAM Journal on Computing
Parallel Incremental Graph Partitioning
IEEE Transactions on Parallel and Distributed Systems
LEDA: A Library of Efficient Data Types and Algorithms
MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
Digital device manuals for the management of ConnectedSpaces
IEEE Communications Magazine
Optimal and adaptive testing with cost constraints
Proceedings of the 2006 international workshop on Automation of software test
| Hi-index | 0.00 |
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.