A game-theoretic approach to fault diagnosis and identification of hybrid systems
From MaRDI portal
Publication:391104
DOI10.1016/j.tcs.2012.07.031zbMath1294.68102OpenAlexW2065138550MaRDI QIDQ391104
Marta Capiluppi, Davide Bresolin
Publication date: 10 January 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2012.07.031
hybrid systemsstate estimationhybrid automatabisimulationfault identificationfault identification game
2-person games (91A05) Applications of game theory (91A80) Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Diagnosability of fair transition systems, Sensor fault detection and isolation: a game theoretic approach
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Finding and fixing faults
- The algorithmic analysis of hybrid systems
- Process fault detection based on modeling and estimation methods - a survey
- A theory of diagnosis from first principles
- A theory of timed automata
- Hybrid I/O automata.
- Modelling, state observation and diagnosis of quantised systems
- Correction to On the real exponential field with restricted analytic functions
- Geometric categories and o-minimal structures
- O-minimal hybrid systems.
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- STORMED Hybrid Systems
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
- Verification and Control of Hybrid Systems
- The Pfaffian closure of an o-minimal structure
- O-Minimal Hybrid Reachability Games
- Hybrid Systems: Computation and Control
- Verification of Hybrid Automata Diagnosability by Abstraction
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Foundations of Software Science and Computational Structures
- Formal Modeling and Analysis of Timed Systems