A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
From MaRDI portal
Publication:5353040
DOI10.1109/TAC.2012.2200372zbMath1369.93373OpenAlexW2053982295MaRDI QIDQ5353040
Carla Seatzu, Stéphane Lafortune, Alessandro Giua, Maria Paola Cabasino
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
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (27)
Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Optimal sensor selection for ensuring diagnosability in labeled Petri nets ⋮ Verification of opacity and diagnosability for pushdown systems ⋮ A Framework for the Analysis of Supervised Discrete Event Systems Under Attack ⋮ Diagnosability of Petri nets with observation graphs ⋮ Diagnosability of fair transition systems ⋮ What topology tells us about diagnosability in partial order semantics ⋮ Stochastic DES fault diagnosis with coloured interpreted Petri nets ⋮ Marking diagnosability verification in labeled Petri nets ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ On detectability of labeled Petri nets and finite automata ⋮ A language-based diagnosis framework for permanent and intermittent faults ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Active Diagnosis for Switched Systems Using Mealy Machine Modeling ⋮ Deciding detectability for labeled Petri nets ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Verification of C-detectability using Petri nets ⋮ On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ Diagnosis of Petri Nets ⋮ Fault diagnosis for discrete event systems using partially observed Petri nets ⋮ \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
This page was built for publication: A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets