Flexible regenerative supervision of sequential behaviour.
From MaRDI portal
Publication:5955806
DOI10.1007/BF02745679zbMath1075.93526MaRDI QIDQ5955806
No author found.
Publication date: 18 February 2002
Published in: Sādhanā (Search for Journal in Brave)
Control/observation systems involving computers (process control, etc.) (93C83) Discrete-time control/observation systems (93C55) Automated systems (robots, etc.) in control theory (93C85)
Cites Work
- Unnamed Item
- Unnamed Item
- Language Stability and Stabilizability of Discrete Event Dynamical Systems
- Supervisory Control of a Class of Discrete Event Processes
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- Stability and stabilizability of discrete event dynamic systems
- On supervisory control of sequential behaviors
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems