Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques

DOI10.1016/J.AUTOMATICA.2024.111513MaRDI QIDQ6491085zbMATH OpenFDO

Authors Amira Chouchane, Mohamed Ghazel

Publication date 24 April 2024

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AUTOMATICA.2024.111513

zbMATH Keywords

\(K\)-step fault prognosis\(K\)-step predictive diagnosisalgebraic approachesdiscrete-event systemsfault-prognosability analysisinteger optimization problemPetri nets

Mathematics Subject Classification ID

Algebraic methods (93B25) Discrete event control/observation systems (93C65)

Recommendations

• Faults prognosis using partially observed stochastic Petri nets: an incremental approach
• K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
• Diagnosis on a sliding window for partially observable Petri nets
• On K-diagnosability of Petri nets via integer linear programming
• Fault diagnosis for discrete event systems using partially observed Petri nets

Cites work

• K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
• Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
• Decentralized fault prognosis of discrete event systems with guaranteed performance bound
• Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
• Fault prognosis of timed stochastic discrete event systems with bounded estimation error
• Faults prognosis using partially observed stochastic Petri nets: an incremental approach
• On K-diagnosability of Petri nets via integer linear programming
• On-line fault detection in discrete event systems by Petri nets and integer linear programming
• Predictability of event occurrences in partially-observed discrete-event systems
• Predictability of event occurrences in timed systems
• Stochastic Failure Prognosability of Discrete Event Systems
• The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints
• The explicit linear quadratic regulator for constrained systems
• Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs

Cited in

(1)

• Prognosability verification and enforcement in labeled Petri nets under observation delays and intermittent losses

This page was built for publication: Fault-prognosability, \(K\)-step prognosis and \(K\)-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6491085)