A theory of diagnosis from first principles
Artificial Intelligence
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
A shorter model theory
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Optimal-Reachability and Control for Acyclic Weighted Timed Automata
TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Information and Computation
Diagnosis and Fault-Tolerant Control
Diagnosis and Fault-Tolerant Control
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Verification and Control of Hybrid Systems: A Symbolic Approach
Verification and Control of Hybrid Systems: A Symbolic Approach
Issues of Fault Diagnosis for Dynamic Systems
Issues of Fault Diagnosis for Dynamic Systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Journal of Computer and System Sciences
Fault diagnosis using timed automata
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Monitoring and fault diagnosis of hybrid systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Process fault detection based on modeling and estimation methods-A survey
Automatica (Journal of IFAC)
Safe diagnosability for fault-tolerant supervision of discrete-event systems
Automatica (Journal of IFAC)
Automatic Fault Localization for Property Checking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
| Hi-index | 5.23 |
Physical systems can fail. For this reason the problem of identifying and reacting to faults has received a lot of attention in the control and computer science communities. In this paper we study the fault diagnosis problem for hybrid systems from a game-theoretical point of view. A hybrid system is a system mixing continuous and discrete behaviours that cannot be faithfully modelled neither by using a formalism with continuous dynamics only nor by a formalism including only discrete dynamics. We model hybrid systems as Hybrid Automata and add distinguished actions to describe faults. We define a Fault Identification Game on them, using two players: the environment and the identifier. The environment controls the evolution of the system and chooses whether and when a fault occurs. The identifier observes the external behaviour of the system and announces whether a fault has occurred or not. Existence of a winning strategy for the identifier implies that faults can be detected correctly, while computing such a winning strategy corresponds to implementing an identifier for the system. We will show how to determine the existence of a winning strategy, and how to compute it, for all decidable classes of hybrid automata that admit a finite bisimulation quotient.