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

DOI10.1109/TAC.2003.811249zbMATH Open1364.93452MaRDI QIDQ5266845FDOQ5266845

Eric Fabre, Claude Jard, Stefan Haar, Albert Benveniste

Publication date: 20 June 2017

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

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

Cited In (42)

Unfolding-based diagnosis of systems with an evolving topology
Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks
Results and perspectives on fault tolerant control for a class of hybrid systems
Diagnosability analysis of a class of hierarchical state machines
Pomset bisimulation and unfolding for reset Petri nets
Unfolding Grammars in Adhesive Categories
Trellis processes: a compact representation for runs of concurrent systems
Unfolding-Based Diagnosis of Systems with an Evolving Topology
Partial order techniques for distributed discrete event systems: why you cannot avoid using them
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
Fault diagnosis in discrete time hybrid systems -- a case study
The On-Line Diagnosis of Time Petri Nets
On-line monitoring of large Petri net models under partial observation
Computing the reveals relation in occurrence nets
Active fault tolerant control of discrete event systems using online diagnostics
Safe diagnosability for fault-tolerant supervision of discrete-event systems
Diagnosability of fault patterns with labeled stochastic Petri nets
Fault detection for discrete event systems using Petri nets with unobservable transitions
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems
Diagnosis of Petri Nets
Fault diagnosis in discrete event systems modeled by partially observed Petri nets
Diagnosability of repairable faults
Stochastic DES fault diagnosis with coloured interpreted Petri nets
Detection of unmodelled anomalous behaviours via localized controllers for condition systems
On-line fault detection in discrete event systems by Petri nets and integer linear programming
Diagnosis and Automata
Processes and unfoldings: concurrent computations in adhesive categories
Diagnosis from scenarios
Fault diagnosis for discrete event systems using partially observed Petri nets
What topology tells us about diagnosability in partial order semantics
Directed Unfolding of Petri Nets
Diagnosability of delay-deadline failures in fair real time discrete event models
Toward uniform random generation in 1-safe Petri nets
Diagnosability of discrete event systems with modular structure
Branching Processes of Timed Petri Nets
Discrete-Event Systems Fault Diagnosis
State Estimation and Fault Detection Using Petri Nets
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
Minimal cut sets of a coherent fault tree generation using reverse Petri nets
Control of safe ordinary Petri nets using unfolding
Event Correlation with Boxed Pomsets

This page was built for publication: Diagnosis of asynchronous discrete-event systems: a net unfolding approach

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