Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection**This work is supported in part by DARPA grant N66001-14-1-4045.

Harirchi, Farshad; Özay, Necmiye

doi:10.1016/j.ifacol.2015.11.185

Cited by 14 publications

(24 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In our previous work [20], [21], we established a theoretical framework that can be utilized in order to develop fault detection schemes based on the achievements in model invalidation, a framework that we will also consider in this paper. The model invalidation problem is to check whether some given data can be represented by a model or not.…”

Section: Model Invalidation and T -Detectability A Model Invalimentioning

confidence: 99%

“…In brief, an SOS-1 constraint is a set of variables for which at most one variable in the set may be non-zero. Our new formulation is cleaner because this type of constraints allows us to formulate the feasibility check problem without introducing complicated change of variables as was previously done in [20]. 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).…”

Section: Model Invalidation and T -Detectability A Model Invalimentioning

confidence: 99%

“…There is an extensive literature on setmembership based methods for active fault detection of linear models [17]- [19]. In [20], [21], we posed set-membership based guaranteed passive fault detection approaches for the class of switched affine models and polynomial state space models. These approaches are developed by utilizing ideas from model invalidation [22], [23] and taking advantage of recent advances in optimization.…”

Section: Introductionmentioning

confidence: 99%

“…2) Main Contributions and Paper Structure: In this paper, we consider a passive fault detection and isolation scheme for switched affine systems using an optimization-based model invalidation framework, that improves and expands the results of [20] on fault detection. We provide novel formulations of the model invalidation and T -distinguishability algorithms that we demonstrate to be noticeably faster than the previous formulation in [20] and that have the added advantage of simplicity as no complicated change of variables are needed. Furthermore, we introduce a measure of separation between models, called distinguishability index.…”

Section: Introductionmentioning

confidence: 99%

“…Furthermore, we introduce a measure of separation between models, called distinguishability index. By reformulating the T -distinguishability optimization problem in [20], we can compute the distinguishability index as a byproduct. This index offers a practical way to find out if a finite receding time horizon exists, and suggests potential design options for ensuring T -distinguishability.…”

Section: Introductionmentioning

confidence: 99%

See 4 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 Invalimentioning

confidence: 99%

Section: Model Invalidation and T -Detectability A Model Invalimentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 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

show abstract

Input‐to‐state practical stability analysis and controller design of switched affine systems: An observer‐based approach

Xie

Zong

Yang

et al. 2022

Asian Journal of Control

View full text Add to dashboard Cite

This paper addresses the problems of the input-to-state practical stability (ISPS) analysis and output feedback controller design for switched affine systems (SASs) subject to external disturbances. First, a switched affine observer is developed to estimate unmeasurable states. Then by combining the sampled-data control approach, a less conservative mode-dependent dynamic event-triggered mechanism (ETM) is established. The proposed dynamic ETM cannot only avoid Zeno behavior but also reduce the network transmission burden effectively. Further, based on time-dependent Lyapunov-Krasovskii functional and state-dependent switching laws, a set of feasible ISPS conditions are presented in the LMI forms by means of singular value decomposition. The designed switching law depends upon the sampled-data information of the estimated state and gets rid of the chattering phenomenon. Finally, an application example of the DC-DC flyback converter is given to verify the efficacy of the proposed algorithm.

show abstract

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

Harirchi

Özay

2018

Automatica

Self Cite

View full text Add to dashboard Cite

This paper presents a sound and complete fault detection approach for cyber-physical systems represented by hidden-mode switched affine models with time varying parametric uncertainty. The fault detection approach builds upon techniques from model invalidation. In particular, a set-membership approach is taken where the noisy input-output data is compared to the set of behaviors of a nominal model. As we show, this set-membership check can be reduced to the feasibility of a mixed-integer linear programming (MILP) problem, which can be solved efficiently by leveraging the state-of-the-art MILP solvers. In the second part of the paper, given a system model and a fault model, the concept of T -detectability is introduced. If a pair of system and fault models satisfies T -detectability property for a finite T , this allows the model invalidation algorithm to be implemented in a receding horizon manner, without compromising detection guarantees. In addition, the concept of weak-detectability is introduced which extends the proposed approach to a more expressive class of fault models that capture language constraints on the mode sequences. Finally, the efficiency of the approach is illustrated with numerical examples motivated by smart building radiant systems.

show abstract

Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection**This work is supported in part by DARPA grant N66001-14-1-4045.

Cited by 14 publications

References 16 publications

Guaranteed fault detection and isolation for switched affine models

Guaranteed fault detection and isolation for switched affine models

Input‐to‐state practical stability analysis and controller design of switched affine systems: An observer‐based approach

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

Contact Info

Product

Resources

About