Controller synthesis with highly simplified linear constraints
From MaRDI portal
Recommendations
- Reduction of constraints for controller synthesis based on safe Petri nets
- Forbidden state avoidance controller synthesis for Petri nets
- Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
- Structural optimal control for safe Petri nets
- scientific article; zbMATH DE number 2117022
Cites work
- A best deadlock control for S\(^{3}\)PMR to reach all states
- A generalization of state avoidance policies for controlled Petri nets
- Control of safe ordinary Petri nets using unfolding
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions
- Feedback control of Petri nets based on place invariants
- Modular Feedback Logic for Discrete Event Systems
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Reduction of constraints for controller synthesis based on safe Petri nets
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
- Structure reduction of liveness-enforcing Petri nets using mixed integer programming
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Supervisory control of deterministic Petri nets with regular specification languages
Cited in
(24)- 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 \(\mathrm{WS}^{3}\mathrm{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
- Structural optimal control for safe Petri nets
- Forbidden state avoidance controller synthesis for Petri nets
- 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
- Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices
- Controller synthesis made real: reach-avoid specifications and linear dynamics
- 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
- Control laws synthesis for timed event graphs subject to generalised marking constraints by Min-Plus algebra: application to cluster tools
- Suboptimal time management of discrete event systems with uncontrollable events modeled by Petri nets
- Control of a class of discrete event systems with disturbances and capacity constraints: application to a disassembly problem
- Modeling and control of drug assignment for pharmaceutical cabinets using discrete event systems approaches
- Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process
- Complexity reduction in enforcing disjunctive generalized mutual exclusion constraints
- Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints
- Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process
- Reduction of constraints for controller synthesis based on safe Petri nets
This page was built for publication: Controller synthesis with highly simplified linear constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3454364)
