Diagnosis of asynchronous discrete-event systems: a net unfolding approach

DOI10.1109/TAC.2003.811249zbMath1364.93452MaRDI QIDQ5266845

Stefan Haar, Albert Benveniste, Claude Jard, Eric Fabre

Publication date: 20 June 2017

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

93C65: Discrete event control/observation systems

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Active fault tolerant control of discrete event systems using online diagnostics, Periodic and non-concurrent error detection and identification in one-hot encoded FSMs, Fault detection for discrete event systems using Petri nets with unobservable transitions, On-line monitoring of large Petri net models under partial observation, Diagnosability analysis of a class of hierarchical state machines, Control of safe ordinary Petri nets using unfolding, Fault diagnosis in discrete event systems modeled by partially observed Petri nets, Diagnosability of discrete event systems with modular structure, Fault diagnosis in discrete time hybrid systems -- a case study, On-line fault detection in discrete event systems by Petri nets and integer linear programming, Unfolding-based diagnosis of systems with an evolving topology, Trellis processes: a compact representation for runs of concurrent systems, Partial order techniques for distributed discrete event systems: why you cannot avoid using them, Safe diagnosability for fault-tolerant supervision of discrete-event systems, Unfolding Grammars in Adhesive Categories, State Estimation and Fault Detection Using Petri Nets, Results and perspectives on fault tolerant control for a class of hybrid systems, Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems, Diagnosability of delay-deadline failures in fair real time discrete event models, Unfolding-Based Diagnosis of Systems with an Evolving Topology, Detection of unmodelled anomalous behaviours via localized controllers for condition systems, Directed Unfolding of Petri Nets, Event Correlation with Boxed Pomsets