Diagnosability of repairable faults

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

zbMATH Keywords

automatadiagnosisdiscrete event systems

Mathematics Subject Classification ID

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