A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

DOI10.1109/TAC.2012.2200372MaRDI QIDQ5353040zbMATH OpenOpenAlexFDO

Authors Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, C. Seatzu

Publication date 8 September 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2012.2200372

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Discrete event control/observation systems (93C65)

Cited in

(32)

• The complexity of diagnosability and opacity verification for Petri nets
• Stochastic DES fault diagnosis with coloured interpreted Petri nets
• Deciding detectability for labeled Petri nets
• On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
• On K-diagnosability of Petri nets via integer linear programming
• Verification of C-detectability using Petri nets
• Analysis of strong and strong periodic detectability of bounded labeled Petri nets
• K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
• Diagnosability of fair transition systems
• Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
• On detectability of labeled Petri nets and finite automata
• Editorial: Deadlock analysis and control in resource allocation systems
• A bidirectional diagnosis algorithm of fuzzy Petri net using inner-reasoning-path
• Verification of opacity and diagnosability for pushdown systems
• Optimal sensor selection for ensuring diagnosability in labeled Petri nets
• Marking diagnosability verification in labeled Petri nets
• Diagnosability enforcement in labeled Petri nets using supervisory control
• State Estimation and Fault Detection Using Petri Nets
• Diagnosability of Petri nets with observation graphs
• What topology tells us about diagnosability in partial order semantics
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
• Computation of minimal diagnosis bases of discrete-event systems using verifiers
• Active diagnosis for switched systems using Mealy machine modeling
• A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
• Diagnosis of Petri Nets
• A language-based diagnosis framework for permanent and intermittent faults
• Diagnosability of fault patterns with labeled stochastic Petri nets
• Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
• Silent closure based pair verifier for fault pattern diagnosis of discrete event systems
• Polynomial-time verification of pattern diagnosability for timed discrete event systems
• Fault diagnosis for discrete event systems using partially observed Petri nets
• Accurate approximate diagnosis of (controllable) stochastic systems

This page was built for publication: A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

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