Hierarchical control of discrete-event systems
From MaRDI portal
Publication:2563779
DOI10.1007/BF01797154zbMATH Open0898.93005OpenAlexW2078233504MaRDI QIDQ2563779FDOQ2563779
Authors: 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
Recommendations
- Hierarchical control of timed discrete-event systems
- Control of discrete event systems modeled as hierarchical state machines
- scientific article; zbMATH DE number 18090
- Hierarchical supervisory control of discrete event systems with model uncertainty
- Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
- Necessary conditions for control consistency in hierarchical control of discrete-event systems
- scientific article; zbMATH DE number 4158510
- Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
- Hierarchically consistent control systems
- Control of parameterized discrete event systems
discrete-event systemsformal languagesnonblockingobserverscontrol structureshierarchical consistencyabstract hierarchical controlcontrol consistency
Hierarchical systems (93A13) Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- A calculus of communicating systems
- Process Algebra
- Modular supervisory control of discrete-event systems
- Decentralized supervisory control of discrete-event systems
- Supervisory control of concurrent discrete-event systems
- Think globally, act locally: decentralized supervisory control
- Modular Feedback Logic for Discrete Event Systems
- On observability of discrete-event systems
- Control of vector discrete-event systems. I. The base model
- Hierarchical control of timed discrete-event systems
- Supervisory control of discrete-event processes with partial observations
- Supervisory control of timed discrete-event systems
- Title not available (Why is that?)
- Control of discrete event systems modeled as hierarchical state machines
- On the consistency of hierarchical supervision in discrete-event systems
- Towards an Abstract Internal Model Principle
- An algebraic approach to supervisory control
- Title not available (Why is that?)
Cited In (38)
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Hierarchical supervisory control of discrete event systems with model uncertainty
- Title not available (Why is that?)
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- On efficient relabeling of symmetric discrete-event systems
- Hierarchical control of timed discrete-event systems
- A language measure for partially observed discrete event systems
- Supervisory control of discrete event systems
- Abstraction-based failure diagnosis for discrete event systems
- System theory for system identification.
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
- Coordination control of discrete-event systems revisited
- Bisimilar linear systems.
- The hierarchical control of ST-finite-state machines
- Coordination control of distributed discrete-event systems
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
- On the computation of natural observers in discrete-event systems
- On the complexity of synthesizing a minimum-weighted supervisor under partial observation
- Supervisory control of discrete event systems with distinguishers
- Aggregation in hierarchical discrete-event systems
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Development of concurrent structural decentralised discrete event system using bisimulation concept
- A hierarchical consistency framework for real-time supervisory control
- Abstraction-based verification and synthesis for prognosis of discrete event systems
- Supervisory control of product and hierarchical discrete event systems
- Optimal modular control of discrete event systems with distinguishers and approximations
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Supervisory control of discrete event systems with flexible marking
- On the computation of observers in discrete-event systems
- A hierarchical and modular control architecture for sequential behaviours
- Incremental hierarchical construction of modular supervisors for discrete-event systems
- A framework for state attraction of discrete event systems under partial observation
- Branching time controllers for discrete event systems
- Abstraction-based verification of codiagnosability for discrete event systems
- Title not available (Why is that?)
- A modular synthesis approach for the coordination of multi-agent systems: the multiple team case
This page was built for publication: Hierarchical control of discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2563779)
