Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery

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

Mathematics Subject Classification ID

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