Guaranteed Model-Based Fault Detection in Cyber-Physical Systems: A Model Invalidation Approach

Harirchi, Farshad; Özay, Necmiye

doi:10.48550/arxiv.1609.05921

Cited by 4 publications

(15 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreover, SOS-1 constraints, which are by nature integral constraints, make the branch and bound search procedures noticeably faster (see, e.g., [28,Section 3.3.4] for a discussion). Our new model invalidation problem using SOS-1 constraints is presented below, which we will demonstrate to be much faster than an earlier formulation [20], [29] in Section VI-A.…”

Section: Model Invalidation and T -Detectability A Model Invalidationmentioning

confidence: 99%

“…Thus, given two SWA models and an integer T , the T -distinguishability problem is to check whether the two models are T -distinguishable or not. This problem can be addressed using a Satisfiability Modulo Theory approach [20], or a MILP feasibility check [29]. As with model invalidation in the previous section, we will also propose an alternative MILP formulation for checking T -distinguishability, which employs SOS-1 type constraints and as before, is more intuitive and computationally superior (cf.…”

Section: B T -Distinguishabilitymentioning

confidence: 99%

“…Note that in the following T -distinguishability test, we have added a decision variable δ that will be important in a later discussion, which can be computed with little additional computational cost. 1 When the pair of models consists of the nominal system model and the fault model, this is also known as T -detectability [20], [29].…”

Section: B T -Distinguishabilitymentioning

confidence: 99%

See 2 more Smart Citations

Guaranteed fault detection and isolation for switched affine models

Harirchi

Zheng

Ozay

2017

2017 IEEE 56th Annual Conference on Decision and Control (CDC)

Self Cite

View full text Add to dashboard Cite

This paper considers the problem of fault detection and isolation (FDI) for switched affine models. We first study the model invalidation problem and its application to guaranteed fault detection. Novel and intuitive optimizationbased formulations are proposed for model invalidation and T -distinguishability problems, which we demonstrate to be computationally more efficient than an earlier formulation that required a complicated change of variables. Moreover, we introduce a distinguishability index as a measure of separation between the system and fault models, which offers a practical method for finding the smallest receding time horizon that is required for fault detection, and for finding potential design recommendations for ensuring T -distinguishability. Then, we extend our fault detection guarantees to the problem of fault isolation with multiple fault models, i.e., the identification of the type and location of faults, by introducing the concept of I-isolability. An efficient way to implement the FDI scheme is also proposed, whose run-time does not grow with the number of fault models that are considered. Moreover, we derive bounds on detection and isolation delays and present an adaptive scheme for reducing isolation delays. Finally, the effectiveness of the proposed method is illustrated using several examples, including an HVAC system model with multiple faults.

show abstract

Section: Model Invalidation and T -Detectability A Model Invalidationmentioning

confidence: 99%

Section: B T -Distinguishabilitymentioning

confidence: 99%

Section: B T -Distinguishabilitymentioning

confidence: 99%

See 1 more Smart Citation

Guaranteed fault detection and isolation for switched affine models

Harirchi

Zheng

Ozay

2017

2017 IEEE 56th Annual Conference on Decision and Control (CDC)

Self Cite

View full text Add to dashboard Cite

show abstract

“…Fault diagnosis is primarily the analysis of the activities or interactions of an ICPS while it is being observed operating within the environment it is deployed in de Normalisation ( ). Milis et al (2016 and Harirchi and Ozay (2016) define Fault Detection as the capability of a device to determine the difference between normal and abnormal modes of operation. This may be an after-the-fault examination of a system that has failed or a more proactive monitoring of the system's behavior, watching for issues before they occur.…”

Section: Fault Identification Diagnosis and Management Conceptsmentioning

confidence: 99%

“…Fault management strategies include Fault Isolation, which is the process of accurately identifying the location of the fault and its nature (Harirchi and Ozay, 2016). This can be difficult to determine reliably in large systems that contain many interconnected sub-systems.…”

Section: Fault Identification Diagnosis and Management Conceptsmentioning

confidence: 99%

Finding faults: A scoping study of fault diagnostics for Industrial Cyber–Physical Systems

Dowdeswell

Sinha

MacDonell

2020

Journal of Systems and Software

View full text Add to dashboard Cite

This is a PDF file of an article that has undergone enhancements after acceptance, such as the addition of a cover page and metadata, and formatting for readability, but it is not yet the definitive version of record. This version will undergo additional copyediting, typesetting and review before it is published in its final form, but we are providing this version to give early visibility of the article. Please note that, during the production process, errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain.

show abstract

Securing state reconstruction under sensor and actuator attacks: Theory and design

et al. 2020

View full text Add to dashboard Cite

This paper discusses the problem of estimating the state of a linear time invariant system when some of its sensors and actuators are compromised by an adversarial agent. In the model considered in this paper, the malicious agent attacks an input (output) by manipulating its value arbitrarily, i.e., we impose no constraints (statistical or otherwise) on how control commands (sensor measurements) are changed by the adversary. In the first part of this paper, we introduce the notion of sparse strong observability and we show that is a necessary and sufficient condition for correctly reconstructing the state despite the considered attacks. In the second half of this work, we propose an estimator to harness the complexity of this intrinsically combinatorial problem, by leveraging satisfiability modulo theory solving. Numerical simulations demonstrate the effectiveness and scalability of our estimator.

show abstract

Guaranteed Model-Based Fault Detection in Cyber-Physical Systems: A Model Invalidation Approach

Cited by 4 publications

References 0 publications

Guaranteed fault detection and isolation for switched affine models

Guaranteed fault detection and isolation for switched affine models

Finding faults: A scoping study of fault diagnostics for Industrial Cyber–Physical Systems

Securing state reconstruction under sensor and actuator attacks: Theory and design

Contact Info

Product

Resources

About