Controller Synthesis with Highly Simplified Linear Constraints

DOI10.1002/asjc.528zbMath1327.93267OpenAlexW1535387219MaRDI QIDQ3454364

Abbas Dideban, Hassane Alla, Meysam Zareiee

Publication date: 24 November 2015

Published in: Asian Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/asjc.528

zbMATH Keywords

supervisory controlPetri netcontroller synthesisdiscrete event system (DES)forbidden state

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (11)

Optimal Petri net supervisor synthesis for forbidden state problems using marking mask ⋮ Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs ⋮ Feedback control to guarantee marking constraints in timed event graphs including disturbances: application to disassembly systems ⋮ Min-plus realizable control design for partially observable timed event graphs under marking constraints ⋮ Programmable‐logical‐controllers Synthesis for Automated‐guided‐vehicle Systems Using Ordinary Petri Nets ⋮ New Controllability Condition for Siphons in Ws³PR Nets ⋮ Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places ⋮ State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Feedback control for a class of discrete event systems with critical time ⋮ A branch and bound approach for the design of decentralized supervisors in Petri net models

Cites Work

• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Control of safe ordinary Petri nets using unfolding
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• Reduction of constraints for controller synthesis based on safe Petri nets
• Feedback control of Petri nets based on place invariants
• Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Supervisory control of deterministic Petri nets with regular specification languages
• A generalization of state avoidance policies for controlled Petri nets
• Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
• A best deadlock control for S³PMR to reach all states
• Modular Feedback Logic for Discrete Event Systems

This page was built for publication: Controller Synthesis with Highly Simplified Linear Constraints