-
Feedback stabilization of switched systems under arbitrary switching: A convex characterization
Authors:
Thiago Alves Lima,
Matteo Della Rossa,
Antoine Girard
Abstract:
In this paper, we study stabilizability of discrete-time switched linear systems where the switching signal is considered as an arbitrary disturbance (and not a control variable). We characterize feedback stabilization via necessary and sufficient linear matrix inequalities (LMIs) conditions based on novel graph structures. We analyze both the cases in which the controller has (or has not) access…
▽ More
In this paper, we study stabilizability of discrete-time switched linear systems where the switching signal is considered as an arbitrary disturbance (and not a control variable). We characterize feedback stabilization via necessary and sufficient linear matrix inequalities (LMIs) conditions based on novel graph structures. We analyze both the cases in which the controller has (or has not) access to the current switching mode, the so-called mode-dependent and mode-independent settings, providing specular results. Moreover, our approach provides explicit piecewise-linear and memory-dependent linear controllers, highlighting the connections with existing stabilization approaches. The effectiveness of the proposed technique is finally illustrated with the help of some numerical examples.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Dynamic allocation function design in the presence of magnitude saturating inputs
Authors:
Thiago Alves Lima,
Sophie Tarbouriech
Abstract:
This chapter deals with the design of dynamic allocation functions for systems with saturating actuators. The goal of the allocator consists in redistributing the desired control effort within the multiple actuators by penalizing each actuator to be more or less used, while also taking into account a criterion for minimization of their total energy consumption over time. Anti-windup gains are adde…
▽ More
This chapter deals with the design of dynamic allocation functions for systems with saturating actuators. The goal of the allocator consists in redistributing the desired control effort within the multiple actuators by penalizing each actuator to be more or less used, while also taking into account a criterion for minimization of their total energy consumption over time. Anti-windup gains are added to both the controller and the dynamic allocator to deal with the saturation condition. Two cases are considered: the plant is affected by bounded disturbance and the influence matrix is supposed to be affected by uncertainty. Convex conditions for the co-design of both the dynamic allocator and anti-windup gains are then expressed in the form of linear matrix inequalities (LMIs). Such conditions allow to deal with the multiple objective problems of enlarging the estimates of the basin of attraction, minimizing the total energy consumption of the actuators and maximizing the size of the admissible disturbance. The satellite formation problem borrowed from the literature is revised to illustrate the proposed technique and show its effectiveness in both cases (perturbed system and robust case).
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Graph-Based Conditions for Feedback Stabilization of Switched and LPV Systems
Authors:
Matteo Della Rossa,
Thiago Alves Lima,
Marc Jungers,
Raphaël M. Jungers
Abstract:
This paper presents novel stabilizability conditions for switched linear systems with arbitrary and uncontrollable underlying switching signals. We distinguish and study two particular settings: i) the \emph{robust} case, in which the active mode is completely unknown and unobservable, and ii) the \emph{mode-dependent} case, in which the controller depends on the current active switching mode. The…
▽ More
This paper presents novel stabilizability conditions for switched linear systems with arbitrary and uncontrollable underlying switching signals. We distinguish and study two particular settings: i) the \emph{robust} case, in which the active mode is completely unknown and unobservable, and ii) the \emph{mode-dependent} case, in which the controller depends on the current active switching mode. The technical developments are based on graph-theory tools, relying in particular on the path-complete Lyapunov functions framework. The main idea is to use directed and labeled graphs to encode Lyapunov inequalities to design robust and mode-dependent piecewise linear state-feedback controllers. This results in novel and flexible conditions, with the particular feature of being in the form of linear matrix inequalities (LMIs). Our technique thus provides a first controller-design strategy allowing piecewise linear feedback maps and piecewise quadratic (control) Lyapunov functions by means of semidefinite programming. Numerical examples illustrate the application of the proposed techniques, the relations between the graph order, the robustness, and the performance of the closed loop.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design
Authors:
Thiago Alves Lima,
Matteo Della Rossa,
Frédéric Gouaisbaut,
Raphaël Jungers,
Sophie Tarbouriech
Abstract:
In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of path-complete Lyapunov techniques along with the proposition of a new modified functional to obtain convex analysis conditions while avoiding the need of computing a…
▽ More
In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of path-complete Lyapunov techniques along with the proposition of a new modified functional to obtain convex analysis conditions while avoiding the need of computing a dwell time for each mode in a switched system representation, as usual in the \textit{switched approach} for time-delay systems. Furthermore, we leverage the developed analysis to obtain LMIs for the closed-loop stabilization of systems with time-varying sensor delays by means of an observer-based compensator. A numerical example illustrates the proposed methods.
△ Less
Submitted 11 September, 2022;
originally announced September 2022.
-
State-feedback Abstractions for Optimal Control of Piecewise-affine Systems
Authors:
Lucas N. Egidio,
Thiago Alves Lima,
Raphaël M. Jungers
Abstract:
In this manuscript, we investigate symbolic abstractions that capture the behavior of piecewise-affine systems under input constraints and bounded external noise. This is accomplished by considering local affine feedback controllers that are jointly designed with the symbolic model, which ensures that an alternating simulation relation between the system and the abstraction holds. The resulting sy…
▽ More
In this manuscript, we investigate symbolic abstractions that capture the behavior of piecewise-affine systems under input constraints and bounded external noise. This is accomplished by considering local affine feedback controllers that are jointly designed with the symbolic model, which ensures that an alternating simulation relation between the system and the abstraction holds. The resulting symbolic system is called a state-feedback abstraction and we show that it can be deterministic even when the original piecewise-affine system is unstable and non-deterministic. One benefit of this approach is the fact that the input space need not be discretized and the symbolic-input space is reduced to a finite set of controllers. When ellipsoidal cells and affine controllers are considered, we present necessary and sufficient conditions written as a semi-definite program for the existence of a transition and a robust upper bound on the transition cost. Two examples illustrate particular aspects of the theory and its applicability.
△ Less
Submitted 21 November, 2022; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Newton-series-based observer-predictor control for disturbed input-delayed discrete-time systems
Authors:
Thiago Alves Lima,
Valessa V. Viana,
Bismark C. Torrico,
Fabrício G. Nogueira,
Diego de S. Madeira
Abstract:
This paper deals with the problem of predicting the future state of discrete-time input-delayed systems in the presence of unknown disturbances that can affect both the state and the output equations of the plant. Since the disturbance is unknown, computing an exact prediction of the future plant states is not possible. To circumvent this problem, we propose using a high-order extended Luenberger-…
▽ More
This paper deals with the problem of predicting the future state of discrete-time input-delayed systems in the presence of unknown disturbances that can affect both the state and the output equations of the plant. Since the disturbance is unknown, computing an exact prediction of the future plant states is not possible. To circumvent this problem, we propose using a high-order extended Luenberger-type observer for the plant states, disturbances, and their finite difference variables, combined with a new equation for computing the prediction based on Newton's series from the calculus of finite differences. Detailed performance analysis is carried out to show that, under certain assumptions, both enhanced prediction and improved attenuation of the unknown disturbances are achieved. Linear matrix inequalities (LMIs) are employed for the observer design to minimize the prediction errors. A stabilization procedure based on an iterative design algorithm is also presented for the case where the plant is affected by time-varying uncertainties. Examples from the literature illustrate the advantages of the scheme.
△ Less
Submitted 9 August, 2022; v1 submitted 5 July, 2021;
originally announced July 2021.
-
Dissipativity-based $\mathcal{L}_2$ gain-scheduled static output feedback design for rational LPV systems
Authors:
Valessa V. Viana,
Diego de S. Madeira,
Thiago Alves Lima
Abstract:
This paper proposes the design of gain-scheduled static output feedback controllers for the stabilization of continuous-time linear parameter-varying systems with $\mathcal{L}_2$-gain performance. The system is transformed into the form of a differential-algebraic representation which allows dealing with the broad class of systems whose matrices can present rational or polynomial dependence on the…
▽ More
This paper proposes the design of gain-scheduled static output feedback controllers for the stabilization of continuous-time linear parameter-varying systems with $\mathcal{L}_2$-gain performance. The system is transformed into the form of a differential-algebraic representation which allows dealing with the broad class of systems whose matrices can present rational or polynomial dependence on the parameter. The proposed approach uses the definition of strict QSR dissipativity, Finsler's Lemma, and the notion of linear annihilators to formulate conditions expressed in the form of polytopic linear matrix inequalities for determining the gain-scheduled static output feedback control for system stabilization. One of the main advantages of the strategy is that it provides a simple design solution in a non-interactive manner. Furthermore, no restriction on the plant output matrix is imposed. Numerical examples highlight the effectiveness of the proposed method.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Dissipativity-based static output feedback design for discrete-time LTI systems with time-varying input delays
Authors:
Thiago Alves Lima,
Diego de S. Madeira
Abstract:
This note is concerned with the presentation of new delay-dependent dissipativity-based convex conditions (expressed in the form of linear matrix inequalities) for the design of static output feedback (SOF) stabilizing gains for open-loop unstable discrete-time systems with input time-varying delays. A modified definition of QSR-dissipativity combined with the use of Lyapunov-Krasovskii functional…
▽ More
This note is concerned with the presentation of new delay-dependent dissipativity-based convex conditions (expressed in the form of linear matrix inequalities) for the design of static output feedback (SOF) stabilizing gains for open-loop unstable discrete-time systems with input time-varying delays. A modified definition of QSR-dissipativity combined with the use of Lyapunov-Krasovskii functionals as storage functions and the application of Finsler's Lemma lead to the gathering of non-interactive design conditions. We show that, differently from most works dealing with controller design for time-delayed systems, the developed conditions present very small conservatism compared to stability analysis conditions derived with the same strategy. Due to being a particular case of SOF with an identity output matrix, static state feedback (SSF) gains can also trivially be computed from the conditions.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Static output feedback stabilization of uncertain rational nonlinear systems with input saturation
Authors:
Thiago Alves Lima,
Diego de. S. Madeira,
Valessa V. Viana,
Ricardo C. L. F. Oliveira
Abstract:
In this paper, the notion of robust strict QSR-dissipativity is applied to solve the static output feedback control problem for a class of continuous-time nonlinear rational systems subject to input saturation and bounded parametric uncertainties. A local dissipativity condition is combined with generalized sector conditions to formulate the synthesis of a stabilizing controller in terms of linear…
▽ More
In this paper, the notion of robust strict QSR-dissipativity is applied to solve the static output feedback control problem for a class of continuous-time nonlinear rational systems subject to input saturation and bounded parametric uncertainties. A local dissipativity condition is combined with generalized sector conditions to formulate the synthesis of a stabilizing controller in terms of linear matrix inequalities. The strategy applies to general static output feedback design without any restrictions on the plant output equation. An iterative algorithm based on linear matrix inequalities is proposed in order to compute the feedback gain matrix that maximizes the estimate of the closed-loop region of attraction. Numerical examples are provided to illustrate the applicability of this new approach in examples borrowed from the literature.
△ Less
Submitted 30 March, 2022; v1 submitted 2 July, 2021;
originally announced July 2021.
