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

DOI10.1109/TAC.2003.821419MaRDI QIDQ5273656zbMATHOpenAlexFDO

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

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)

Cited in

(16)

• Deadlock control for a class of generalized Petri nets based on proper resource allocation
• Results and perspectives on fault tolerant control for a class of hybrid systems
• Deadlock-free output feedback controller design based on approximately abstracted observers
• Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
• Diagnosability enforcement in labeled Petri nets using supervisory control
• Supervisory control of discrete-event systems under external attacks
• 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
• State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
• State Estimation and Fault Detection Using Petri Nets
• Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
• Supervision based on place invariants: a survey
• Deadlock recovery for flexible manufacturing systems modeled with Petri nets
• Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
• Verification of C-detectability using Petri nets

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)