Synthesis of controllers for symmetric systems

DOI10.1080/00207179.2010.520415zbMath1210.93031OpenAlexW1969818918MaRDI QIDQ5391450

Chiheb Ameur Abid, Belhassen Zouari

Publication date: 6 April 2011

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207179.2010.520415

zbMATH Keywords

discrete event systemsupervisory control theorycoloured Petri nettheory of regions symbolic reachability graph

Mathematics Subject Classification ID

Decentralized systems (93A14) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (1)

Maximally permissive controller synthesis for time Petri nets

Cites Work

• Synthesis of controllers of processes modeled as colored Petri nets
• A survey of Petri net methods for controlled discrete event systems
• A symbolic reachability graph for coloured Petri nets
• Blocking and controllability of Petri nets in supervisory control
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• A generalization of state avoidance policies for controlled Petri nets

This page was built for publication: Synthesis of controllers for symmetric systems