Detection of Sensor Attack and Resilient State Estimation for Uniformly Observable Nonlinear Systems having Redundant Sensors

This paper presents a detection algorithm for sensor attacks and a resilient state estimation scheme for a class of uniformly observable nonlinear systems. An adversary is supposed to corrupt a subset of sensors with the possibly unbounded signals, while the system has sensor redundancy. We design an individual high-gain observer for each measurement output so that only the observable portion of the system state is obtained. Then, a nonlinear error correcting problem is solved by collecting all the information from those partial observers and exploiting redundancy. A computationally efficient, on-line monitoring scheme is presented for attack detection. Based on the attack detection scheme, an algorithm for resilient state estimation is provided. The simulation results demonstrate the effectiveness of the proposed algorithm

Resilient Observer Design for Discrete-Time Nonlinear Systems with General Criteria

A class of discrete-time nonlinear system and measurement equations having incrementally conic nonlinearities and finite energy disturbances is considered. A linear matrix inequality based resilient observer design approach is presented to guarantee the satisfaction of a variety of performance criteria ranging from simple estimation error boundedness to dissipativity in the presence of bounded perturbations on the gain. Some simulation examples are included to illustrate the proposed design methodology

Establishing a framework for the effective design of resilient supply chains with inherent non-linearities

Purpose of this paper: Previous control theory research on supply chain dynamics has predominantly taken a linear perspective of the real world, whereas nonlinearities have usually been studied via a simulation approach. Nonlinearities can naturally occur in supply chains through the existence of physical and economic constraints, for example, capacity limitations. Since the ability to flex capacity is an important aspect of supply chain resilience, there is a need to rigorously study such nonlinearities. Hence, the purpose of this paper is to propose a framework for the dynamic design of supply chains so that they are resilient to nonlinear system structures

Constructions of Almost Optimal Resilient Boolean Functions on Large Even Number of Variables

In this paper, a technique on constructing nonlinear resilient Boolean functions is described. By using several sets of disjoint spectra functions on a small number of variables, an almost optimal resilient function on a large even number of variables can be constructed. It is shown that given any $m$, one can construct infinitely many $n$-variable ($n$ even), $m$-resilient functions with nonlinearity $>2^{n-1}-2^{n/2}$. A large class of highly nonlinear resilient functions which were not known are obtained. Then one method to optimize the degree of the constructed functions is proposed. Last, an improved version of the main construction is given.Comment: 14 pages, 2 table

On Resilient Control of Nonlinear Systems under Denial-of-Service

We analyze and design a control strategy for nonlinear systems under Denial-of-Service attacks. Based on an ISS-Lyapunov function analysis, we provide a characterization of the maximal percentage of time during which feedback information can be lost without resulting in the instability of the system. Motivated by the presence of a digital channel we consider event-based controllers for which a minimal inter-sampling time is explicitly characterized.Comment: 7 pages, 1 figur

Memory Resilient Gain-scheduled State-Feedback Control of Uncertain LTI/LPV Systems with Time-Varying Delays

The stabilization of uncertain LTI/LPV time delay systems with time varying delays by state-feedback controllers is addressed. At the difference of other works in the literature, the proposed approach allows for the synthesis of resilient controllers with respect to uncertainties on the implemented delay. It is emphasized that such controllers unify memoryless and exact-memory controllers usually considered in the literature. The solutions to the stability and stabilization problems are expressed in terms of LMIs which allow to check the stability of the closed-loop system for a given bound on the knowledge error and even optimize the uncertainty radius under some performance constraints; in this paper, the $\mathcal{H}_\infty$ performance measure is considered. The interest of the approach is finally illustrated through several examples