Optimal constructions for active diagnosis

DOI10.1016/J.JCSS.2016.04.007zbMATH Open1350.68052OpenAlexW2466791622MaRDI QIDQ314815FDOQ314815

Authors: Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon 

Publication date: 16 September 2016

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2016.04.007

Recommendations

• Optimal constructions for active diagnosis
• Active diagnosis of discrete-event systems
• Optimal sensor activation for diagnosing discrete event systems
• Active Diagnosis for Probabilistic Systems
• \(N\)-diagnosability for active on-line diagnosis in discrete event systems

zbMATH Keywords

game theoryautomata theorycontroller synthesisdiagnosispartial observation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Reliability, testing and fault tolerance of networks and computer systems (68M15) Synthesis problems (93B50) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Introduction to Discrete Event Systems
• Active Diagnosis for Probabilistic Systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Optimal constructions for active diagnosis
• On the power of imperfect information
• Fault diagnosis with static and dynamic observers
• Memoryless Determinacy of Parity Games
• Active diagnosis of discrete-event systems
• Diagnosability of discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Fault diagnosis in discrete-event systems: incorporating timing information
• Alternating finite automata on \(\omega\)-words

Cited In (10)

• Accurate approximate diagnosis of (controllable) stochastic systems
• Diagnosis and degradation control for probabilistic systems
• Active diagnosis of discrete-event systems
• Optimal constructions for active diagnosis
• An Efficient Algorithm for Optimal Design of Diagnostics
• Optimal Diagnosable System Design Using Full-Difference Triangles
• Diagnosability of repairable faults
• \(N\)-diagnosability for active on-line diagnosis in discrete event systems
• Fault diagnosis with static and dynamic observers
• Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures

Uses Software

• UMDES

This page was built for publication: Optimal constructions for active diagnosis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q314815)