Pages that link to "Item:Q4566964"
From MaRDI portal
The following pages link to On the Decidability and Complexity of Diagnosability for Labeled Petri Nets (Q4566964):
Displayed 6 items.
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)