-
Chaotic Masking Protocol for Secure Communication and Attack Detection in Remote Estimation of Cyber-Physical Systems
Authors:
Tao Chen,
Andreu Cecilia,
Daniele Astolfi,
Lei Wang,
Zhitao Liu,
Hongye Su
Abstract:
In remote estimation of cyber-physical systems (CPSs), sensor measurements transmitted through network may be attacked by adversaries, leading to leakage risk of privacy (e.g., the system state), and/or failure of the remote estimator. To deal with this problem, a chaotic masking protocol is proposed in this paper to secure the sensor measurements transmission. In detail, at the plant side, a chao…
▽ More
In remote estimation of cyber-physical systems (CPSs), sensor measurements transmitted through network may be attacked by adversaries, leading to leakage risk of privacy (e.g., the system state), and/or failure of the remote estimator. To deal with this problem, a chaotic masking protocol is proposed in this paper to secure the sensor measurements transmission. In detail, at the plant side, a chaotic dynamic system is deployed to encode the sensor measurement, and at the estimator side, an estimator estimates both states of the physical plant and the chaotic system. With this protocol, no additional secure communication links is needed for synchronization, and the masking effect can be perfectly removed when the estimator is in steady state. Furthermore, this masking protocol can deal with multiple types of attacks, i.e., eavesdrop** attack, replay attack, and stealthy false data injection attack.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Generalized Lyapunov conditions for k-contraction: analysis and feedback design
Authors:
Andreu Cecilia,
Samuele Zoboli,
Daniele Astolfi,
Ulysse Serres,
Vincent Andrieu
Abstract:
Recently, the concept of k-contraction has been introduced as a promising generalization of contraction for dynamical systems. However, the study of k-contraction properties has faced significant challenges due to the reliance on complex mathematical objects called matrix compounds. As a result, related control design methodologies have yet to appear in the literature. In this paper, we overcome e…
▽ More
Recently, the concept of k-contraction has been introduced as a promising generalization of contraction for dynamical systems. However, the study of k-contraction properties has faced significant challenges due to the reliance on complex mathematical objects called matrix compounds. As a result, related control design methodologies have yet to appear in the literature. In this paper, we overcome existing limitations and propose new sufficient conditions for k-contraction which do not rely on matrix compounds. Our design-oriented conditions stem from a strong geometrical interpretation and establish a connection between kcontraction and p-dominance. Notably, these conditions are also necessary in the linear time-invariant framework. Leveraging on these findings, we propose a feedback design methodology for both the linear and the nonlinear scenarios.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
State estimation of an electrochemical lithium-ion battery model: improved observer performance by hybrid redesign
Authors:
E. Petri,
T. Reynaudo,
R. Postoyan,
D. Astolfi,
D. Nesic,
S. Rael
Abstract:
Effective management and just-in-time maintenance of lithium-ion batteries require the knowledge of unmeasured (internal) variables that need to be estimated. Observers are thus designed for this purpose using a mathematical model of the battery internal dynamics. It appears that it is often difficult to tune the observers to obtain good estimation performances both in terms of convergence speed a…
▽ More
Effective management and just-in-time maintenance of lithium-ion batteries require the knowledge of unmeasured (internal) variables that need to be estimated. Observers are thus designed for this purpose using a mathematical model of the battery internal dynamics. It appears that it is often difficult to tune the observers to obtain good estimation performances both in terms of convergence speed and accuracy, while these are essential in practice. In this context, we demonstrate how a recently developed hybrid multi-observer can be used to improve the performance of a given observer designed for an electrochemical model of a lihium-ion battery. Simulation results, obtained with standard parameters values, show the estimation performance improvement using the proposed method.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
Hybrid multi-observer for improving estimation performance
Authors:
E. Petri,
R. Postoyan,
D. Astolfi,
D. Nesic,
V. Andrieu
Abstract:
Various methods are nowadays available to design observers for broad classes of systems, where the primary focus is on establishing the convergence of the estimated states. Nevertheless, the question of the tuning of the observer to achieve satisfactory estimation performance remains largely open. In this context, we present a general design framework for the online tuning of the observer gains. O…
▽ More
Various methods are nowadays available to design observers for broad classes of systems, where the primary focus is on establishing the convergence of the estimated states. Nevertheless, the question of the tuning of the observer to achieve satisfactory estimation performance remains largely open. In this context, we present a general design framework for the online tuning of the observer gains. Our starting point is a robust nominal observer designed for a general nonlinear system, for which an input-to-state stability property can be established. Our goal is then to improve the performance of this nominal observer. We present for this purpose a new hybrid multi-observer scheme, whose great flexibility can be exploited to enforce various desirable properties, e.g., fast convergence and good sensitivity to measurement noise. We prove that an input-to-state stability property also holds for the proposed scheme and, importantly, we ensure that the estimation performance in terms of a quadratic cost is (strictly) improved. We illustrate the efficiency of the approach in improving the performance of given nominal observers in two numerical examples (Van der Pol oscillator and Lithium-Ion (Li-Ion) battery model).
△ Less
Submitted 11 January, 2024; v1 submitted 13 March, 2023;
originally announced March 2023.
-
Total stability and integral action for discrete-time nonlinear systems
Authors:
Samuele Zoboli,
Daniele Astolfi,
Vincent Andrieu
Abstract:
Robustness guarantees are important properties to be looked for during control design. They ensure stability of closed-loop systems in face of uncertainties, unmodeled effects and bounded disturbances. While the theory on robust stability is well established in the continuous-time nonlinear framework, the same cannot be stated for its discrete-time counterpart. In this paper, we propose the discre…
▽ More
Robustness guarantees are important properties to be looked for during control design. They ensure stability of closed-loop systems in face of uncertainties, unmodeled effects and bounded disturbances. While the theory on robust stability is well established in the continuous-time nonlinear framework, the same cannot be stated for its discrete-time counterpart. In this paper, we propose the discrete-time parallel of total stability results for continuous-time nonlinear system. This enables the analysis of robustness properties via simple model difference in the discrete-time context. First, we study how existence of equilibria for a nominal model transfers to sufficiently similar ones. Then, we provide results on the
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
Decentralized event-triggered estimation of nonlinear systems
Authors:
E. Petri,
R. Postoyan,
D. Astolfi,
D. Nešić,
W. P. M. H. Heemels
Abstract:
We investigate the scenario where a perturbed nonlinear system transmits its output measurements to a remote observer via a packet-based communication network. The sensors are grouped into N nodes and each of these nodes decides when its measured data is transmitted over the network independently. The objective is to design both the observer and the local transmission policies in order to obtain a…
▽ More
We investigate the scenario where a perturbed nonlinear system transmits its output measurements to a remote observer via a packet-based communication network. The sensors are grouped into N nodes and each of these nodes decides when its measured data is transmitted over the network independently. The objective is to design both the observer and the local transmission policies in order to obtain accurate state estimates, while only sporadically using the communication network. In particular, given a general nonlinear observer designed in continuous-time satisfying an input-to-state stability property, we explain how to systematically design a dynamic event-triggering rule for each sensor node that avoids the use of a copy of the observer, thereby kee** local calculation simple. We prove the practical convergence property of the estimation error to the origin and we show that there exists a uniform strictly positive minimum inter-event time for each local triggering rule under mild conditions on the plant. The efficiency of the proposed techniques is illustrated on a numerical case study of a flexible robotic arm.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
Towards improving the estimation performance of a given nonlinear observer: a multi-observer approach
Authors:
E. Petri,
R. Postoyan,
D. Astolfi,
D. Nešić,
V. Andrieu
Abstract:
Various methods are nowadays available to design observers for broad classes of systems. Nevertheless, the question of the tuning of the observer to achieve satisfactory estimation performance remains largely open. This paper presents a general supervisory design framework for online tuning of the observer gains with the aim of achieving various trade-offs between robustness and speed of convergen…
▽ More
Various methods are nowadays available to design observers for broad classes of systems. Nevertheless, the question of the tuning of the observer to achieve satisfactory estimation performance remains largely open. This paper presents a general supervisory design framework for online tuning of the observer gains with the aim of achieving various trade-offs between robustness and speed of convergence. We assume that a robust nominal observer has been designed for a general nonlinear system and the goal is to improve its performance. We present for this purpose a novel hybrid multi-observer, which consists of the nominal one and a bank of additional observer-like systems, that are collectively referred to as modes and that differ from the nominal observer only in their output injection gains. We then evaluate on-line the estimation cost of each mode of the multi-observer and, based on these costs, we select one of them at each time instant. Two different strategies are proposed. In the first one, initial conditions of the modes are reset each time the algorithm switches between different modes. In the second one, the initial conditions are not reset. We prove a convergence property for the hybrid estimation scheme and we illustrate the efficiency of the approach in improving the performance of a given nominal high-gain observer on a numerical example.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Event-triggered observer design for linear systems
Authors:
E. Petri,
R. Postoyan,
D. Astolfi,
D. Nešić,
W. P. M. H. Heemels
Abstract:
We present an event-triggered observer design for linear time-invariant systems, where the measured output is sent to the observer only when a triggering condition is satisfied. We proceed by emulation and we first construct a continuous-time Luenberger observer. We then propose a dynamic rule to trigger transmissions, which only depends on the plant output and an auxiliary scalar state variable.…
▽ More
We present an event-triggered observer design for linear time-invariant systems, where the measured output is sent to the observer only when a triggering condition is satisfied. We proceed by emulation and we first construct a continuous-time Luenberger observer. We then propose a dynamic rule to trigger transmissions, which only depends on the plant output and an auxiliary scalar state variable. The overall system is modeled as a hybrid system, for which a jump corresponds to an output transmission. We show that the proposed event-triggered observer guarantees global practical asymptotic stability for the estimation error dynamics. Moreover, under mild boundedness conditions on the plant state and its input, we prove that there exists a uniform strictly positive minimum inter-event time between any two consecutive transmissions, guaranteeing that the system does not exhibit Zeno solutions. Finally, the proposed approach is applied to a numerical case study of a lithium-ion battery.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
Nonlinear Robust Periodic Output Regulation of Minimum Phase Systems
Authors:
Daniele Astolfi,
Laurent Praly,
Lorenzo Marconi,
Mines Paristech
Abstract:
In linear systems theory it's a well known fact that a regulator given by the cascade of an oscillatory dynamics, driven by some regulated variables, and of a stabiliser stabilising the cascade of the plant and of the oscillators has the ability of blocking on the steady state of the regulated variables any harmonics matched with the ones of the oscillators. This is the well-celebrated internal mo…
▽ More
In linear systems theory it's a well known fact that a regulator given by the cascade of an oscillatory dynamics, driven by some regulated variables, and of a stabiliser stabilising the cascade of the plant and of the oscillators has the ability of blocking on the steady state of the regulated variables any harmonics matched with the ones of the oscillators. This is the well-celebrated internal model principle. In this paper we are interested to follow the same design route for a controlled plant that is a nonlinear and periodic system with period T : we add a bunch of linear oscillators, embedding n o harmonics that are multiple of 2$π$/T , driven by a "regulated variable" of the nonlinear system, we look for a stabiliser for the nonlinear cascade of the plant and the oscillators, and we study the asymptotic properties of the resulting closedloop regulated variable. In this framework the contributions of the paper are multiple: for specific class of minimum-phase systems we present a systematic way of designing a stabiliser, which is uniform with respect to n o , by using a mix of high-gain and forwarding techniques; we prove that the resulting closed-loop system has a periodic steady state with period T with a domain of attraction not shrinking with n o ; similarly to the linear case, we also show that the spectrum of the steady state closed-loop regulated variable does not contain the n harmonics embedded in the bunch of oscillators and that the L 2 norm of the regulated variable is a monotonically decreasing function of n o. The results are robust, namely the asymptotic properties on the regulated variable hold also in presence of any uncertainties in the controlled plant not destroying closed-loop stability.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Forwarding design for stabilization of a coupled transport equation-ODE with a cone-bounded input nonlinearity
Authors:
Swann Marx,
Lucas Brivadis,
Daniele Astolfi
Abstract:
We propose a new design technique for the stabilization of coupled ODE-PDE systems in feedforward form. In particular, we address the stabilization problem of a one-dimensional transport equation driven by a scalar ODE which is controlled via a cone-bounded nonlinearity. The unforced transport equation is conservative but not asymptotically stable. The proposed technique is inspired by the forward…
▽ More
We propose a new design technique for the stabilization of coupled ODE-PDE systems in feedforward form. In particular, we address the stabilization problem of a one-dimensional transport equation driven by a scalar ODE which is controlled via a cone-bounded nonlinearity. The unforced transport equation is conservative but not asymptotically stable. The proposed technique is inspired by the forwarding approach early introduced in the 90's. Well-posedness and asymptotic stability of the closed-loop system are discussed.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
About Robustness of Control Systems Embedding an Internal Model
Authors:
Michelangelo Bin,
Daniele Astolfi,
Lorenzo Marconi
Abstract:
Robustness is a basic property of any control system. In the context of linear output regulation, it was proved that embedding an internal model of the exogenous signals is necessary and sufficient to achieve tracking of the desired reference signals in spite of external disturbances and parametric uncertainties. This result is commonly known as "internal model principle". A complete extension of…
▽ More
Robustness is a basic property of any control system. In the context of linear output regulation, it was proved that embedding an internal model of the exogenous signals is necessary and sufficient to achieve tracking of the desired reference signals in spite of external disturbances and parametric uncertainties. This result is commonly known as "internal model principle". A complete extension of such linear result to general nonlinear systems is still an open problem, which is exacerbated by the large number of alternative definitions of uncertainty and desired control goals that are possible in a nonlinear setting. In this paper, we develop a general framework in which all these different notions can be formally characterized in a unifying way. Classical results are reinterpreted in the proposed setting, and new results and insights are presented with a focus on robust rejection/tracking of arbitrary harmonic content. Moreover, we show by counter-example that, in the relevant case of continuous unstructured uncertainties, there are problems for which no smooth finite-dimensional robust regulator exists ensuring exact regulation.
△ Less
Submitted 22 April, 2021; v1 submitted 17 October, 2020;
originally announced October 2020.
-
Integral Action in Output Feedback for multi-input multi-output nonlinear systems
Authors:
Daniele Astolfi,
Laurent Praly
Abstract:
We address a particular problem of output regulation for multi-input multi-output nonlinear systems. Specifically, we are interested in making the stability of an equilibrium point and the regulation to zero of an output, robust to (small) unmodelled discrepancies between design model and actual system in particular those introducing an offset. We propose a novel procedure which is intended to be…
▽ More
We address a particular problem of output regulation for multi-input multi-output nonlinear systems. Specifically, we are interested in making the stability of an equilibrium point and the regulation to zero of an output, robust to (small) unmodelled discrepancies between design model and actual system in particular those introducing an offset. We propose a novel procedure which is intended to be relevant to real life systems, as illustrated by a (non academic) example.
△ Less
Submitted 3 August, 2015;
originally announced August 2015.
-
A High-Gain Nonlinear Observer with Limited Gain Power
Authors:
Daniele Astolfi,
Lorenzo Marconi
Abstract:
In this note we deal with a new observer for nonlinear systems of dimension n in canonical observability form. We follow the standard high-gain paradigm, but instead of having an observer of dimension n with a gain that grows up to power n, we design an observer of dimension 2n-2 with a gain that grows up only to power 2.
In this note we deal with a new observer for nonlinear systems of dimension n in canonical observability form. We follow the standard high-gain paradigm, but instead of having an observer of dimension n with a gain that grows up to power n, we design an observer of dimension 2n-2 with a gain that grows up only to power 2.
△ Less
Submitted 7 October, 2016; v1 submitted 18 January, 2015;
originally announced January 2015.