Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
DOI10.1109/TAC.2003.821419zbMATH Open1365.68341OpenAlexW2112978629MaRDI QIDQ5273656FDOQ5273656
Authors: Alessandro Giua, C. Seatzu, Francesco Basile 
Publication date: 12 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2003.821419
Feedback control (93B52) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (16)
- Supervisory control of discrete-event systems under external attacks
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- Results and perspectives on fault tolerant control for a class of hybrid systems
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Verification of C-detectability using Petri nets
- Diagnosability enforcement in labeled Petri nets using supervisory control
- State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
- Optimal supervisory control with mean payoff objectives and under partial observation
- Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra
- Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
- Supervision based on place invariants: a survey
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
- State Estimation and Fault Detection Using Petri Nets
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
- Deadlock control for a class of generalized Petri nets based on proper resource allocation
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)
