Controller Synthesis with Highly Simplified Linear Constraints

DOI10.1002/asjc.528zbMath1327.93267MaRDI 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 control; Petri net; controller synthesis; discrete event system (DES); forbidden state

Mathematics Subject Classification ID

93A13: Hierarchical systems

93C65: Discrete event control/observation systems

93B50: Synthesis problems

Related Items

Programmable‐logical‐controllers Synthesis for Automated‐guided‐vehicle Systems Using Ordinary Petri Nets, State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints, 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, Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm, A branch and bound approach for the design of decentralized supervisors in Petri net models, Optimal Petri net supervisor synthesis for forbidden state problems using marking mask, 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, Feedback control for a class of discrete event systems with critical time

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