Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

DOI10.1016/j.automatica.2006.02.003zbMath1110.93040OpenAlexW2121750060MaRDI QIDQ857147

Alessandro Giua, Pasquale Chiacchio, Francesco Basile

Publication date: 14 December 2006

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2006.02.003

zbMATH Keywords

supervisory controlPetri netsdiscrete event systemsmonitors

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (13)

An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems ⋮ Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement ⋮ Controller Synthesis with Highly Simplified Linear Constraints ⋮ On structural minimality of optimal supervisors for flexible manufacturing systems ⋮ An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Real time identification of discrete event systems using Petri nets ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Reduction of constraints for controller synthesis based on safe Petri nets ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions ⋮ Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm

Cites Work

• Unnamed Item
• Unnamed Item
• A survey of Petri net methods for controlled discrete event systems
• Control of vector discrete-event systems. II. Controller synthesis
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Synthesis of supervisors enforcing general linear constraints in petri nets

This page was built for publication: Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places