Secure Diagnosability of Hybrid Dynamical Systems
DOI10.1007/978-3-319-74962-4_7zbMath1455.93091OpenAlexW2794275382MaRDI QIDQ5117251
Gabriella Fiore, Maria Domenica Di Benedetto, Elena De Santis
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_7
finite-state machineshybrid dynamical systemsdiagnosability propertiesdiscrete output functionprocedural abstraction
Formal languages and automata (68Q45) 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
- Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results
- Diagnosability of discrete event systems and its applications
- Secure estimation based Kalman filter for cyber-physical systems against sensor attacks
- Diagnosability analysis of hybrid systems cast in a discrete-event framework
- A secure control framework for resource-limited adversaries
- Observability and diagnosability of finite state systems: a unifying framework
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- Event-Triggered State Observers for Sparse Sensor Noise/Attacks
- Verification of Hybrid Automata Diagnosability With Measurement Uncertainty
- Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
- Introduction to Discrete Event Systems
- Diagnosability of discrete-event systems
- Dynamical properties of hybrid automata
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures
- Verification of Hybrid Automata Diagnosability by Abstraction
- Learning in Non-Stationary Environments
- Fault Diagnosis for Timed Automata
This page was built for publication: Secure Diagnosability of Hybrid Dynamical Systems
