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

DOI10.1016/J.TCS.2012.07.031zbMATH Open1294.68102OpenAlexW2065138550MaRDI QIDQ391104FDOQ391104

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

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

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)

Cites Work

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

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)