On-line compositional controller synthesis for AGV

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

zbMATH Keywords

controlsupervisory controlfinite automataautomated guided vehicleon-line synthesis

Mathematics Subject Classification ID

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

• UMDES

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