Abstractions Refinement for Hybrid Systems Diagnosability Analysis
From MaRDI portal
Publication:5117254
DOI10.1007/978-3-319-74962-4_11zbMath1461.93236OpenAlexW2781695650MaRDI QIDQ5117254
Louise Travé-Massuyès, Hadi Zaatiti, Jean-Pierre Gallois, Philippe Dague, Lina Ye
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
discrete-event systemshybrid automatatime boundschecking diagnosabilityhybrid systems diagnosability
Discrete event control/observation systems (93C65) Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- A theory of timed automata
- Diagnosability analysis of hybrid systems cast in a discrete-event framework
- Counterexample-guided predicate abstraction of hybrid systems
- SMT-based scenario verification for hybrid systems
- Diagnosability of fuzzy discrete event systems
- On fault detectability and isolability
- Verification of Hybrid Automata Diagnosability With Measurement Uncertainty
- Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata
- Diagnosability Analysis of Discrete Event Systems with Autonomous Components
- Criterions for detectability and strong detectability of faults in linear systems
- Approximating Continuous Systems by Timed Automata
- Constraint-Based Approach for Analysis of Hybrid Systems
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Diagnosability of discrete-event systems
- Safe Diagnosability of Stochastic Discrete Event Systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Diagnosability of stochastic discrete-event systems
- Fault Diagnosis for Timed Automata
- Formal Methods for the Design of Real-Time Systems
