Petri net controllers for generalized mutual exclusion constraints with floor operators
From MaRDI portal
Publication:340680
DOI10.1016/j.automatica.2016.07.042zbMath1348.93190OpenAlexW2528134256MaRDI QIDQ340680
Ziyue Ma, Zhiwu Li, Alessandro Giua
Publication date: 14 November 2016
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11584/212943
Design techniques (robust design, computer-aided design, etc.) (93B51) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)
Related Items (4)
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra ⋮ Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs ⋮ Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra
Cites Work
- Unnamed Item
- Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
- 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
- A survey of Petri net methods for controlled discrete event systems
- On the enforcement of a class of nonlinear constraints on Petri nets
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
- A branch and bound approach for the design of decentralized supervisors in Petri net models
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
- Fault model identification and synthesis in Petri nets
- Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Feedback Control Logic for Backward Conflict Free Choice Nets
- Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
- Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations
- Approach for Transforming Linear Constraints on Petri Nets
- Supervisory Control of Petri Nets with Language Specifications
This page was built for publication: Petri net controllers for generalized mutual exclusion constraints with floor operators
