Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
From MaRDI portal
Publication:2197579
DOI10.1007/s10626-019-00302-zzbMath1448.93204OpenAlexW3012761306MaRDI QIDQ2197579
Marcelo C. M. Teixeira, Robi Malik
Publication date: 1 September 2020
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/10289/13638
Discrete event control/observation systems (93C65) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)
Related Items (3)
A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Compositional coordinator synthesis of extended finite automata ⋮ Optimal modular control of discrete event systems with distinguishers and approximations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A framework for compositional nonblocking verification of extended finite-state machines
- Modeling and control of flexible context-dependent manufacturing systems
- Supervisory control of discrete event systems with distinguishers
- Modular control and coordination of discrete-event systems
- Control of discrete-event systems with modular or distributed structure
- A lattice-theoretical fixpoint theorem and its applications
- Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
- A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
- Introduction to Discrete Event Systems
- Graph-Based Algorithms for Boolean Function Manipulation
- Logic in Computer Science
- Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
This page was built for publication: Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction