Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Modular feedback logic for discrete event systems
SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Decentralized supervisory control of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Modular Control and Coordination of Discrete-Event Systems
Discrete Event Dynamic Systems
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Multi-model approach to discrete events systems: application to operating mode management
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Bridging the gap: Discrete-Event Systems for software engineering (short position paper)
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Supervisory control of the structured dynamic discrete-event systems
Automation and Remote Control
Conflict-tolerant specifications in temporal logic
Proceedings of the 3rd India software engineering conference
Multi-Model approach to discrete events systems: Application to operating mode management
Mathematics and Computers in Simulation
Systems-theoretic view of component-based software development
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
A process-algebraic semantics for generalised nonblocking
CATS '11 Proceedings of the Seventeenth Computing: The Australasian Theory Symposium - Volume 119
A process-algebraic semantics for generalised nonblocking
CATS 2011 Proceedings of the Seventeenth Computing on The Australasian Theory Symposium - Volume 119
Hi-index | 0.00 |
In distributed synthesis and control,one well-known potential hazard is conflict between modular designs.In a modular approach to the supervisory control of discrete-eventsystems, modular supervisors that are individually nonblocking(with respect to the plant) may nevertheless conflict and thusproduce blocking, or even deadlock, when operating concurrently.A scheme of resolving this potential conflict between the modularsupervisors would be to accord priorities to the conflictingsupervisors. When conflict arises, the modular supervisor thatis assigned a higher priority will have sole control, or in otherwords the control action of the lower priority supervisor willbe suspended. Thus by assigning priority appropriately, controlactions of the modular supervisors will be suspended and reactivatedin such a way that the potential conflict can be averted. Inthis article we formalize this scheme with reporter maps froma hierarchical approach to the supervisory control of discrete-eventsystems. These maps, each acting as an interface between a modularsupervisor and the plant, mediate the flow of information andcontrol, and thus in this way achieve suspension and reactivationof the modular supervisors. Sufficient conditions on these reportermaps for conflict resolution are obtained. Roughly speaking,the conditions are that (1) the reporter maps select suitable’subsystems‘ of the plant; (2) within these subsystems, conflictsare ’resolved‘; (3) the reporter maps are ’refined‘ enough tolift these local conflict resolutions back to the original plant.With these conditions, a constructive solution is developed,which in essence suspends a supervisor ’just in time‘ to preventconflict and reactivates it when the plant and the other supervisorreturn to the state they were in when the suspension began. Examplesinspired by the feature interaction problem in telecommunicationsystems are provided for illustration.