Pages that link to "Item:Q2256887"
From MaRDI portal
The following pages link to Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887):
Displaying 6 items.
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Supervisory control based on minimal cuts and Petri net sub-controllers coordination (Q2821354) (← links)
