On the consistency of hierarchical supervision in discrete-event systems
From MaRDI portal
Publication:5202590
DOI10.1109/9.58555zbMath0724.93051OpenAlexW1973353540MaRDI QIDQ5202590
Publication date: 1990
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.58555
Related Items (32)
Control of parameterized discrete event systems ⋮ Supervisory control of discrete event systems with state-dependent controllability ⋮ Supervisory control of discrete event systems ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ The hierarchical control of ST-finite-state machines ⋮ Supervisory control of discrete event systems with distinguishers ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Incremental model evolution and reusability of supervisors for discrete event systems ⋮ Composite supervisory control for symmetric discrete-event systems ⋮ Incremental hierarchical construction of modular supervisors for discrete-event systems ⋮ An application of discrete-event theory to truck dispatching ⋮ Event rates and aggregation in hierarchical discrete event systems ⋮ Control of large scale discrete event systems: task allocation and coordination ⋮ Aggregation and multi-level control in discrete event dynamic systems ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Optimal non‐blocking decentralized supervisory control with unobservable controllable events ⋮ Logical models of discrete even systems: a comparative exposition ⋮ A hierarchical consistency framework for real-time supervisory control ⋮ On the computation of natural observers in discrete-event systems ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution ⋮ Supervisory control of discrete event systems with flexible marking ⋮ Structural decentralised control of concurrent discrete-event systems ⋮ Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems ⋮ Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays ⋮ Compositional coordinator synthesis of extended finite automata ⋮ Optimal modular control of discrete event systems with distinguishers and approximations ⋮ Hierarchical control of discrete-event systems ⋮ Hierarchical control of timed discrete-event systems ⋮ Coordination control of discrete-event systems revisited
This page was built for publication: On the consistency of hierarchical supervision in discrete-event systems
