Pages that link to "Item:Q2103666"
From MaRDI portal
The following pages link to \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization (Q2103666):
Displaying 4 items.
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets (Q1784050) (← links)
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479) (← links)
- Optimal sensor selection for ensuring diagnosability in labeled Petri nets (Q2628671) (← links)
- Fault-prognosability, \(K\)-step prognosis and \(K\)-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques (Q6491085) (← links)