Pages that link to "Item:Q5266845"
From MaRDI portal
The following pages link to Diagnosis of asynchronous discrete-event systems: a net unfolding approach (Q5266845):
Displaying 41 items.
- What topology tells us about diagnosability in partial order semantics (Q351726) (← links)
- Computing the reveals relation in occurrence nets (Q391112) (← links)
- Diagnosis from scenarios (Q481349) (← links)
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
- Active fault tolerant control of discrete event systems using online diagnostics (Q534270) (← links)
- Periodic and non-concurrent error detection and identification in one-hot encoded FSMs (Q705464) (← links)
- Fault detection for discrete event systems using Petri nets with unobservable transitions (Q710706) (← links)
- On-line monitoring of large Petri net models under partial observation (Q732251) (← links)
- Diagnosability analysis of a class of hierarchical state machines (Q732254) (← links)
- Fault diagnosis for discrete event systems using partially observed Petri nets (Q779501) (← links)
- Control of safe ordinary Petri nets using unfolding (Q816699) (← links)
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets (Q843985) (← links)
- Diagnosability of discrete event systems with modular structure (Q853677) (← links)
- Fault diagnosis in discrete time hybrid systems -- a case study (Q865902) (← links)
- On-line fault detection in discrete event systems by Petri nets and integer linear programming (Q1049168) (← links)
- Stochastic DES fault diagnosis with coloured interpreted Petri nets (Q1665297) (← links)
- Toward uniform random generation in 1-safe Petri nets (Q1687776) (← links)
- Diagnosability of repairable faults (Q1788687) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Pomset bisimulation and unfolding for reset Petri nets (Q2113378) (← links)
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems (Q2127112) (← links)
- Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- Safe diagnosability for fault-tolerant supervision of discrete-event systems (Q2576131) (← links)
- Minimal cut sets of a coherent fault tree generation using reverse Petri nets (Q2868919) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- Results and perspectives on fault tolerant control for a class of hybrid systems (Q3015147) (← links)
- Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems (Q3016279) (← links)
- Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
- Branching Processes of Timed Petri Nets (Q3179184) (← links)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)
- Detection of unmodelled anomalous behaviours via localized controllers for condition systems (Q3541181) (← links)
- Directed Unfolding of Petri Nets (Q3599218) (← links)
- Event Correlation with Boxed Pomsets (Q3614848) (← links)
- Discrete-Event Systems Fault Diagnosis (Q5237329) (← links)
- Diagnosis and Automata (Q5496923) (← links)
- Diagnosis of Petri Nets (Q5496932) (← links)
- The On-Line Diagnosis of Time Petri Nets (Q5496935) (← links)
- Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
- Diagnosability of fault patterns with labeled stochastic Petri nets (Q6190046) (← links)
