Pages that link to "Item:Q5353040"
From MaRDI portal
The following pages link to A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets (Q5353040):
Displayed 27 items.
- Diagnosability of Petri nets with observation graphs (Q312654) (← links)
- What topology tells us about diagnosability in partial order semantics (Q351726) (← links)
- Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094) (← links)
- Fault diagnosis for discrete event systems using partially observed Petri nets (Q779501) (← links)
- Accurate approximate diagnosis of (controllable) stochastic systems (Q832093) (← links)
- Stochastic DES fault diagnosis with coloured interpreted Petri nets (Q1665297) (← links)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- 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)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization (Q2103666) (← links)
- Diagnosability of fair transition systems (Q2152493) (← links)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
- Optimal sensor selection for ensuring diagnosability in labeled Petri nets (Q2628671) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack (Q5054282) (← links)
- Active Diagnosis for Switched Systems Using Mealy Machine Modeling (Q5117250) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Diagnosis of Petri Nets (Q5496932) (← links)
- A language-based diagnosis framework for permanent and intermittent faults (Q6175604) (← links)
- Diagnosability of fault patterns with labeled stochastic Petri nets (Q6190046) (← links)