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

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

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)

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)

Related Items (41)

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

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