Diagnosis of Time Petri Nets Using Fault Diagnosis Graph

DOI10.1109/TAC.2015.2405293zbMath1360.93442OpenAlexW2069573889MaRDI QIDQ2982581

Xu Wang, Cristian Mahulea, Manuel Silva

Publication date: 16 May 2017

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

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

Mathematics Subject Classification ID

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

Related Items (4)

State estimation in labeled time Petri net systems using observed modified state class graph ⋮ Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships ⋮ Decentralized state estimation and diagnosis of p-time labeled Petri nets systems ⋮ Failure detection and localization for timed event graphs in \((\max,+)\)-algebra

This page was built for publication: Diagnosis of Time Petri Nets Using Fault Diagnosis Graph