Synthesis of feedback control logic for a class of controlled Petri nets
From MaRDI portal
Publication:3493242
DOI10.1109/9.53517zbMath0709.68035OpenAlexW2044943300MaRDI QIDQ3493242
Lawrence E. Holloway, Bruce H. Krogh
Publication date: 1990
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.53517
Feedback control (93B52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
On-line control of partially observed discrete event systems ⋮ Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement ⋮ The design of a controller in fuzzy Petri net ⋮ Supervision based on place invariants: a survey ⋮ Feedback control of Petri nets based on place invariants ⋮ An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets ⋮ Optimal Petri net supervisor synthesis for forbidden state problems using marking mask ⋮ Controller synthesis for net condition/event systems with a solution for incomplete state observation ⋮ Concurrency and maximally permissive feedback in Petri nets with external input places ⋮ An efficient modular method for the control of concurrent discrete event systems: A language-based approach ⋮ Mathematical analysis of stage-based programmable logic controller ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Incremental hierarchical construction of modular supervisors for discrete-event systems ⋮ Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method ⋮ A discrete event approach to the command sequence replanning and control in a teleprogramming system ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Supervisory control of marked graphs with partial observations ⋮ Supervisory control of a class of concurrent discrete event systems under partial observation ⋮ Structural optimal control for safe Petri nets ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Synthesis of Petri net supervisors enforcing general constraints ⋮ Grafcet: behavioural issues and control synthesis ⋮ Sensitivity analysis and optimization of stochastic Petri nets ⋮ Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets ⋮ On the corrective control of sequential machines ⋮ Petri nets for modeling of dynamic systems -- a survey