Pages that link to "Item:Q5223815"
From MaRDI portal
The following pages link to Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection (Q5223815):
Displaying 6 items.
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach (Q2060855) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)
- Masked observation for majority-based control of a democratic progress model in the framework of discrete event systems (Q6578589) (← links)