Hierarchical control of discrete-event systems

DOI10.1007/BF01797154zbMath0898.93005OpenAlexW2078233504MaRDI QIDQ2563779

Yanyan Li

Publication date: 1 November 1998

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

Full work available at URL: https://doi.org/10.1007/bf01797154

zbMATH Keywords

discrete-event systemsobserversformal languagescontrol structuresnonblockinghierarchical consistencyabstract hierarchical controlcontrol consistency

Mathematics Subject Classification ID

Hierarchical systems (93A13) Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Development of concurrent structural decentralised discrete event system using bisimulation concept ⋮ 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 ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Supervisory control synthesis of discrete-event systems using a coordination scheme ⋮ Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems ⋮ System theory for system identification. ⋮ Bisimilar linear systems. ⋮ On the complexity of synthesizing a minimum-weighted supervisor under partial observation ⋮ Incremental hierarchical construction of modular supervisors for discrete-event systems ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ Abstraction-based failure diagnosis for discrete event systems ⋮ Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator ⋮ Abstraction-based verification of codiagnosability for discrete event systems ⋮ Optimal non‐blocking decentralized supervisory control with unobservable controllable events ⋮ Branching time controllers for 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 ⋮ Supervisory control of discrete event systems with flexible marking ⋮ Supervisory control of product and hierarchical discrete event systems ⋮ Coordination Control of Distributed Discrete-Event Systems ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ Optimal modular control of discrete event systems with distinguishers and approximations ⋮ A language measure for partially observed discrete event systems ⋮ Hierarchical control of timed discrete-event systems ⋮ Coordination control of discrete-event systems revisited ⋮ A hierarchical and modular control architecture for sequential behaviours ⋮ Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder

Cites Work

• Unnamed Item
• Unnamed Item
• On observability of discrete-event systems
• Modular supervisory control of discrete-event systems
• A calculus of communicating systems
• An algebraic approach to supervisory control
• Decentralized supervisory control of discrete-event systems
• Hierarchical control of timed discrete-event systems
• Control of vector discrete-event systems. I. The base model
• Supervisory control of discrete-event processes with partial observations
• Supervisory control of concurrent discrete-event systems
• Process Algebra
• Think globally, act locally: decentralized supervisory control
• Towards an Abstract Internal Model Principle
• Control of discrete event systems modeled as hierarchical state machines
• Supervisory control of timed discrete-event systems
• On the consistency of hierarchical supervision in discrete-event systems
• Modular Feedback Logic for Discrete Event Systems