Abstractions Refinement for Hybrid Systems Diagnosability Analysis

DOI10.1007/978-3-319-74962-4_11MaRDI QIDQ5117254zbMATH OpenOpenAlexFDO

Authors Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois, Louise Travé-Massuyès

Publication date 20 August 2020

Published in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-74962-4_11

zbMATH Keywords

checking diagnosabilitydiscrete-event systemshybrid automatahybrid systems diagnosabilitytime bounds

Mathematics Subject Classification ID

Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65)

Recommendations

• Verification of Hybrid Automata Diagnosability by Abstraction
• Diagnosis of hybrid dynamic systems based on the behavior automaton abstraction
• Abstractions of hybrid systems for verification
• scientific article; zbMATH DE number 2085314
• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
• scientific article; zbMATH DE number 1956618
• Diagnosability analysis of hybrid systems cast in a discrete-event framework
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 1956581
• Probabilistic diagnosability of hybrid systems

Cites work

• A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services
• A polynomial algorithm for testing diagnosability of discrete-event systems
• A theory of timed automata
• Approximating Continuous Systems by Timed Automata
• Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata
• Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
• Constraint-Based Approach for Analysis of Hybrid Systems
• Counterexample-guided predicate abstraction of hybrid systems
• Criterions for detectability and strong detectability of faults in linear systems
• Diagnosability Analysis of Discrete Event Systems with Autonomous Components
• Diagnosability analysis of hybrid systems cast in a discrete-event framework
• Diagnosability of discrete-event systems
• Diagnosability of fuzzy discrete event systems
• Diagnosability of stochastic discrete-event systems
• Fault diagnosis for timed automata
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 1263213 (Why is no real title available?)
• scientific article; zbMATH DE number 1956581 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1444343 (Why is no real title available?)
• On fault detectability and isolability
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Safe Diagnosability of Stochastic Discrete Event Systems
• SMT-based scenario verification for hybrid systems
• Verification of Hybrid Automata Diagnosability With Measurement Uncertainty

Cited in

(5)

• An approach to post mortem diagnosability analysis for interacting finite state systems
• Probabilistic diagnosability of hybrid systems
• scientific article; zbMATH DE number 1956618 (Why is no real title available?)
• Diagnosis and supervision: model-based approaches
• An approximation-based incremental SMT approach for diagnosability analysis of real-time systems

Describes a project that uses

Uses Software

• Kronos
• Uppaal
• HyComp

This page was built for publication: Abstractions Refinement for Hybrid Systems Diagnosability Analysis

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