Reduction of constraints for controller synthesis based on safe Petri nets

DOI10.1016/j.automatica.2007.10.031zbMath1149.93311OpenAlexW2011008463MaRDI QIDQ958258

Abbas Dideban, Hassane Alla

Publication date: 3 December 2008

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

supervisory controlPetri netscontroller synthesisdiscrete event systemsforbidden states

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)

Controller Synthesis with Highly Simplified Linear Constraints ⋮ Optimal Petri net supervisor synthesis for forbidden state problems using marking mask ⋮ On structural minimality of optimal supervisors for flexible manufacturing systems ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places ⋮ Structural optimal control for safe Petri nets ⋮ Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis ⋮ On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net ⋮ A branch and bound approach for the design of decentralized supervisors in Petri net models ⋮ Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems

Cites Work

• Unnamed Item
• Control of safe ordinary Petri nets using unfolding
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• Feedback control of Petri nets based on place invariants
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Discrete, Continuous, and Hybrid Petri Nets
• Supervisory control of deterministic Petri nets with regular specification languages
• Modular Feedback Logic for Discrete Event Systems

This page was built for publication: Reduction of constraints for controller synthesis based on safe Petri nets