On-line compositional controller synthesis for AGV
From MaRDI portal
Publication:513815
DOI10.1007/S10626-015-0222-1zbMath1357.93005OpenAlexW2190031910MaRDI QIDQ513815
Olivier H. Roux, Jean-Jacques Loiseau, Johan Girault
Publication date: 8 March 2017
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-015-0222-1
Automated systems (robots, etc.) in control theory (93C85) Hierarchical systems (93A13) Decentralized systems (93A14)
Related Items (2)
On the state liveness of some classes of guidepath-based transport systems and its computational complexity ⋮ Polynomial-time optimal liveness enforcement for guidepath-based transport systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Modular supervisory control of discrete-event systems
- Supervisory control of modular systems with global specification languages
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Introduction to Discrete Event Systems
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Supervisory Control of a Class of Discrete Event Processes
- Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
This page was built for publication: On-line compositional controller synthesis for AGV