Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach

DOI10.1016/j.automatica.2018.03.040zbMath1400.93129arXiv1609.05921OpenAlexW2963580604WikidataQ129991284 ScholiaQ129991284MaRDI QIDQ1797058

Necmiye Ozay, Farshad Harirchi

Publication date: 17 October 2018

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.05921

zbMATH Keywords

fault detectionparametric uncertaintymixed-integer linear programmingcyber-physical systems\(T\)-detectabilityswitched affine models

Mathematics Subject Classification ID

Mixed integer programming (90C11) Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (11)

A Framework for the Analysis of Supervised Discrete Event Systems Under Attack ⋮ Distributionally robust trade‐off design of parity relation based fault detection systems ⋮ Fault detection based on adaptive interval observer and its application in aeroengine ⋮ Multimode diagnosis for switched affine systems with noisy measurement ⋮ A data-driven fault detection approach for unknown large-scale systems based on GA-SVM ⋮ Passive Diagnosis of Hidden-Mode Switched Affine Models with Detection Guarantees via Model Invalidation ⋮ Security control scheme for cyber-physical system with a complex network in physical layer against false data injection attacks ⋮ Securing state reconstruction under sensor and actuator attacks: theory and design ⋮ Detection of actuator faults for continuous-time systems with intermittent state feedback ⋮ Nonfragile integral-based event-triggered control of uncertain cyber-physical systems under cyber-attacks ⋮ Adaptive fault estimation for cyber-physical systems with intermittent DoS attacks

Uses Software

• CPLEX
• YALMIP
• Oracle

Cites Work

• Unnamed Item
• Unnamed Item
• Closed-loop input design for guaranteed fault diagnosis using set-valued observers
• Input design for guaranteed fault diagnosis using zonotopes
• On location observability notions for switching systems
• Distributed fault detection for interconnected second-order systems
• The distinguishability of linear control systems
• Fault diagnosis of machines via parameter estimation and knowledge processing. -- Tutorial paper
• Guaranteed active failure detection and isolation for linear dynamical systems
• Control of systems integrating logic, dynamics, and constraints
• Online fault diagnosis for nonlinear power systems
• Auxiliary signal design for active failure detection in uncertain linear systems with a priori information
• Tractable approximations to robust conic optimization problems
• Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation
• Verification of Hybrid Automata Diagnosability With Measurement Uncertainty
• Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches
• Reactive synthesis from signal temporal logic specifications
• Detection delays, false alarm rates and the reconfiguration of control systems
• Model validation: a connection between robust control and identification
• Identifiability of linear and nonlinear dynamical systems
• Observer-based approach to fault detection and isolation for nonlinear systems
• A geometric approach to nonlinear fault detection and isolation
• Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
• Diagnosability of discrete-event systems
• Hybrid Systems: Computation and Control
• Attack Detection and Identification in Cyber-Physical Systems

This page was built for publication: Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach