Pages that link to "Item:Q2665416"
From MaRDI portal
The following pages link to Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416):
Displaying 4 items.
- Optimal sensor selection for ensuring diagnosability in labeled Petri nets (Q2628671) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems (Q6658942) (← links)