Supervisory control of discrete event systems
From MaRDI portal
Publication:1922191
DOI10.1016/0895-7177(96)00063-5zbMath0854.93005OpenAlexW1970092510MaRDI QIDQ1922191
Publication date: 22 January 1997
Published in: Mathematical and Computer Modelling (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0895-7177(96)00063-5
Hierarchical systems (93A13) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) System structure simplification (93B11) Synthesis problems (93B50) General systems (93A10)
Related Items (8)
On-line control of partially observed discrete event systems ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Incremental model evolution and reusability of supervisors for discrete event systems ⋮ Undecidability in decentralized supervision ⋮ State estimation and detectability of probabilistic discrete event systems ⋮ Supervisory Control with Complete Observations ⋮ Hierarchical control of timed discrete-event systems ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Sharing out control in distributed processes
- Formulas for calculating supremal controllable and normal sublanguages
- On observability of discrete-event systems
- Modular supervisory control of discrete-event systems
- On supervisory control of real-time discrete-event systems
- On the control of discrete-event dynamical systems
- An algebraic approach to supervisory control
- A graph-theoretic optimal control problem for terminating discrete event processes
- On-line control of partially observed discrete event systems
- Decentralized supervisory control of discrete-event systems
- On control of systems modelled as deterministic Rabin automata
- Hierarchical control of discrete-event systems
- Hierarchical control of timed discrete-event systems
- Supervisory control of a rapid thermal multiprocessor
- Language Stability and Stabilizability of Discrete Event Dynamical Systems
- Control of vector discrete-event systems. I. The base model
- Stabilization of discrete-event processes
- A framework for real-time discrete event control
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- Supervisory control of concurrent discrete-event systems
- Output stabilizability of discrete-event dynamic systems
- Think globally, act locally: decentralized supervisory control
- Control of discrete event systems modeled as hierarchical state machines
- Control of Infinite Behavior of Finite Automata
- Supervision of Infinite Behavior of Discrete-Event Systems
- Stability and stabilizability of discrete event dynamic systems
- A unified approach to control problems in discrete event processes
- Control of vector discrete-event systems. II. Controller synthesis
- Optimal Supervisory Control of Discrete Event Dynamical Systems
- Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
- Supervisory control of timed discrete-event systems under partial observation
- Language convergence in controlled discrete-event systems
- Concurrent vector discrete-event systems
- Equivalence preserving transformations for timed transition models
- On the consistency of hierarchical supervision in discrete-event systems
- Limited lookahead policies in supervisory control of discrete event systems
- On supervisory control of sequential behaviors
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Decidability for a temporal logic used in discrete-event system analysis
- Modular Feedback Logic for Discrete Event Systems
This page was built for publication: Supervisory control of discrete event systems
