Pages that link to "Item:Q5853937"
From MaRDI portal
The following pages link to Design of Supervisors for Active Diagnosis in Discrete Event Systems (Q5853937):
Displaying 4 items.
- Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)