Optimal constructions for active diagnosis

DOI10.1016/J.JCSS.2016.04.007zbMath1350.68052OpenAlexW2466791622MaRDI QIDQ314815

Serge Haddad, Tarek Melliti, Stefan Haar, 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

zbMATH Keywords

game theoryautomata theorydiagnosiscontroller synthesispartial observation

Mathematics Subject Classification ID

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

Related Items (3)

Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Diagnosis and degradation control for probabilistic systems ⋮ Diagnosability of repairable faults

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Alternating finite automata on \(\omega\)-words
• Introduction to Discrete Event Systems
• Memoryless Determinacy of Parity Games
• Active diagnosis of discrete-event systems
• Diagnosability of discrete-event systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Fault diagnosis in discrete-event systems: incorporating timing information
• Active Diagnosis for Probabilistic Systems

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