Petri net supervisors for DES with uncontrollable and unobservable transitions
From MaRDI portal
Publication:4507096
DOI10.1109/9.847725zbMath0968.93052OpenAlexW2151008975MaRDI QIDQ4507096
Panos J. Antsaklis, John Moody
Publication date: 17 October 2000
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.847725
Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65) Transformations (93B17) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement ⋮ Deadlock and Collision Avoidance in Railway Networks with Dynamic Routing: A Petri Net Approach with Partial Controllability and Observability ⋮ An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming ⋮ Controller Synthesis with Highly Simplified Linear Constraints ⋮ Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places ⋮ Supervision based on place invariants: a survey ⋮ Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra ⋮ Adaptive supervisory control for a class of Petri nets with bimodal transitions ⋮ On the enforcement of a class of nonlinear constraints on Petri nets ⋮ Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs ⋮ An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions ⋮ Symbolic state estimation in bounded timed labeled Petri nets ⋮ Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Reduction of constraints for controller synthesis based on safe Petri nets ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions ⋮ Supervisory control of marked graphs with partial observations ⋮ Execution control of ROV navigation, guidance and control tasks ⋮ Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions ⋮ Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Synthesis of Petri net supervisors enforcing general constraints ⋮ A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems ⋮ Inference approach based on Petri nets ⋮ Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems ⋮ Design of supervisors for linear marking specifications in labeled 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 ⋮ Linear control of live marked graphs