Supervision based on place invariants: a survey
From MaRDI portal
Publication:858151
DOI10.1007/s10626-006-0021-9zbMath1109.93031OpenAlexW2152008376MaRDI QIDQ858151
Panos J. Antsaklis, Marian V. Iordache
Publication date: 8 January 2007
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-006-0021-9
Related Items (9)
Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ Equivalent transformation of nonlinear constraints to linear constraints in Petri nets ⋮ Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra ⋮ On the enforcement of a class of nonlinear constraints on Petri nets ⋮ Feedback control to guarantee marking constraints in timed event graphs including disturbances: application to disassembly systems ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Robust control reconfiguration of resource allocation systems with Petri nets and integer programming ⋮ Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation ⋮ Supervisory Control of Petri Nets with Language Specifications
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Control of systems integrating logic, dynamics, and constraints
- A survey of Petri net methods for controlled discrete event systems
- Simulation budget allocation for further enhancing the efficiency of ordinal optimization
- Real-time management of resource allocation systems. A discrete event systems approach.
- Linear control of live marked graphs
- Feedback control of Petri nets based on place invariants
- Reduction of the supervisory control problem for Petri nets
- Control of vector discrete-event systems. I. The base model
- Synthesis of feedback control logic for a class of controlled Petri nets
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- Control of vector discrete-event systems. II. Controller synthesis
- Blocking and controllability of Petri nets in supervisory control
- Net structure and control logic synthesis of controlled Petri nets
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness
- Decidability and closure properties of weak Petri net languages in supervisory control
- Concurrent vector discrete-event systems
- On forbidden state problems for a class of controlled Petri nets
- Supervisory control of deterministic Petri nets with regular specification languages
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
- A generalization of state avoidance policies for controlled Petri nets
- Design of T-liveness enforcing supervisors in petri nets
- Synthesis of supervisors enforcing general linear constraints in petri nets
- Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system
- Observability of place/transition nets
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
- Supervisory Control of Partially Observable Marked Graphs
- Modular Feedback Logic for Discrete Event Systems
- Structuring acyclic Petri nets for reachability analysis and control
This page was built for publication: Supervision based on place invariants: a survey
