The Diagnosability of Petri Net Models Using Minimal Explanations

DOI10.1109/TAC.2010.2046106MaRDI QIDQ4978877zbMATH OpenOpenAlexFDO

Authors George Jiroveanu, R. K. Boel

Publication date 25 August 2017

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

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

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

(8)

• The complexity of diagnosability and opacity verification for Petri nets
• On K-diagnosability of Petri nets via integer linear programming
• 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
• Diagnosis on a sliding window for partially observable Petri nets
• A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets

This page was built for publication: The Diagnosability of Petri Net Models Using Minimal Explanations

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