Modular control and coordination of discrete-event systems
Author abstract: In the supervisory control of discrete-event systems based on controllable languages, a standard way to handle state explosion in large systems is by modular supervision: either horizontal (decentralized) or vertical (hierarchical). However, unless all the relevant languages are prefix-closed, a well-known potential hazard with modularity is that or conflict. In decentralized control, modular supervisors that are individually nonblocking for the plant may nevertheless produce blocking, or even deadlock, when operating on-line concurrently. Similarly, a high-level hierarchical supervisor that predicts nonblocking at its aggregated level of abstraction may inadvertently admit blocking in a low-level implementation. In two previous papers, the authors showed that nonblocking hierarchical control can be guaranted provided high-level aggregation is sufficiently fine; the appropriate conditions were formalized in terms of `control structures' and `observers'. In this paper we apply the same technique to decentralized control, when specifications are imposed on `local' models of the `global' process; in this way we remove the restriction in some earlier work that the plant and specification (marked) languages be prefix-closed. We then solve a more general problem of `coordination': namely how to determine a high level `coordinator' that forestalls conflict in a decentralized architecture when it potentially arises, but is otherwise minimally `intrusive' on low-level control action. Coordination thus combines both vertical and horizontal modularity. The example of a simple production process is provided as a practical illustration. We conclude with an appraisal of the computational effort involved.
- Modular supervisory control and coordination of state tree structures
- scientific article; zbMATH DE number 2150202
- Coordination control of discrete-event systems revisited
- Control of Modular and Distributed Discrete-Event Systems
- Control of discrete-event systems with modular or distributed structure
- Modular supervisory control of discrete-event systems
- Control of large scale discrete event systems: task allocation and coordination
- A general architecture for decentralized supervisory control of discrete-event systems
- PSPACE-completeness of modular supervisory control problems
- On conditional decomposability
- Compositional coordinator synthesis of extended finite automata
- Optimal modular control of discrete event systems with distinguishers and approximations
- Modular control of discrete-event systems using similarity
- Time-optimal control of large-scale systems of systems using compositional optimization
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
- Coordination control of discrete-event systems revisited
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- A discrete event approach to the command sequence replanning and control in a teleprogramming system
- Modular supervisory control and coordination of state tree structures
- Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets
- scientific article; zbMATH DE number 1820095 (Why is no real title available?)
- Incremental hierarchical construction of modular supervisors for discrete-event systems
- Design of nonblocking modular supervisors using event priority functions
- Distributed supervisory control of discrete-event systems with communication delay
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems
- CONFLICTS AND FAIR TESTING
- Mutually nonblocking supervisory control of discrete event systems
- On the computation of natural observers in discrete-event systems
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
- A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
- Hierarchical supervisory control of discrete event systems based on reliable events
- Markov clustering based fully automated nonblocking hierarchical supervisory control of large-scale discrete-event systems
- Designing communicating transaction processes by supervisory control theory
This page was built for publication: Modular control and coordination of discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1272973)
