Passive Diagnosis of Hidden-Mode Switched Affine Models with Detection Guarantees via Model Invalidation

DOI10.1007/978-3-319-74962-4_9zbMath1458.93100OpenAlexW2789636216MaRDI QIDQ5117252

Sze Zheng Yong, Necmiye Ozay, Farshad Harirchi

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_9

zbMATH Keywords

mixed-integer linear programmingcyber-physical systemssmart systemsT-distinguishability

Mathematics Subject Classification ID

Mixed integer programming (90C11) Control/observation systems involving computers (process control, etc.) (93C83) Networked control (93B70)

Uses Software

• CPLEX
• Gurobi

Cites Work

• Unnamed Item
• Input design for guaranteed fault diagnosis using zonotopes
• The distinguishability of linear control systems
• Fault diagnosis of machines via parameter estimation and knowledge processing. -- Tutorial paper
• Online fault diagnosis for nonlinear power systems
• Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
• Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches
• Model validation: a connection between robust control and identification
• Observer-based approach to fault detection and isolation for nonlinear systems
• Hybrid Systems: Computation and Control

This page was built for publication: Passive Diagnosis of Hidden-Mode Switched Affine Models with Detection Guarantees via Model Invalidation