Reduction of constraints for controller synthesis based on safe Petri nets
From MaRDI portal
Publication:958258
DOI10.1016/j.automatica.2007.10.031zbMath1149.93311OpenAlexW2011008463MaRDI QIDQ958258
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
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