Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
From MaRDI portal
Cited in
(17)- Deadlock-free output feedback controller design based on approximately abstracted observers
- State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
- Verification of C-detectability using Petri nets
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- Optimal supervisory control with mean payoff objectives and under partial observation
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra
- Deadlock control for a class of generalized Petri nets based on proper resource allocation
- State Estimation and Fault Detection Using Petri Nets
- Results and perspectives on fault tolerant control for a class of hybrid systems
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
- Supervisory control of discrete-event systems under external attacks
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
- Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
- Design of control laws to guarantee mutual exclusion constraints in a network of linear min-plus systems with disturbance inputs
- Supervision based on place invariants: a survey
This page was built for publication: Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5273656)
