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):
Displayed 4 items.
- 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)
- Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions (Q6068379) (← links)