A game-theoretic approach to fault diagnosis and identification of hybrid systems

DOI10.1016/J.TCS.2012.07.031MaRDI QIDQ391104zbMATH OpenOpenAlexFDO

Authors Davide Bresolin, Marta Capiluppi

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

zbMATH Keywords

hybrid automatahybrid systemsstate estimationbisimulationfault identificationfault identification game

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) 2-person games (91A05) 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)

Recommendations

• A game-theoretic approach to fault diagnosis of hybrid systems
• Fault diagnosis in nonlinear hybrid systems
• Fault identification in nonlinear hybrid systems
• Fault diagnosis in discrete time hybrid systems -- a case study
• Probabilistic diagnosability of hybrid systems

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3761838 (Why is no real title available?)
• scientific article; zbMATH DE number 1361131 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 1932817 (Why is no real title available?)
• scientific article; zbMATH DE number 1444358 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• A game-theoretic approach to fault diagnosis of hybrid systems
• A theory of diagnosis from first principles
• A theory of timed automata
• Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
• Correction to On the real exponential field with restricted analytic functions
• Finding and fixing faults
• Formal Modeling and Analysis of Timed Systems
• Foundations of Software Science and Computational Structures
• Geometric categories and o-minimal structures
• Hybrid I/O automata.
• Hybrid Systems: Computation and Control
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Model theory and exponentiation.
• Modelling, state observation and diagnosis of quantised systems
• O-minimal hybrid reachability games
• O-minimal hybrid systems.
• Process fault detection based on modeling and estimation methods - a survey
• STORMED Hybrid Systems
• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• The Pfaffian closure of an o-minimal structure
• The algorithmic analysis of hybrid systems
• Verification and Control of Hybrid Systems
• Verification of Hybrid Automata Diagnosability by Abstraction

Cited in

(3)

• A game-theoretic approach to fault diagnosis of hybrid systems
• Diagnosability of fair transition systems
• Sensor fault detection and isolation: a game theoretic approach

This page was built for publication: A game-theoretic approach to fault diagnosis and identification of hybrid systems

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