Pages that link to "Item:Q1937479"

The following pages link to On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479):

Displaying 19 items.

• Diagnosability of Petri nets with observation graphs (Q312654) (← links)
• Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
• Fault diagnosis for discrete event systems using partially observed Petri nets (Q779501) (← links)
• On-line fault detection in discrete event systems by Petri nets and integer linear programming (Q1049168) (← links)
• On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets (Q1784050) (← links)
• On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
• State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
• Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets (Q2063093) (← links)
• Optimization-based assessment of initial-state opacity in Petri nets (Q2089626) (← links)
• \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization (Q2103666) (← links)
• An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
• Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
• Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
• Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
• Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach (Q2665691) (← links)
• Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
• A language-based diagnosis framework for permanent and intermittent faults (Q6175604) (← links)
• Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)
• Fault-prognosability, \(K\)-step prognosis and \(K\)-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques (Q6491085) (← links)