Diagnosability of repairable faults
From MaRDI portal
Publication:1788687
DOI10.1007/s10626-017-0255-8zbMath1398.93214OpenAlexW2999369453MaRDI QIDQ1788687
Hervé Marchand, Eric Fabre, Loïc Hélouët, Engel Lefaucheux
Publication date: 8 October 2018
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01646911/file/jdeds.pdf
Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Observability (93B07)
Related Items
On detectability of labeled Petri nets and finite automata, A language-based diagnosis framework for permanent and intermittent faults, Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Optimal constructions for active diagnosis
- Diagnosis of intermittent faults
- Concurrent secrets
- Relationships between nondeterministic and deterministic tape complexities
- Verification of the Observer Property in Discrete Event Systems
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
- The complexity of propositional linear temporal logics
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Diagnosis in Infinite-State Probabilistic Systems
- Diagnosability of discrete-event systems
- The emptiness problem for intersections of regular languages
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Diagnosability of stochastic discrete-event systems
- An efficient search algorithm to find the elementary circuits of a graph