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 11 items.
- Supervisor direct synthesis method for a structured discrete dynamical system (Q612182) (← links)
- 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)
- Optimal Petri net supervisor synthesis for forbidden state problems using marking mask (Q2656745) (← 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)
- A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems (Q4559495) (← links)
- Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions (Q4684051) (← links)
- (Q5375230) (← links)