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 …

Control-based self-adaptive systems (control-SAS) are susceptible to deviations from their
pre-identified nominal models. If this model deviation exceeds a threshold, the optimal …

In this paper, we consider the problem of active model discrimination amongst a finite
number of affine models with uncontrolled and noise inputs, each representing a different …

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 …

Smart systems, ranging from smart homes to infrastructure networks such as traffic and
power networks, are examples of cyber-physical systems that are oftentimes safety critical …

Control-based approaches to self-adaptive software-intensive systems (SASs) are hailed for
their optimal performance and theoretical guarantees on the reliability of adaptation …

This paper proposes a novel set-membership active model discrimination (AMD) algorithm
for actively separating/discriminating among a set of piecewise Affine inclusion systems with …

This paper presents an anomaly detection method using a hybrid observer-which consists of
a discrete state observer and a continuous state observer. We focus our attention on …

This paper develops a performance index that can be used to find the optimal design
parameters of the observer-based residual generator and adaptive threshold of a fault …

In this paper, we study a class of hierarchical finite transition systems representing a set of
fault configurations, and we consider synthesizing fault tolerant controllers for such systems …