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

DOI10.1109/TAC.2003.821419zbMath1365.68341OpenAlexW2112978629MaRDI 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

Feedback control (93B52) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (13)

A Framework for the Analysis of Supervised Discrete Event Systems Under Attack ⋮ Supervision based on place invariants: a survey ⋮ 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 ⋮ Supervisory control of discrete-event systems under external attacks ⋮ Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Results and perspectives on fault tolerant control for a class of hybrid systems ⋮ 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 ⋮ 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