On the enforcement of a class of nonlinear constraints on Petri nets
From MaRDI portal
Publication:1689357
DOI10.1016/j.automatica.2015.02.014zbMath1378.93082MaRDI QIDQ1689357
Alessandro Giua, YuFeng Chen, Kamel Barkaoui, Zhiwu Li
Publication date: 12 January 2018
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2015.02.014
93C10: Nonlinear systems in control theory
93A13: Hierarchical systems
93C65: Discrete event control/observation systems
Related Items
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs, An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices, Petri net controllers for generalized mutual exclusion constraints with floor operators, Model-based fault identification of discrete event systems using partially observed Petri nets, Model identification of unobservable behavior of discrete event systems using Petri nets, Design of supervisors for linear marking specifications in labeled Petri nets, Deadlock analysis and control using Petri net decomposition techniques, Editorial: Deadlock analysis and control in resource allocation systems, A survey of siphons in Petri nets, Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs, Deadlock recovery for flexible manufacturing systems modeled with Petri nets, A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems, Petri net representation and reachability analysis of 0--1 integer linear programming problems
Cites Work
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Maximally permissive supervisor synthesis based on a new constraint transformation method
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Supervision based on place invariants: a survey
- Liveness of an extended S\(^{3}\)PR
- Feedback control of Petri nets based on place invariants
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
- Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
- Applications and Theory of Petri Nets 2005