An efficient modular method for the control of concurrent discrete event systems: A language-based approach

DOI10.1007/s10626-006-0007-7zbMath1116.93038OpenAlexW2025949256MaRDI QIDQ884762

Hervé Merchand, Benoit Gaudin

Publication date: 7 June 2007

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-006-0007-7

zbMATH Keywords

Discrete event systemsConcurrent finite state machinesPartial controllabilitySupervisory control problem

Mathematics Subject Classification ID

Controllability (93B05) Discrete event control/observation systems (93C65)

Related Items

On conditional decomposability ⋮ Decentralized control of infinite systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular supervisory control of discrete-event systems
• A first step towards adaptive control for linear systems in max algebra
• Supervisory control of product and hierarchical discrete event systems
• Structural decentralised control of concurrent discrete-event systems
• Synthesis of feedback control logic for a class of controlled Petri nets
• Supervisory control of discrete-event processes with partial observations
• Supervisory control of concurrent discrete-event systems
• Think globally, act locally: decentralized supervisory control
• On the synthesis of safe control policies in decentralized control of discrete-event systems
• Hierarchical interface-based supervisory Control-part I: serial case