Controller Synthesis with Highly Simplified Linear Constraints
From MaRDI portal
Publication:3454364
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
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 Ws3PR 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 S3PMR to reach all states
- Modular Feedback Logic for Discrete Event Systems