Secure diagnosability of hybrid dynamical systems

DOI10.1007/978-3-319-74962-4_7MaRDI QIDQ5117251zbMATH OpenOpenAlexFDO

Authors Gabriella Fiore, Maria D. 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

zbMATH Keywords

diagnosability propertiesdiscrete output functionfinite-state machineshybrid dynamical systemsprocedural abstraction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Diagnosability analysis of hybrid systems cast in a discrete-event framework
• Diagnosability of discrete faults with uncertain observations
• Probabilistic diagnosability of hybrid systems
• Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
• Discrete state observability of hybrid systems

Cites work

• A secure control framework for resource-limited adversaries
• An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures
• Diagnosability analysis of hybrid systems cast in a discrete-event framework
• Diagnosability of discrete event systems and its applications
• Diagnosability of discrete-event systems
• Dynamical properties of hybrid automata
• Event-Triggered State Observers for Sparse Sensor Noise/Attacks
• Fault diagnosis for timed automata
• Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results
• Graph theoretic methods in multiagent networks
• scientific article; zbMATH DE number 1444358 (Why is no real title available?)
• Introduction to Discrete Event Systems
• Learning in non-stationary environments. Methods and applications
• Observability and diagnosability of finite state systems: a unifying framework
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
• Secure estimation based Kalman filter for cyber-physical systems against sensor attacks
• Verification of Hybrid Automata Diagnosability by Abstraction
• Verification of Hybrid Automata Diagnosability With Measurement Uncertainty

Cited in

(6)

• Diagnosability analysis of hybrid systems cast in a discrete-event framework
• Observability and diagnosability of finite state systems: a unifying framework
• A notion of biological diagnosability inspired by the notion of opacity in systems security
• Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
• H-systems. Observability, diagnosability, and predictability of hybrid dynamical systems
• Diagnosability analysis of a class of hierarchical state machines

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Secure diagnosability of hybrid dynamical systems

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