Supervisory control of distributed systems: Conflict resolution

DOI10.1023/A:1008391200517MaRDI QIDQ1975201zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 13 June 2002

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008391200517

zbMATH Keywords

conflict resolutiondiscrete-event systemhierarchical systemmodular supervisorsupervisory controltelecommunication systems

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Review text

A scheme with reporter maps for a hierarchical approach to the supervisory control of a discrete-event system is formalized. These maps, each acting as an interface between a modular supervisor and the plant, mediate the flow of information and control, thereby achieving suspension and reactivation of the modular supervisors. Sufficient conditions on these reporter maps for conflict resolution are obtained. With these conditions, a constructive solution is developed, which in essence suspends a supervisor ``just in time to prevent conflict and reactivates it when the plant and the other supervisors return to the state they were in when the suspension began. Examples inspired by the feature interaction problem in telecommunication systems are provided for illustration.

Recommendations

• Supervisory control of distributed discrete-event systems
• scientific article; zbMATH DE number 434956
• Coordination control of distributed systems
• Supervisory control of concurrent discrete-event systems
• Fully decentralized solutions of supervisory control problems
• Decentralized supervisory control of discrete-event systems
• Consensus system for solving conflicts in distributed systems
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 6178626

Cited in

(6)

• Supervisory control of the structured dynamic discrete-event systems
• Multi-model approach to discrete events systems: application to operating mode management
• scientific article; zbMATH DE number 434956 (Why is no real title available?)
• Conflict-Tolerant Features
• CONFLICTS AND FAIR TESTING
• A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems

This page was built for publication: Supervisory control of distributed systems: Conflict resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1975201)