Supervision based on place invariants: a survey
From MaRDI portal
Publication:858151
DOI10.1007/S10626-006-0021-9zbMATH Open1109.93031OpenAlexW2152008376MaRDI QIDQ858151FDOQ858151
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
Cites Work
- Control of systems integrating logic, dynamics, and constraints
- A survey of Petri net methods for controlled discrete event systems
- Real-time management of resource allocation systems. A discrete event systems approach.
- Feedback control of Petri nets based on place invariants
- Title not available (Why is that?)
- Title not available (Why is that?)
- Simulation budget allocation for further enhancing the efficiency of ordinal optimization
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Modular Feedback Logic for Discrete Event Systems
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system
- Title not available (Why is that?)
- Synthesis of feedback control logic for a class of controlled Petri nets
- Control of vector discrete-event systems. II. Controller synthesis
- Synthesis of supervisors enforcing general linear constraints in petri nets
- Control of vector discrete-event systems. I. The base model
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
- Observability of place/transition nets
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- Title not available (Why is that?)
- Supervisory control of deterministic Petri nets with regular specification languages
- Design of T-liveness enforcing supervisors in petri nets
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
- Title not available (Why is that?)
- Blocking and controllability of Petri nets in supervisory control
- Linear control of live marked graphs
- Reduction of the supervisory control problem for Petri nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Net structure and control logic synthesis of controlled Petri nets
- 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
- Title not available (Why is that?)
- A generalization of state avoidance policies for controlled Petri nets
- Supervisory Control of Partially Observable Marked Graphs
- Structuring acyclic Petri nets for reachability analysis and control
Cited In (12)
- Feedback control to guarantee marking constraints in timed event graphs including disturbances: application to disassembly systems
- An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs
- Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process
- Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
- Supervisory Control of Petri Nets with Language Specifications
- Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
- Petri net controllers for generalized mutual exclusion constraints with floor operators
- Maximally permissive supervisor synthesis based on a new constraint transformation method
- 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
- Implementable strategies for a two-player asynchronous game on Petri nets
- Deadlock control for a class of generalized Petri nets based on proper resource allocation
Recommendations
- Supervisory control of concurrent systems. A Petri net structural approach. π π
- Supervisory Control of Petri Nets with Language Specifications π π
- Title not available (Why is that?) π π
- Blocking and controllability of Petri nets in supervisory control π π
- Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models π π
This page was built for publication: Supervision based on place invariants: a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q858151)