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
Software—Practice & Experience
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
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |
In this paper, we propose a decentralized supervisory control approach for distributed adaptive systems. The adaptive systems are modeled, through their adaptation managers, as synchronous reactive systems using finite state machines with inputs/outputs and transition guards. When system complexity increases, critical properties cannot be verified intuitively. Therefore, formal and automated control synthesis methods are needed, for supervising the way the adaptation managers are coupled with the system, and for ensuring additional safety properties. We propose the adaptation of existing techniques for discrete controller synthesis, to control decentralized systems that are composed of several subsystems spread across remote sites. Our approach consists of computing, for each site, abstracted behavior models for each distant subsystem. These behavior models will be coupled with the considered local subsystem, in order to compensate for the lack of information caused by the distribution constraints. Then we apply discrete controller synthesis on each site to obtain local controllers. These controllers, acting on their corresponding subsystems, will ensure that the global behavior property is respected.