Diagnosis of asynchronous discrete-event systems: a net unfolding approach
From MaRDI portal
Publication:5266845
Cited in
(42)- Event Correlation with Boxed Pomsets
- Unfolding-based diagnosis of systems with an evolving topology
- Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks
- Diagnosability analysis of a class of hierarchical state machines
- Results and perspectives on fault tolerant control for a class of hybrid systems
- 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
- Discrete-event systems fault diagnosis
- Algebraic approach for model decomposition: application to fault detection and isolation in discrete-event systems
- 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
- 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
- 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
- Branching processes of timed Petri nets
- Diagnosability of fault patterns with labeled stochastic 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
- Diagnosis of 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
- The on-line diagnosis of time Petri nets
- Diagnosis from scenarios
- Processes and unfoldings: concurrent computations in adhesive categories
- Fault diagnosis for discrete event systems using partially observed Petri nets
- What topology tells us about diagnosability in partial order semantics
- Diagnosability of delay-deadline failures in fair real time discrete event models
- Directed Unfolding of Petri Nets
- Diagnosability of discrete event systems with modular structure
- Toward uniform random generation in 1-safe Petri nets
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
- State Estimation and Fault Detection Using Petri Nets
- Minimal cut sets of a coherent fault tree generation using reverse Petri nets
- Control of safe ordinary Petri nets using unfolding
- Diagnosis and automata
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)
