Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Decentralized supervisory control of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Synthesis of feedback control logic for discrete manufacturing systems
Automatica (Journal of IFAC)
Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
Discrete Event Dynamic Systems
The Vision of Autonomic Computing
Computer
Synchronous Programming of Reactive Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Contracts for modular discrete controller synthesis
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Reactive model-based control of reconfiguration in the fractal component-based model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
A decentralized supervisory control approach for distributed adaptive systems
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.00 |
In this paper, a decentralised supervisory control approach for distributed adaptive systems is proposed. The adaptive systems are modelled, with their adaptation managers, as synchronous reactive systems using finite state machines with inputs/outputs and transition guards. A formal automated control synthesis technique is developed, for supervising the method of coupling adaptation managers with the system, for the purpose of ensuring important safety properties. Our approach is based on existing techniques for discrete controller synthesis, and develops controllers for decentralised systems, consisting of multiple subsystems spread across remote sites. At each site, abstracted behaviour models for each remote subsystem, is computed. In order to compensate for the lack of information caused by the distributed nature of the system, the model used at each site, consists of the abstracted models of the remote subsystems coupled with the full model of the local subsystem. Discrete controller synthesis is then applied at each site, to obtain its local controller. The site controllers then act collectively and independently, on their corresponding subsystems, to ensure that the total global system behaviour respects the given global property.