Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
From MaRDI portal
Publication:5273656
DOI10.1109/TAC.2003.821419zbMath1365.68341MaRDI QIDQ5273656
Alessandro Giua, Carla 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
93B52: Feedback control
93C65: Discrete event control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A Framework for the Analysis of Supervised Discrete Event Systems Under Attack, Supervisory control of discrete-event systems under external attacks, Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching, Supervision based on place invariants: a survey, 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