The Diagnosability of Petri Net Models Using Minimal Explanations
From MaRDI portal
Publication:4978877
DOI10.1109/TAC.2010.2046106zbMath1368.68265OpenAlexW2105084829MaRDI QIDQ4978877
George Jiroveanu, René 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
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
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 ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Diagnosis on a sliding window for partially observable Petri nets
This page was built for publication: The Diagnosability of Petri Net Models Using Minimal Explanations
