Pages that link to "Item:Q5273656"
From MaRDI portal
The following pages link to Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery (Q5273656):
Displaying 16 items.
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Deadlock-free output feedback controller design based on approximately abstracted observers (Q1730325) (← links)
- State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions (Q1773100) (← links)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra (Q2667519) (← links)
- Deadlock control for a class of generalized Petri nets based on proper resource allocation (Q2812823) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- Results and perspectives on fault tolerant control for a class of hybrid systems (Q3015147) (← links)
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack (Q5054282) (← links)
- Supervisory control of discrete-event systems under external attacks (Q6081283) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)
- Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems (Q6653443) (← links)
