-
Privacy and Security Trade-off in Interconnected Systems with Known or Unknown Privacy Noise Covariance
Authors:
Haojun Wang,
Kun Liu,
Baojia Li,
Emilia Fridman,
Yuanqing Xia
Abstract:
This paper is concerned with the security problem for interconnected systems, where each subsystem is required to detect local attacks using locally available information and the information received from its neighboring subsystems. Moreover, we consider that there exists an additional eavesdropper being able to infer the private information by eavesdrop** transmitted data between subsystems. Th…
▽ More
This paper is concerned with the security problem for interconnected systems, where each subsystem is required to detect local attacks using locally available information and the information received from its neighboring subsystems. Moreover, we consider that there exists an additional eavesdropper being able to infer the private information by eavesdrop** transmitted data between subsystems. Then, a privacy-preserving method is employed by adding privacy noise to transmitted data, and the privacy level is measured by mutual information. Nevertheless, adding privacy noise to transmitted data may affect the detection performance metrics such as detection probability and false alarm probability. Thus, we theoretically analyze the trade-off between the privacy and the detection performance. An optimization problem with maximizing both the degree of privacy preservation and the detection probability is established to obtain the covariance of the privacy noise. In addition, the attack detector of each subsystem may not obtain all information about the privacy noise. We further theoretically analyze the trade-off between the privacy and the false alarm probability when the attack detector has no knowledge of the privacy noise covariance. An optimization problem with maximizing the degree of privacy preservation with guaranteeing a bound of false alarm distortion level is established to obtain {\color{black}{the covariance of the privacy noise}}. Moreover, to analyze the effect of the privacy noise on the detection probability, we consider that each subsystem can estimate the unknown privacy noise covariance by the secondary data. Based on the estimated covariance, we construct another attack detector and analyze how the privacy noise affects its detection performance. Finally, a numerical example is provided to verify the effectiveness of theoretical results.
△ Less
Submitted 1 June, 2024; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Delayed finite-dimensional observer-based control of 2D linear parabolic PDEs
Authors:
Pengfei Wang,
Emilia Fridman
Abstract:
Recently, a constructive method was suggested for finite-dimensional observer-based control of 1D linear heat equation, which is robust to input/output delays. In this paper, we aim to extend this method to the 2D case with general time-varying input/output delays (known output delay and unknown input delay) or sawtooth delays (that correspond to network-based control). We use the modal decomposit…
▽ More
Recently, a constructive method was suggested for finite-dimensional observer-based control of 1D linear heat equation, which is robust to input/output delays. In this paper, we aim to extend this method to the 2D case with general time-varying input/output delays (known output delay and unknown input delay) or sawtooth delays (that correspond to network-based control). We use the modal decomposition approach and consider boundary or non-local sensing together with non-local actuation, or Neumann actuation with non-local sensing. To compensate the output delay that appears in the infinite-dimensional part of the closed-loop system, for the first time for delayed PDEs we suggest a vector Lyapunov functional combined with the recently introduced vector Halanay inequality. We provide linear matrix inequality (LMI) conditions for finding the observer dimension and upper bounds on delays that preserve the exponential stability. We prove that the LMIs are always feasible for large enough observer dimension and small enough upper bounds on delays. A numerical example demonstrates the efficiency of our method and shows that the employment of vector Halanay's inequality allows for larger delays than the classical scalar Halanay inequality for comparatively large observer dimension.
△ Less
Submitted 14 January, 2024;
originally announced January 2024.
-
Extremum seeking in the presence of large delays via time-delay approach to averaging
Authors:
Xuefei Yang,
Emilia Fridman
Abstract:
In this paper, we study gradient-based classical extremum seeking (ES) for uncertain n-dimensional (nD) static quadratic maps in the presence of known large constant distinct input delays and large output constant delay with a small time-varying uncertainty. This uncertainty may appear due to network-based measurements. We present a quantitative analysis via a time-delay approach to averaging. We…
▽ More
In this paper, we study gradient-based classical extremum seeking (ES) for uncertain n-dimensional (nD) static quadratic maps in the presence of known large constant distinct input delays and large output constant delay with a small time-varying uncertainty. This uncertainty may appear due to network-based measurements. We present a quantitative analysis via a time-delay approach to averaging. We assume that the Hessian has a nominal known part and norm-bounded uncertainty, the extremum point belongs to a known box, whereas the extremum value to a known interval. By using the orthogonal transformation, we first transform the original static quadratic map into a new one with the Hessian containing a nominal diagonal part. We apply further a time-delay transformation to the resulting ES system and arrive at a time-delay system, which is a perturbation of a linear time-delay system with constant coefficients. Given large delays, we choose appropriate gains to guarantee stability of this linear system. To find a lower bound on the dither frequency for practical stability, we employ variation of constants formula and exploit the delay-dependent positivity of the fundamental solutions of the linear system with their tight exponential bounds. Sampled-data ES in the presence of large distinct input delays is also presented. Explicit conditions in terms of simple scalar inequalities depending on tuning parameters and delay bounds are established to guarantee the practical stability of the ES control systems. We show that given any large delays and initial box, by choosing appropriate gains we can achieve practical stability for fast enough dithers and small enough uncertainties.
△ Less
Submitted 13 October, 2023;
originally announced October 2023.
-
Disturbance attenuation in the Euler-Bernoulli beam using piezoelectric actuators
Authors:
Anton Selivanov,
Emilia Fridman
Abstract:
We consider a simply-supported Euler-Bernoulli beam with viscous and Kelvin-Voigt dam**. Our objective is to attenuate the effect of an unknown distributed disturbance using one piezoelectric actuator. We show how to design a suitable $H_\infty$ state-feedback controller based on a finite number of dominating modes. If the remaining (infinitely many) modes are ignored, the calculated $L^2$ gain…
▽ More
We consider a simply-supported Euler-Bernoulli beam with viscous and Kelvin-Voigt dam**. Our objective is to attenuate the effect of an unknown distributed disturbance using one piezoelectric actuator. We show how to design a suitable $H_\infty$ state-feedback controller based on a finite number of dominating modes. If the remaining (infinitely many) modes are ignored, the calculated $L^2$ gain is wrong. This happens because of the spillover phenomenon that occurs when the effect of the control on truncated modes is not accounted for in the feedback design. We propose a simple modification of the $H_\infty$ cost that prevents spillover. The key idea is to treat the control as a disturbance in the truncated modes and find the corresponding $L^2$ gains using the bounded real lemma. These $L^2$ gains are added to the control weight in the $H_\infty$ cost for the dominating modes, which prevents spillover. A numerical simulation of an aluminum beam with realistic parameters demonstrates the effectiveness of the proposed method.
△ Less
Submitted 13 April, 2024; v1 submitted 10 August, 2023;
originally announced August 2023.
-
Internal stabilization of three interconnected semilinear reaction-diffusion PDEs with one actuated state
Authors:
Constantinos Kitsos,
Rami Katz,
Emilia Fridman
Abstract:
This work deals with the exponential stabilization of a system of three semilinear parabolic partial differential equations (PDEs), written in a strict feedforward form. The diffusion coefficients are considered distinct and the PDEs are interconnected via both a reaction matrix and a nonlinearity. Only one of the PDEs is assumed to be controlled internally, thereby leading to an underactuated sys…
▽ More
This work deals with the exponential stabilization of a system of three semilinear parabolic partial differential equations (PDEs), written in a strict feedforward form. The diffusion coefficients are considered distinct and the PDEs are interconnected via both a reaction matrix and a nonlinearity. Only one of the PDEs is assumed to be controlled internally, thereby leading to an underactuated system. Constructive and efficient control of such underactuated systems is a nontrivial open problem, which has been solved recently for the linear case. In this work, these results are extended to the semilinear case, which is highly challenging due the interconnection that is introduced by the nonlinearity. Modal decomposition is employed, where due to nonlinearity, the finite-dimensional part of the solution is coupled with the infinite-dimensional tail. A transformation is then performed to map the finite-dimensional part into a target system, which allows for an efficient design of a static linear proportional state-feedback controller. Furthermore, a high-gain approach is employed in order to compensate for the nonlilinear terms. Lyapunov stability analysis is performed, leading to LMI conditions guaranteeing exponential stability with arbitrary decay rate. The LMIs are shown to always be feasible, provided the number of actuators and the value of the high gain parameter are large enough. Numerical examples show the efficiency of the proposed approach.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
A Robust Time-Delay Approach to Extremum Seeking via ISS Analysis of the Averaged System
Authors:
Xuefei Yang,
Emilia Fridman
Abstract:
For N-dimensional (ND) static quadratic map, we present a time-delay approach to gradient-based extremum seeking (ES) both, in the continuous and, for the first time, the discrete domains. As in the recently introduced (for 2D maps in the continuous domain), we transform the system to the time-delay one (neutral type system in the form of Hale in the continuous case). This system is O(…
▽ More
For N-dimensional (ND) static quadratic map, we present a time-delay approach to gradient-based extremum seeking (ES) both, in the continuous and, for the first time, the discrete domains. As in the recently introduced (for 2D maps in the continuous domain), we transform the system to the time-delay one (neutral type system in the form of Hale in the continuous case). This system is O($\varepsilon$)-perturbation of the averaged linear ODE system, where $\varepsilon$ is a period of averaging. We further explicitly present the neutral system as the linear ODE, where O($\varepsilon$)-terms are considered as disturbances with distributed delays of the length of the small parameter $\varepsilon$. Regional input-to-state stability (ISS) analysis is provided by employing a variation of constants formula that greatly simplifies the previously used analysis via Lyapunov-Krasovskii (L-K) method, simplifies the conditions and improves the results. Examples from the literature illustrate the efficiency of the new approach, allowing essentially large uncertainty of the Hessian matrix with bounds on $\varepsilon$ that are not too small.
△ Less
Submitted 3 February, 2023;
originally announced February 2023.
-
Stabilization of underactuated linear coupled reaction-diffusion PDEs via distributed or boundary actuation
Authors:
Constantinos Kitsos,
Emilia Fridman
Abstract:
This work concerns the exponential stabilization of underactuated linear homogeneous systems of m parabolic partial differential equations (PDEs) in cascade (reaction-diffusion systems), where only the first state is controlled either internally or from the right boundary and in which the diffusion coefficients are distinct. For the distributed control case, a proportional-type stabilizing control…
▽ More
This work concerns the exponential stabilization of underactuated linear homogeneous systems of m parabolic partial differential equations (PDEs) in cascade (reaction-diffusion systems), where only the first state is controlled either internally or from the right boundary and in which the diffusion coefficients are distinct. For the distributed control case, a proportional-type stabilizing control is given explicitly. After applying modal decomposition, the stabilizing law is based on a transformation for the ordinary differential equations (ODE) system corresponding to the comparatively unstable modes into a target one, where the calculation of the stabilization law is independent of the arbitrarily large number of these modes. This is achieved by solving generalized Sylvester equations recursively. For the boundary control case, under appropriate sufficient conditions on the coupling matrix (reaction term), the proposed controller is dynamic. A dynamic extension technique via trigonometric change of variables that places the control internally is first performed. Then, modal decomposition is applied followed by a state transformation of the ODE system, which must be stabilized in order to be written in a form where a dynamic law can be established. For both distributed and boundary control systems, a constructive and scalable stabilization algorithm is proposed, as the choice of the controller gains is independent of the number of unstable modes and only relies on the stabilization of the reaction term. The present approach solves the problem of stabilization of underactuated systems when in the presence of distinct diffusion coefficients, the problem is not directly solvable, similarly to the scalar PDE case. Keywords: Linear parabolic PDE systems, underactuated systems, stabilization, modal decomposition
△ Less
Submitted 18 October, 2023; v1 submitted 4 June, 2022;
originally announced June 2022.
-
Internal stabilization of an underactuated linear parabolic system via modal decomposition (extended version)
Authors:
Constantinos Kitsos,
Emilia Fridman
Abstract:
This work concerns the internal stabilization of underactuated linear systems of $m$ heat equations in cascade, where the control is placed internally in the first equation only and the diffusion coefficients are distinct. Combining the modal decomposition method with a recently introduced state-transformation approach for observation problems, a proportional-type stabilizing control is given expl…
▽ More
This work concerns the internal stabilization of underactuated linear systems of $m$ heat equations in cascade, where the control is placed internally in the first equation only and the diffusion coefficients are distinct. Combining the modal decomposition method with a recently introduced state-transformation approach for observation problems, a proportional-type stabilizing control is given explicitly. It is based on a transformation for the ODE system corresponding to the comparatively unstable modes into a target one, where calculation of the stabilization law is independent of the arbitrarily large number of them and it is achieved by solving generalized Sylvester equations recursively. This provides a finite-dimensional counterpart of a recently introduced infinite-dimensional one, which led to Lyapunov stabilization. The present approach answers to the problem of stabilization with actuators not appearing in all the states and when boundary control results do not apply.
△ Less
Submitted 20 July, 2022; v1 submitted 17 February, 2022;
originally announced February 2022.
-
Global finite-dimensional observer-based stabilization of a semilinear heat equation with large input delay
Authors:
Rami Katz,
Emilia Fridman
Abstract:
We study global finite-dimensional observer-based stabilization of a semilinear 1D heat equation with globally Lipschitz semilinearity in the state variable. We consider Neumann actuation and point measurement. Using dynamic extension and modal decomposition we derive nonlinear ODEs for the modes of the state. We propose a controller that is based on a nonlinear finite-dimensional Luenberger obser…
▽ More
We study global finite-dimensional observer-based stabilization of a semilinear 1D heat equation with globally Lipschitz semilinearity in the state variable. We consider Neumann actuation and point measurement. Using dynamic extension and modal decomposition we derive nonlinear ODEs for the modes of the state. We propose a controller that is based on a nonlinear finite-dimensional Luenberger observer. Our Lypunov $H^1$-stability analysis leads to LMIs, which are shown to be feasible for a large enough observer dimension and small enough Lipschitz constant. Next, we consider the case of a constant input delay $r>0$. To compensate the delay, we introduce a chain of $M$ sub-predictors that leads to a nonlinear closed-loop ODE system, coupled with nonlinear infinite-dimensional tail ODEs. We provide LMIs for $H^1$-stability and prove that for any $r>0$, the LMIs are feasible provided $M$ and $N$ are large enough and the Lipschitz constant is small enough. Numerical examples demonstrate the efficiency of the proposed approach.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
Detectability and global observer design for 2D Navier-Stokes equations with uncertain inputs
Authors:
Sergiy Zhuk,
Mykhaylo Zayats,
Emilia Fridman
Abstract:
We present simulation friendly detectability conditions for 2D Navier-Stokes Equation (NSE) with periodic boundary conditions, and describe a generic class of ``detectable'' observation operators: it includes pointwise evaluation of NSE's solution at interpolation nodes, and spatial average measurements. For ``detectable'' observation operators we design a global infinite-dimensional observer for…
▽ More
We present simulation friendly detectability conditions for 2D Navier-Stokes Equation (NSE) with periodic boundary conditions, and describe a generic class of ``detectable'' observation operators: it includes pointwise evaluation of NSE's solution at interpolation nodes, and spatial average measurements. For ``detectable'' observation operators we design a global infinite-dimensional observer for NSE with uncertain possibly destabilizing inputs: in our numerical experiments we illustrate $H^1$-sensitivity of NSE to small perturbations of initial conditions, yet the observer converges for known and uncertain inputs.
△ Less
Submitted 30 March, 2023; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Finite-dimensional boundary control of the linear Kuramoto-Sivashinsky equation under point measurement with guaranteed $L^2$-gain
Authors:
Rami Katz,
Emilia Fridman
Abstract:
Finite-dimensional observer-based controller design for PDEs is a challenging problem. Recently, such controllers were introduced for the 1D heat equation, under the assumption that one of the observation or control operators is bounded. This paper suggests a constructive method for such controllers for 1D parabolic PDEs with both (observation and control) operators being unbounded. We consider th…
▽ More
Finite-dimensional observer-based controller design for PDEs is a challenging problem. Recently, such controllers were introduced for the 1D heat equation, under the assumption that one of the observation or control operators is bounded. This paper suggests a constructive method for such controllers for 1D parabolic PDEs with both (observation and control) operators being unbounded. We consider the Kuramoto-Sivashinsky equation (KSE) under either boundary or in-domain point measurement and boundary actuation. We employ a modal decomposition approach via dynamic extension, using eigenfunctions of a Sturm-Liouville operator. The controller dimension is defined by the number of unstable modes, whereas the observer dimension $N$ may be larger than this number. We suggest a direct Lyapunov approach to the full-order closed-loop system, which results in an LMI whose elements and dimension depend on $N$. The value of $N$ and the decay rate are obtained from the LMI. We extend our approach to internal stabilization with guaranteed $L^2$-gain and input-to-state stabilization. We prove two crucial properties of the derived LMIs. First, We prove that the LMIs are always feasible provided $N$ and the $L^2$ or ISS gains are large enough, thereby obtaining guarantees for our approach. Moreover, for the case of stabilization, we show that feasibility of the LMI for some $N$ implies its feasibility for $N+1$ (i.e., enlarging $N$ in the LMI cannot deteriorate the resulting decay rate of the closed-loop system). Numerical examples demonstrate the efficiency of the method.
△ Less
Submitted 16 August, 2021; v1 submitted 28 June, 2021;
originally announced June 2021.
-
Sub-predictors and classical predictors for finite-dimensional observer-based control of parabolic PDEs
Authors:
Rami Katz,
Emilia Fridman
Abstract:
We study constant input delay compensation by using finite-dimensional observer-based controllers in the case of the 1D heat equation. We consider Neumann actuation with nonlocal measurement and employ modal decomposition with $N+1$ modes in the observer. We introduce a chain of $M$ sub-predictors that leads to a closed-loop ODE system coupled with infinite-dimensional tail. Given an input delay…
▽ More
We study constant input delay compensation by using finite-dimensional observer-based controllers in the case of the 1D heat equation. We consider Neumann actuation with nonlocal measurement and employ modal decomposition with $N+1$ modes in the observer. We introduce a chain of $M$ sub-predictors that leads to a closed-loop ODE system coupled with infinite-dimensional tail. Given an input delay $r$, we present LMI stability conditions for finding $M$ and $N$ and the resulting exponential decay rate and prove that the LMIs are always feasible for any $r$. We also consider a classical observer-based predictor and show that the corresponding LMI stability conditions are feasible for any $r$ provided $N$ is large enough. A numerical example demonstrates that the classical predictor leads to a lower-dimensional observer. However, it is known to be hard for implementation due to the distributed input signal.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
Sampled-data control of 2D Kuramoto-Sivashinsky equation
Authors:
Wen Kang,
Emilia Fridman
Abstract:
This paper addresses sampled-data control of 2D Kuramoto-Sivashinsky equation over a rectangular domain. We suggest to divide the 2D rectangular into N sub-domains, where sensors provide spatially averaged or point state measurements to be transmitted through communication network to the controller. Note that differently from 2D heat equation, here we manage with sampled-data control under point m…
▽ More
This paper addresses sampled-data control of 2D Kuramoto-Sivashinsky equation over a rectangular domain. We suggest to divide the 2D rectangular into N sub-domains, where sensors provide spatially averaged or point state measurements to be transmitted through communication network to the controller. Note that differently from 2D heat equation, here we manage with sampled-data control under point measurements. We design a regionally stabilizing controller applied through distributed in space characteristic functions. Sufficient conditions ensuring regional stability of the closed-loop system are established in terms of linear matrix inequalities (LMIs). By solving these LMIs, we find an estimate on the set of initial conditions starting from which the state trajectories of the system are exponentially converging to zero. A numerical example demonstrates the efficiency of the results.
△ Less
Submitted 30 November, 2020;
originally announced November 2020.
-
Delayed finite-dimensional observer-based control of 1D heat equation under Neumann actuation
Authors:
Rami Katz,
Idan Basre,
Emilia Fridman
Abstract:
Recently a constructive method was introduced for finite-dimensional observer-based control of 1D parabolic PDEs. In this paper we present an improved method in terms of the reduced-order LMIs (that significantly shorten the computation time) and introduce predictors to manage with larger delays. We treat the case of a 1D heat equation under Neumann actuation and non-local measurement, that has no…
▽ More
Recently a constructive method was introduced for finite-dimensional observer-based control of 1D parabolic PDEs. In this paper we present an improved method in terms of the reduced-order LMIs (that significantly shorten the computation time) and introduce predictors to manage with larger delays. We treat the case of a 1D heat equation under Neumann actuation and non-local measurement, that has not been studied yet. We apply modal decomposition and prove $L^2$ exponential stability by a direct Lyapunov method. We provide reduced-order LMI conditions for finding the observer dimension $N$ and resulting decay rate. The LMI dimension does not grow with $N$. The LMI is always feasible for large $N$, and feasibility for $N$ implies feasibility for $N+1$. For the first time we manage with delayed implementation of the controller in the presence of fast-varying (without any constraints on the delay-derivative) input and output delays. To manage with larger delays, we construct classical observer-based predictors. For the known input delay, the LMIs dimension does not grow with $N$, whereas for unknown one the LMIs dimension grows, but it is ssentially smaller than in the existing results. A numerical example demonstrates the efficiency of our method.
△ Less
Submitted 16 January, 2022; v1 submitted 21 November, 2020;
originally announced November 2020.
-
Finite-dimensional control of the heat equation: Dirichlet actuation and point measurement
Authors:
Rami Katz,
Emilia Fridman
Abstract:
Recently finite-dimensional observer-based controllers were introduced for the 1D heat equation, where at least one of the observation or control operators is bounded. In this paper, for the first time, we manage with such controllers for the 1D heat equation with both operators being unbounded. We consider Dirichlet actuation and point measurement and use a modal decomposition approach via dynami…
▽ More
Recently finite-dimensional observer-based controllers were introduced for the 1D heat equation, where at least one of the observation or control operators is bounded. In this paper, for the first time, we manage with such controllers for the 1D heat equation with both operators being unbounded. We consider Dirichlet actuation and point measurement and use a modal decomposition approach via dynamic extension. We suggest a direct Lyapunov approach to the full-order closed-loop system, where the finite-dimensional state is coupled with the infinite-dimensional tail of the state Fourier expansion, and provide LMIs for finding the controller dimension and the resulting exponential decay rate. We further study sampled-data implementation of the controller under sampled-data measurement. We use Wirtinger-based, discontinuous in time, Lyapunov functionals which compensate sampling in the finite-dimensional state. To compensate sampling in the infinite-dimensional tail, we use a novel form of Halanay's inequality, which is appropriate for Lyapunov functions with jump discontinuities that do not grow in the jumps. Numerical examples demonstrate the efficiency of the method.
△ Less
Submitted 14 November, 2020;
originally announced November 2020.
-
Data-Driven Control for Linear Discrete-Time Delay Systems
Authors:
Juan G. Rueda-Escobedo,
Emilia Fridman,
Johannes Schiffer
Abstract:
The increasing ease of obtaining and processing data together with the growth in system complexity has sparked the interest in moving from conventional model-based control design towards data-driven concepts. Since in many engineering applications time delays naturally arise and are often a source of instability, we contribute to the data-driven control field by introducing data-based formulas for…
▽ More
The increasing ease of obtaining and processing data together with the growth in system complexity has sparked the interest in moving from conventional model-based control design towards data-driven concepts. Since in many engineering applications time delays naturally arise and are often a source of instability, we contribute to the data-driven control field by introducing data-based formulas for state feedback control design in linear discrete-time time-delay systems with uncertain delays. With the proposed approach, the problems of system stabilization as well as of guaranteed cost and $H_{\infty}$ control design are treated in a unified manner. Extensions to determine the system delays and to ensure robustness in the event of noisy data are also provided.
△ Less
Submitted 27 July, 2021; v1 submitted 6 October, 2020;
originally announced October 2020.
-
Entrainment to Subharmonic Trajectories in Oscillatory Discrete-Time Systems
Authors:
Rami Katz,
Michael Margaliot,
Emilia Fridman
Abstract:
A matrix $A$ is called totally positive (TP) if all its minors are positive, and totally nonnegative (TN) if all its minors are nonnegative. A square matrix $A$ is called oscillatory if it is TN and some power of $A$ is TP. A linear time-varying system is called an oscillatory discrete-time system (ODTS) if the matrix defining its evolution at each time $k$ is oscillatory. We analyze the propertie…
▽ More
A matrix $A$ is called totally positive (TP) if all its minors are positive, and totally nonnegative (TN) if all its minors are nonnegative. A square matrix $A$ is called oscillatory if it is TN and some power of $A$ is TP. A linear time-varying system is called an oscillatory discrete-time system (ODTS) if the matrix defining its evolution at each time $k$ is oscillatory. We analyze the properties of $n$-dimensional time-varying nonlinear discrete-time systems whose variational system is an ODTS, and show that they have a well-ordered behavior. More precisely, if the nonlinear system is time-varying and $T$-periodic then any trajectory either leaves any compact set or converges to an $(n-1)T$-periodic trajectory, that is, a subharmonic trajectory. These results hold for any dimension $n$. The analysis of such systems requires establishing that a line integral of the Jacobian of the nonlinear system is an oscillatory matrix. This is non-trivial, as the sum of two oscillatory matrices is not necessarily oscillatory, and this carries over to integrals. We derive several new sufficient conditions guaranteeing that the line integral of a matrix is oscillatory, and demonstrate how this yields interesting classes of discrete-time nonlinear systems that admit a well-ordered behavior.
△ Less
Submitted 13 April, 2019;
originally announced April 2019.
-
Multi-agent deployment under the leader displacement measurement: a PDE-based approach
Authors:
Jieqiang Wei,
Emilia Fridman,
Anton Selivanov,
Karl H. Johansson
Abstract:
We study the deployment of a first-order multi-agent system over a desired smooth curve in 3D space. We assume that the agents have access to the local information of the desired curve and their displacements with respect to their closest neighbors, whereas in addition a leader is able to measure his absolute displacement with respect to the desired curve. In this paper we consider the case that t…
▽ More
We study the deployment of a first-order multi-agent system over a desired smooth curve in 3D space. We assume that the agents have access to the local information of the desired curve and their displacements with respect to their closest neighbors, whereas in addition a leader is able to measure his absolute displacement with respect to the desired curve. In this paper we consider the case that the desired curve is a closed C^2 curve and we assume that the leader transmit his measurement to other agents through a communication network. We start the algorithm with displacement-based formation control protocol. Connections from this ODE model to a PDE model (heat equation), which can be seen as a reduced model, are then established. The resulting closed-loop system is modeled as a heat equation with delay (due to the communication). The boundary condition is periodic since the desired curve is closed. By choosing appropriate controller gains (the diffusion coefficient and the gain multiplying the leader state), we can achieve any desired decay rate provided the delay is small enough. The advantage of our approach is in the simplicity of the control law and the conditions. Numerical example illustrates the efficiency of the method.
△ Less
Submitted 21 March, 2019;
originally announced March 2019.
-
Sampled-data implementation of derivative-dependent control using artificial delays
Authors:
Anton Selivanov,
Emilia Fridman
Abstract:
We study a sampled-data implementation of linear controllers that depend on the output and its derivatives. First, we consider an LTI system of relative degree $r\ge 2$ that can be stabilized using $r-1$ output derivatives. Then, we consider PID control of a second order system. In both cases, the Euler approximation is used for the derivatives giving rise to a delayed sampled-data controller. Giv…
▽ More
We study a sampled-data implementation of linear controllers that depend on the output and its derivatives. First, we consider an LTI system of relative degree $r\ge 2$ that can be stabilized using $r-1$ output derivatives. Then, we consider PID control of a second order system. In both cases, the Euler approximation is used for the derivatives giving rise to a delayed sampled-data controller. Given a derivative-dependent controller that stabilizes the system, we show how to choose the parameters of the delayed sampled-data controller that preserves the stability under fast enough sampling. The maximum sampling period is obtained from LMIs that are derived using the Taylor's expansion of the delayed terms with the remainders compensated by appropriate Lyapunov-Krasovskii functionals. Finally, we introduce the event-triggering mechanism that may reduce the amount of sampled control signals used for stabilization.
△ Less
Submitted 17 January, 2018;
originally announced January 2018.
-
Boundary control of cascaded ODE-Heat equations under actuator saturation
Authors:
Wen Kang,
Emilia Fridman
Abstract:
In this paper, we consider boundary stabilization for a cascade of ODE-heat system with state delay under actuator saturation. To stabilize the system, we design a state feedback controller via the backstep** method and find a bound on the domain of attraction. The latter bound is based on Lyapunov method, whereas the exponential stability of the delayed cascaded systems is proved by using Halan…
▽ More
In this paper, we consider boundary stabilization for a cascade of ODE-heat system with state delay under actuator saturation. To stabilize the system, we design a state feedback controller via the backstep** method and find a bound on the domain of attraction. The latter bound is based on Lyapunov method, whereas the exponential stability of the delayed cascaded systems is proved by using Halanay's inequality. Numerical examples illustrate the efficiency of the method.
△ Less
Submitted 19 April, 2017; v1 submitted 12 August, 2016;
originally announced August 2016.
-
Robustness of Distributed Averaging Control in Power Systems: Time Delays & Dynamic Communication Topology
Authors:
Johannes Schiffer,
Florian Dörfler,
Emilia Fridman
Abstract:
Distributed averaging-based integral (DAI) controllers are becoming increasingly popular in power system applications. The literature has thus far primarily focused on disturbance rejection, steady-state optimality and adaption to complex physical system models without considering uncertainties on the cyber and communication layer nor their effect on robustness and performance. In this paper, we d…
▽ More
Distributed averaging-based integral (DAI) controllers are becoming increasingly popular in power system applications. The literature has thus far primarily focused on disturbance rejection, steady-state optimality and adaption to complex physical system models without considering uncertainties on the cyber and communication layer nor their effect on robustness and performance. In this paper, we derive sufficient delay-dependent conditions for robust stability of a secondary-frequency-DAI-controlled power system with respect to heterogeneous communication delays, link failures and packet losses. Our analysis takes into account both constant as well as fast-varying delays, and it is based on a common strictly decreasing Lyapunov-Krasovskii functional. The conditions illustrate an inherent trade-off between robustness and performance of DAI controllers. The effectiveness and tightness of our stability certificates are illustrated via a numerical example based on Kundur's four-machine-two-area test system.
△ Less
Submitted 6 February, 2017; v1 submitted 26 July, 2016;
originally announced July 2016.
-
New Stability and Exact Observability Conditions for Semilinear Wave Equations
Authors:
Emilia Fridman,
Maria Terushkin
Abstract:
The problem of estimating the initial state of 1-D wave equations with globally Lipschitz nonlinearities from boundary measurements on a finite interval was solved recently by using the sequence of forward and backward observers, and deriving the upper bound for exact observability time in terms of Linear Matrix Inequalities (LMIs) [5]. In the present paper, we generalize this result to n-D wave e…
▽ More
The problem of estimating the initial state of 1-D wave equations with globally Lipschitz nonlinearities from boundary measurements on a finite interval was solved recently by using the sequence of forward and backward observers, and deriving the upper bound for exact observability time in terms of Linear Matrix Inequalities (LMIs) [5]. In the present paper, we generalize this result to n-D wave equations on a hypercube. This extension includes new LMI-based exponential stability conditions for n-D wave equations, as well as an upper bound on the minimum exact observability time in terms of LMIs. For 1-D wave equations with locally Lipschitz nonlinearities, we find an estimate on the region of initial conditions that are guaranteed to be uniquely recovered from the measurements. The efficiency of the results is illustrated by numerical examples.
△ Less
Submitted 24 February, 2016;
originally announced February 2016.
-
Generalized Jensen Inequalities with Application to Stability Analysis of Systems with Distributed Delays over Infinite Time-Horizons
Authors:
Kun Liu,
Emilia Fridman,
Karl Henrik Johansson,
Yuanqing Xia
Abstract:
The Jensen inequality has been recognized as a powerful tool to deal with the stability of time-delay systems. Recently, a new inequality that encompasses the Jensen inequality was proposed for the stability analysis of systems with finite delays. In this paper, we first present a generalized integral inequality and its double integral extension. It is shown how these inequalities can be applied t…
▽ More
The Jensen inequality has been recognized as a powerful tool to deal with the stability of time-delay systems. Recently, a new inequality that encompasses the Jensen inequality was proposed for the stability analysis of systems with finite delays. In this paper, we first present a generalized integral inequality and its double integral extension. It is shown how these inequalities can be applied to improve the stability result for linear continuous-time systems with gamma-distributed delays. Then, for the discrete-time counterpart we provide an extended Jensen summation inequality with infinite sequences, which leads to less conservative stability conditions for linear discrete-time systems with poisson-distributed delays. The improvements obtained thanks to the introduced generalized inequalities are demonstrated by examples.
△ Less
Submitted 16 February, 2016;
originally announced February 2016.
-
Predictor-based networked control under uncertain transmission delays
Authors:
A. Selivanov,
E. Fridman
Abstract:
We consider state-feedback predictor-based control of networked control systems with large time-varying communication delays. We show that even a small controller-to-actuators delay uncertainty may lead to a non-small residual error in a networked control system and reveal how to analyze such systems. Then we design an event-triggered predictor-based controller with sampled measurements and demons…
▽ More
We consider state-feedback predictor-based control of networked control systems with large time-varying communication delays. We show that even a small controller-to-actuators delay uncertainty may lead to a non-small residual error in a networked control system and reveal how to analyze such systems. Then we design an event-triggered predictor-based controller with sampled measurements and demonstrate that, depending on the delay uncertainty, one should choose various predictor models to reduce the error due to triggering. For the systems with a network only from a controller to actuators, we take advantage of the continuously available measurements by using a continuous-time predictor and employing a recently proposed switching approach to event-triggered control. By an example of an inverted pendulum on a cart we demonstrate that the proposed approach is extremely efficient when the uncertain time-varying network-induced delays are too large for the system to be stabilizable without a predictor.
△ Less
Submitted 4 November, 2016; v1 submitted 17 November, 2015;
originally announced November 2015.
-
Event-Triggered $H_\infty$ Control: a Switching Approach
Authors:
Anton Selivanov,
Emilia Fridman
Abstract:
Event-triggered approach to networked control systems is used to reduce the workload of the communication network. For the static output-feedback continuous event-trigger may generate an infinite number of sampling instants in finite time (Zeno phenomenon) what makes it inapplicable to the real-world systems. Periodic event-trigger avoids this behavior but does not use all the available informatio…
▽ More
Event-triggered approach to networked control systems is used to reduce the workload of the communication network. For the static output-feedback continuous event-trigger may generate an infinite number of sampling instants in finite time (Zeno phenomenon) what makes it inapplicable to the real-world systems. Periodic event-trigger avoids this behavior but does not use all the available information. In the present paper we aim to exploit the advantage of the continuous-time measurements and guarantee a positive lower bound on the inter-event times by introducing a switching approach for finding a waiting time in the event-triggered mechanism. Namely, our idea is to present the closed-loop system as a switching between the system under periodic sampling and the one under continuous event-trigger and take the maximum sampling preserving the stability as the waiting time. We extend this idea to the $L_2$-gain and ISS analysis of perturbed networked control systems with network-induced delays. By examples we demonstrate that the switching approach to event-triggered control can essentially reduce the amount of measurements to be sent through a communication network compared to the existing methods.
△ Less
Submitted 4 November, 2016; v1 submitted 4 June, 2015;
originally announced June 2015.
-
Networked control systems in the presence of scheduling protocols and communication delays
Authors:
Kun Liu,
Emilia Fridman,
Laurentiu Hetel
Abstract:
This paper develops the time-delay approach to Networked Control Systems (NCSs) in the presence of variable transmission delays, sampling intervals and communication constraints. The system sensor nodes are supposed to be distributed over a network. Due to communication constraints only one node output is transmitted through the communication channel at once. The scheduling of sensor information t…
▽ More
This paper develops the time-delay approach to Networked Control Systems (NCSs) in the presence of variable transmission delays, sampling intervals and communication constraints. The system sensor nodes are supposed to be distributed over a network. Due to communication constraints only one node output is transmitted through the communication channel at once. The scheduling of sensor information towards the controller is ruled by a weighted Try-Once-Discard (TOD) or by Round-Robin (RR) protocols. Differently from the existing results on NCSs in the presence of scheduling protocols (in the frameworks of hybrid and discrete-time systems), we allow the communication delays to be greater than the sampling intervals. A novel hybrid system model for the closed-loop system is presented that contains {\it time-varying delays in the continuous dynamics and in the reset conditions}. A new Lyapunov-Krasovskii method, which is based on discontinuous in time Lyapunov functionals is introduced for the stability analysis of the delayed hybrid systems. Polytopic type uncertainties in the system model can be easily included in the analysis. The efficiency of the time-delay approach is illustrated on the examples of uncertain cart-pendulum and of batch reactor.
△ Less
Submitted 1 August, 2014;
originally announced August 2014.
-
A Round-Robin Type Protocol for Distributed Estimation with $H_\infty$ Consensus
Authors:
V. Ugrinovskii,
E. Fridman
Abstract:
The paper considers a distributed robust estimation problem over a network with directed topology involving continuous time observers. While measurements are available to the observers continuously, the nodes interact according to a Round-Robin rule, at discrete time instances. The results of the paper are sufficient conditions which guarantee a suboptimal $H_\infty$ level of consensus between obs…
▽ More
The paper considers a distributed robust estimation problem over a network with directed topology involving continuous time observers. While measurements are available to the observers continuously, the nodes interact according to a Round-Robin rule, at discrete time instances. The results of the paper are sufficient conditions which guarantee a suboptimal $H_\infty$ level of consensus between observers with sampled interconnections.
△ Less
Submitted 8 May, 2014;
originally announced May 2014.
-
A Round-Robin Protocol for Distributed Estimation with $H_\infty$ Consensus
Authors:
V. Ugrinovskii,
E. Fridman
Abstract:
The paper considers a distributed robust estimation problem over a network with directed topology involving continuous time observers. While measurements are available to the observers continuously, the nodes interact according to a Round-Robin rule, at discrete time instances. The results of the paper are sufficient conditions which guarantee a suboptimal $H_\infty$ level of consensus between obs…
▽ More
The paper considers a distributed robust estimation problem over a network with directed topology involving continuous time observers. While measurements are available to the observers continuously, the nodes interact according to a Round-Robin rule, at discrete time instances. The results of the paper are sufficient conditions which guarantee a suboptimal $H_\infty$ level of consensus between observers with sampled interconnections.
△ Less
Submitted 7 January, 2014;
originally announced January 2014.
-
An Improved Stability Method for Linear Systems with Fast-Varying Delays
Authors:
Eugenii Shustin,
Emilia Fridman
Abstract:
Stability of linear systems with uncertain bounded time-varying delays is studied under assumption that the nominal delay values are not equal to zero. An input-output approach to stability of such systems is known to be based on the bound of the $L_2$-norm of a certain integral operator. There exists a bound on this operator in two cases: in the case where the delay derivative is not greater th…
▽ More
Stability of linear systems with uncertain bounded time-varying delays is studied under assumption that the nominal delay values are not equal to zero. An input-output approach to stability of such systems is known to be based on the bound of the $L_2$-norm of a certain integral operator. There exists a bound on this operator in two cases: in the case where the delay derivative is not greater than 1 and in the case without any constraints on the delay derivative. In the present note we fill the gap between the two cases by deriving an operator bound which is an increasing and continuous function of the delay derivative upper bound $d \geq 1$. For $d\to \infty$ the new bound corresponds to the second case and improves the existing bound. As a result, improved frequency-domain and time-domain stability criteria are erived for systems with the delay derivative greater than 1.
△ Less
Submitted 27 February, 2006; v1 submitted 15 November, 2005;
originally announced November 2005.