Showing 1–20 of 20 results for author: Daafouz, J

Discrete-Time Conewise Linear Systems with Finitely Many Switches

Authors: Jamal Daafouz, Jérôme Lohéac, Constantin Morărescu, Romain Postoyan

Abstract: We investigate discrete-time conewise linear systems (CLS) for which all the solutions exhibit a finite number of switches. By switches, we mean transitions of a solution from one cone to another. Our interest in this class of CLS comes from the optimization-based control of an insulin infusion model for which the fact that solutions switch finitely many times appears to be key to establish the gl… ▽ More We investigate discrete-time conewise linear systems (CLS) for which all the solutions exhibit a finite number of switches. By switches, we mean transitions of a solution from one cone to another. Our interest in this class of CLS comes from the optimization-based control of an insulin infusion model for which the fact that solutions switch finitely many times appears to be key to establish the global exponential stability of the origin. The stability analysis of this class of CLS greatly simplifies compared to general CLS as all solutions eventually exhibit linear dynamics. The main challenge is to characterize CLS satisfying this finite number of switches property. We first present general conditions in terms of set intersections for this purpose. To ease the testing of these conditions, we translate them as a non-negativity test of linear forms using Farkas lemma. As a result, the problem reduces to verify the non-negativity of a single solution to an auxiliary linear discrete-time system. Interestingly, this property differs from the classical non-negativity problem, where any solution to a system must remain non-negative (component-wise) for any non-negative initial condition, and thus requires novel tools to test it. We finally illustrate the relevance of the presented results on the optimal insulin infusion problem. △ Less

Submitted 18 June, 2024; originally announced June 2024.

A TBLMI Framework for Harmonic Robust Control

Authors: Flora Vernerey, Pierre Riedinger, Jamal Daafouz

Abstract: The primary objective of this paper is to demonstrate that problems related to stability and robust control in the harmonic context can be effectively addressed by formulating them as semidefinite optimization problems, invoking the concept of infinite-dimensional Toeplitz Block LMIs (TBLMIs). One of the central challenges tackled in this study pertains to the efficient resolution of these infinit… ▽ More The primary objective of this paper is to demonstrate that problems related to stability and robust control in the harmonic context can be effectively addressed by formulating them as semidefinite optimization problems, invoking the concept of infinite-dimensional Toeplitz Block LMIs (TBLMIs). One of the central challenges tackled in this study pertains to the efficient resolution of these infinite-dimensional TBLMIs. Exploiting the structured nature of such problems, we introduce a consistent truncation method that effectively reduces the problem to a finite-dimensional convex optimization problem. By consistent we mean that the solution to this finite-dimensional problem allows to closely approximate the infinite-dimensional solution with arbitrary precision. Furthermore, we establish a link between the harmonic framework and the time domain setting, emphasizing the advantages over Periodic Differential LMIs (PDLMIs). We illustrate that our proposed framework is not only theoretically sound but also practically applicable to solving H 2 and H$\infty$ harmonic control design problems. To enable this, we extend the definitions of H 2 and H$\infty$ norms into the harmonic space, leveraging the concepts of the harmonic transfer function and the average trace operator for Toeplitz Block operators. Throughout this paper, we support our theoretical contributions with a range of illustrative examples that demonstrate the effectiveness of our approach. △ Less

Submitted 10 November, 2023; originally announced November 2023.

A harmonic framework for the identification of linear time-periodic systems

Authors: Flora Vernerey, Pierre Riedinger, Andrea Iannelli, Jamal Daafouz

Abstract: This paper presents a novel approach for the identification of linear time-periodic (LTP) systems in continuous time. This method is based on harmonic modeling and consists in converting any LTP system into an equivalent LTI system with infinite dimension. Leveraging specific harmonic properties, we demonstrate that solving this infinite-dimensional identification problem can be reduced to solving… ▽ More This paper presents a novel approach for the identification of linear time-periodic (LTP) systems in continuous time. This method is based on harmonic modeling and consists in converting any LTP system into an equivalent LTI system with infinite dimension. Leveraging specific harmonic properties, we demonstrate that solving this infinite-dimensional identification problem can be reduced to solving a finitedimensional linear least-squares problem. The result is an approximation of the original solution with an arbitrarily small error. Our approach offers several significant advantages. The first one is closely tied to the harmonic system's inherent LTI characteristic, along with the Toeplitz structure exhibited by its elements. The second advantage is related to the regularization property achieved through the integral action when computing the phasors from input and state trajectories. Finally, our method avoids the computation of signals' derivative. This sets our approach apart from existing methods that rely on such computations, which can be a notable drawback, especially in continuous-time settings. We provide numerical simulations that convincingly demonstrate the effectiveness of the proposed method, even in scenarios where signals are corrupted by noise. △ Less

Submitted 17 April, 2024; v1 submitted 28 September, 2023; originally announced September 2023.

Harmonic control of three-phase AC/DC converter

Authors: Maxime Grosso, Pierre Riedinger, Jamal Daafouz, Serge Pierfederici, Hicham Janati-Idrissi, Blaise Lapôtre

Abstract: In this paper, we propose a harmonic-model based control approach for the three-phase grid-tied AC-DC converter. We derive a nonlinear harmonic domain model and demonstrate its efficacy in designing harmonic control with global stability guarantees. Furthermore, we establish that this harmonic control design can be translated into a periodic nonlinear control scheme in the time domain, maintaining… ▽ More In this paper, we propose a harmonic-model based control approach for the three-phase grid-tied AC-DC converter. We derive a nonlinear harmonic domain model and demonstrate its efficacy in designing harmonic control with global stability guarantees. Furthermore, we establish that this harmonic control design can be translated into a periodic nonlinear control scheme in the time domain, maintaining the same level of stability guarantees. Additionally, the proposed framework allows to incorporate control objectives specifically related to harmonic distortion and harmonic mitigation as well as the tracking of periodic trajectories. Illustrative simulations and experimental setups were conducted to evaluate the effectiveness of the proposed methodology in reducing Total Harmonic Distortion (THD) in real-time. The obtained results demonstrate the successful achievement of the desired control objectives, validating the efficacy of the proposed harmonic control approach. △ Less

Submitted 23 August, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: Pre-print, submitted to TSCT, currently in review. 16 pages

Near-optimal control of nonlinear systems with hybrid inputs and dwell-time constraints

Authors: Ioana Lal, Constantin Morarescu, Jamal Daafouz, Lucian Busoniu

Abstract: We propose two new optimistic planning algorithms for nonlinear hybrid-input systems, in which the input has both a continuous and a discrete component, and the discrete component must respect a dwell-time constraint. Both algorithms select sets of input sequences for refinement at each step, along with a continuous or discrete step to refine (split). The dwell-time constraint means that the discr… ▽ More We propose two new optimistic planning algorithms for nonlinear hybrid-input systems, in which the input has both a continuous and a discrete component, and the discrete component must respect a dwell-time constraint. Both algorithms select sets of input sequences for refinement at each step, along with a continuous or discrete step to refine (split). The dwell-time constraint means that the discrete splits must keep the discrete mode constant if the required dwell-time is not yet reached. Convergence rate guarantees are provided for both algorithms, which show the dependency between the near-optimality of the sequence returned and the computational budget. The rates depend on a novel complexity measure of the dwell-time constrained problem. We present simulation results for two problems, an adaptive-quantization networked control system and a model for the COVID pandemic. △ Less

Submitted 15 May, 2023; originally announced May 2023.

On solving infinite-dimensional Toeplitz Block LMIs

Authors: Flora Vernerey, Pierre Riedinger, Jamal Daafouz

Abstract: This paper focuses on the resolution of infinite-dimensional Toeplitz Block LMIs, which are frequently encountered in the context of stability analysis and control design problems formulated in the harmonic framework. We propose a consistent truncation method that makes this infinite dimensional problem tractable and demonstrate that a solution to the truncated problem can always be found at any o… ▽ More This paper focuses on the resolution of infinite-dimensional Toeplitz Block LMIs, which are frequently encountered in the context of stability analysis and control design problems formulated in the harmonic framework. We propose a consistent truncation method that makes this infinite dimensional problem tractable and demonstrate that a solution to the truncated problem can always be found at any order, provided that the original infinite-dimensional Toeplitz Block LMI problem is feasible. Using this approach, we illustrate how the infinite dimensional solution to a Toeplitz Block LMI based convex optimization problem can be recovered up to an arbitrarily small error, by solving a finite dimensional truncated problem. The obtained results are applied to stability analysis and harmonic LQR for linear time periodic (LTP) systems. △ Less

Submitted 9 May, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Stability analysis of optimal control problems with time-dependent costs

Authors: Sifeddine Benahmed, Romain Postoyan, Mathieu Granzotto, Lucian Buşoniu, Jamal Daafouz, Dragan Nešić

Abstract: We present stability conditions for deterministic time-varying nonlinear discrete-time systems whose inputs aim to minimize an infinite-horizon time-dependent cost. Global asymptotic and exponential stability properties for general attractors are established. This work covers and generalizes the related results on discounted optimal control problems to more general systems and cost functions. We present stability conditions for deterministic time-varying nonlinear discrete-time systems whose inputs aim to minimize an infinite-horizon time-dependent cost. Global asymptotic and exponential stability properties for general attractors are established. This work covers and generalizes the related results on discounted optimal control problems to more general systems and cost functions. △ Less

Submitted 25 August, 2023; v1 submitted 13 October, 2022; originally announced October 2022.

Solving Infinite-Dimensional Harmonic Lyapunov and Riccati equations

Authors: Pierre Riedinger, Jamal Daafouz

Abstract: In this paper, we address the problem of solving infinite-dimensional harmonic algebraic Lyapunov and Riccati equations up to an arbitrary small error. This question is of major practical importance for analysis and stabilization of periodic systems including tracking of periodic trajectories. We first give a closed form of a Floquet factorization in the general setting of L 2 matrix functions and… ▽ More In this paper, we address the problem of solving infinite-dimensional harmonic algebraic Lyapunov and Riccati equations up to an arbitrary small error. This question is of major practical importance for analysis and stabilization of periodic systems including tracking of periodic trajectories. We first give a closed form of a Floquet factorization in the general setting of L 2 matrix functions and study the spectral properties of infinite-dimensional harmonic matrices and their truncated version. This spectral study allows us to propose a generic and numerically efficient algorithm to solve infinite-dimensional harmonic algebraic Lyapunov equations up to an arbitrary small error. We combine this algorithm with the Kleinman algorithm to solve infinite-dimensional harmonic Riccati equations and we apply the proposed results to the design of a harmonic LQ control with periodic trajectory tracking. △ Less

Submitted 18 March, 2022; originally announced March 2022.

Harmonic Pole Placement

Authors: Pierre Riedinger, Jamal Daafouz

Abstract: In this paper, we propose a method to design state feedback harmonic control laws that assign the closed loop poles of a linear harmonic model to some desired locations. The procedure is based on the solution of an infinite-dimensional harmonic Sylvester equation under an invertibility constraint. We provide a sufficient condition to ensure this invertibility and show how this infinite-dimensional… ▽ More In this paper, we propose a method to design state feedback harmonic control laws that assign the closed loop poles of a linear harmonic model to some desired locations. The procedure is based on the solution of an infinite-dimensional harmonic Sylvester equation under an invertibility constraint. We provide a sufficient condition to ensure this invertibility and show how this infinite-dimensional Sylvester equation can be solved up to an arbitrary small error. The results are illustrated on an unstable linear periodic system. We also provide a counterexample to illustrate the fact that, unlike the classical finite dimensional case, the solution of the Sylvester equation may not be invertible in the infinite dimensional case even if an observability condition is satisfied. △ Less

Submitted 18 March, 2022; v1 submitted 17 March, 2022; originally announced March 2022.

Exploiting homogeneity for the optimal control of discrete-time systems: application to value iteration

Authors: Mathieu Granzotto, Romain Postoyan, Lucian Buşoniu, Dragan Nešić, Jamal Daafouz

Abstract: To investigate solutions of (near-)optimal control problems, we extend and exploit a notion of homogeneity recently proposed in the literature for discrete-time systems. Assuming the plant dynamics is homogeneous, we first derive a scaling property of its solutions along rays provided the sequence of inputs is suitably modified. We then consider homogeneous cost functions and reveal how the optima… ▽ More To investigate solutions of (near-)optimal control problems, we extend and exploit a notion of homogeneity recently proposed in the literature for discrete-time systems. Assuming the plant dynamics is homogeneous, we first derive a scaling property of its solutions along rays provided the sequence of inputs is suitably modified. We then consider homogeneous cost functions and reveal how the optimal value function scales along rays. This result can be used to construct (near-)optimal inputs on the whole state space by only solving the original problem on a given compact manifold of a smaller dimension. Compared to the related works of the literature, we impose no conditions on the homogeneity degrees. We demonstrate the strength of this new result by presenting a new approximate scheme for value iteration, which is one of the pillars of dynamic programming. The new algorithm provides guaranteed lower and upper estimates of the true value function at any iteration and has several appealing features in terms of reduced computation. A numerical case study is provided to illustrate the proposed algorithm. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Comments: Long version (with proofs) of CDC 2021 paper

Studying Node Cooperation in Reputation Based Packet Forwarding within Mobile Ad hoc Networks

Authors: Sara Berri, Vineeth Varma, Samson Lasaulce, Mohammed Said Radjef, Jamal Daafouz

Abstract: In the paradigm of mobile Ad hoc networks (MANET), forwarding packets originating from other nodes requires cooperation among nodes. However, as each node may not want to waste its energy, cooperative behavior can not be guaranteed. Therefore, it is necessary to implement some mechanism to avoid selfish behavior and to promote cooperation. In this paper, we propose a simple quid pro quo based repu… ▽ More In the paradigm of mobile Ad hoc networks (MANET), forwarding packets originating from other nodes requires cooperation among nodes. However, as each node may not want to waste its energy, cooperative behavior can not be guaranteed. Therefore, it is necessary to implement some mechanism to avoid selfish behavior and to promote cooperation. In this paper, we propose a simple quid pro quo based reputation system, i.e., nodes that forward gain reputation, but lose more reputation if they do not forward packets from cooperative users (determined based on reputation), and lose less reputation when they chose to not forward packets from non-cooperative users. Under this framework, we model the behavior of users as an evolutionary game and provide conditions that result in cooperative behavior by studying the evolutionary stable states of the proposed game. Numerical analysis is provided to study the resulting equilibria and to illustrate how the proposed model performs compared to traditional models. △ Less

Submitted 2 December, 2020; originally announced December 2020.

When to stop value iteration: stability and near-optimality versus computation

Authors: Mathieu Granzotto, Romain Postoyan, Dragan Nešić, Lucian Buşoniu, Jamal Daafouz

Abstract: Value iteration (VI) is a ubiquitous algorithm for optimal control, planning, and reinforcement learning schemes. Under the right assumptions, VI is a vital tool to generate inputs with desirable properties for the controlled system, like optimality and Lyapunov stability. As VI usually requires an infinite number of iterations to solve general nonlinear optimal control problems, a key question is… ▽ More Value iteration (VI) is a ubiquitous algorithm for optimal control, planning, and reinforcement learning schemes. Under the right assumptions, VI is a vital tool to generate inputs with desirable properties for the controlled system, like optimality and Lyapunov stability. As VI usually requires an infinite number of iterations to solve general nonlinear optimal control problems, a key question is when to terminate the algorithm to produce a "good" solution, with a measurable impact on optimality and stability guarantees. By carefully analysing VI under general stabilizability and detectability properties, we provide explicit and novel relationships of the stop** criterion's impact on near-optimality, stability and performance, thus allowing to tune these desirable properties against the induced computational cost. The considered class of stop** criteria encompasses those encountered in the control, dynamic programming and reinforcement learning literature and it allows considering new ones, which may be useful to further reduce the computational cost while endowing and satisfying stability and near-optimality properties. We therefore lay a foundation to endow machine learning schemes based on VI with stability and performance guarantees, while reducing computational complexity. △ Less

Submitted 19 November, 2020; originally announced November 2020.

Comments: Submitted for 3rd L4DC

Optimistic planning for the near-optimal control of nonlinear switched discrete-time systems with stability guarantees

Authors: Mathieu Granzotto, Romain Postoyan, Lucian Buşoniu, Dragan Nešić, Jamal Daafouz

Abstract: Originating in the artificial intelligence literature, optimistic planning (OP) is an algorithm that generates near-optimal control inputs for generic nonlinear discrete-time systems whose input set is finite. This technique is therefore relevant for the near-optimal control of nonlinear switched systems, for which the switching signal is the control. However, OP exhibits several limitations, whic… ▽ More Originating in the artificial intelligence literature, optimistic planning (OP) is an algorithm that generates near-optimal control inputs for generic nonlinear discrete-time systems whose input set is finite. This technique is therefore relevant for the near-optimal control of nonlinear switched systems, for which the switching signal is the control. However, OP exhibits several limitations, which prevent its application in a standard control context. First, it requires the stage cost to take values in [0,1], an unnatural prerequisite as it excludes, for instance, quadratic stage costs. Second, it requires the cost function to be discounted. Third, it applies for reward maximization, and not cost minimization. In this paper, we modify OP to overcome these limitations, and we call the new algorithm OPmin. We then make stabilizability and detectability assumptions, under which we derive near-optimality guarantees for OPmin and we show that the obtained bound has major advantages compared to the bound originally given by OP. In addition, we prove that a system whose inputs are generated by OPmin in a receding-horizon fashion exhibits stability properties. As a result, OPmin provides a new tool for the near-optimal, stable control of nonlinear switched discrete-time systems for generic cost functions. △ Less

Submitted 4 August, 2019; originally announced August 2019.

Comments: 8 pages, 2019 conference in decision and control, longer version submitted for reviewers

Stability analysis of a general class of singularly perturbed linear hybrid systems

Authors: Jihene Ben Rejeb, Irinel-Constantin Morărescu, Antoine Girard, Jamal Daafouz

Abstract: Motivated by a real problem in steel production, we introduce and analyze a general class of singularly perturbed linear hybrid systems with both switches and impulses, in which the slow or fast nature of the variables can be mode-dependent. This means that, at switching instants, some of the slow variables can become fast and vice-versa. Firstly, we show that using a mode-dependent variable reord… ▽ More Motivated by a real problem in steel production, we introduce and analyze a general class of singularly perturbed linear hybrid systems with both switches and impulses, in which the slow or fast nature of the variables can be mode-dependent. This means that, at switching instants, some of the slow variables can become fast and vice-versa. Firstly, we show that using a mode-dependent variable reordering we can rewrite this class of systems in a form in which the variables preserve their nature over time. Secondly, we establish, through singular perturbation techniques, an upper bound on the minimum dwell-time ensuring the overall system's stability. Remarkably, this bound is the sum of two terms. The first term corresponds to an upper bound on the minimum dwell-time ensuring the stability of the reduced order linear hybrid system describing the slow dynamics. The order of magnitude of the second term is determined by that of the parameter defining the ratio between the two time-scales of the singularly perturbed system. We show that the proposed framework can also take into account the change of dimension of the state vector at switching instants. Numerical illustrations complete our study. △ Less

Submitted 15 June, 2017; originally announced June 2017.

Minimizing the impact of EV charging on the electricity distribution network

Authors: Olivier Beaude, Samson Lasaulce, Martin Hennebel, Jamal Daafouz

Abstract: The main objective of this paper is to design electric vehicle (EV) charging policies which minimize the impact of charging on the electricity distribution network (DN). More precisely, the considered cost function results from a linear combination of two parts: a cost with memory and a memoryless cost. In this paper, the first component is identified to be the transformer ageing while the second… ▽ More The main objective of this paper is to design electric vehicle (EV) charging policies which minimize the impact of charging on the electricity distribution network (DN). More precisely, the considered cost function results from a linear combination of two parts: a cost with memory and a memoryless cost. In this paper, the first component is identified to be the transformer ageing while the second one corresponds to distribution Joule losses. First, we formulate the problem as a non-trivial discrete-time optimal control problem with finite time horizon. It is non-trivial because of the presence of saturation constraints and a non-quadratic cost. It turns out that the system state, which is the transformer hot-spot (HS) temperature here, can be expressed as a function of the sequence of control variables; the cost function is then seen to be convex in the control for typical values for the model parameters. The problem of interest thus becomes a standard optimization problem. While the corresponding problem can be solved by using available numerical routines, three distributed charging policies are provided. The motivation is threefold: to decrease the computational complexity; to model the important scenario where the charging profile is chosen by the EV itself; to circumvent the allocation problem which arises with the proposed formulation. Remarkably, the performance loss induced by decentralization is verified to be small through simulations. Numerical results show the importance of the choice of the charging policies. For instance, the gain in terms of transformer lifetime can be very significant when implementing advanced charging policies instead of plug-and-charge policies. The impact of the accuracy of the non-EV demand forecasting is equally assessed. △ Less

Submitted 24 September, 2015; originally announced September 2015.

Comments: 6 pages, 3 figures, keywords: electric vehicle charging, electricity distribution network, optimal control, distributed policies, game theory

Co-design of output feedback laws and event-triggering conditions for linear systems

Authors: Mahmoud Abdelrahim, Romain Postoyan, Jamal Daafouz, Dragan Nešić

Abstract: We present a procedure to simultaneously design the output feedback law and the event-triggering condition to stabilize linear systems. The closed-loop system is shown to satisfy a global asymptotic stability property and the existence of a strictly positive minimum amount of time between two transmissions is guaranteed. The event-triggered controller is obtained by solving linear matrix inequalit… ▽ More We present a procedure to simultaneously design the output feedback law and the event-triggering condition to stabilize linear systems. The closed-loop system is shown to satisfy a global asymptotic stability property and the existence of a strictly positive minimum amount of time between two transmissions is guaranteed. The event-triggered controller is obtained by solving linear matrix inequalities (LMIs). We then exploit the flexibility of the method to maximize the guaranteed minimum amount of time between two transmissions. Finally, we provide a (heuristic) method to reduce the amount of transmissions, which is supported by numerical simulations. △ Less

Submitted 26 August, 2014; originally announced August 2014.

Stabilization of nonlinear systems using event-triggered output feedback controllers

Authors: Mahmoud Abdelrahim, Romain Postoyan, Jamal Daafouz, Dragan Nešić

Abstract: The objective is to design output feedback event-triggered controllers to stabilize a class of nonlinear systems. One of the main difficulties of the problem is to ensure the existence of a minimum amount of time between two consecutive transmissions, which is essential in practice. We solve this issue by combining techniques from event-triggered and time-triggered control. The idea is to turn on… ▽ More The objective is to design output feedback event-triggered controllers to stabilize a class of nonlinear systems. One of the main difficulties of the problem is to ensure the existence of a minimum amount of time between two consecutive transmissions, which is essential in practice. We solve this issue by combining techniques from event-triggered and time-triggered control. The idea is to turn on the event-triggering mechanism only after a fixed amount of time has elapsed since the last transmission. This time is computed based on results on the stabilization of time-driven sampled-data systems. The overall strategy ensures an asymptotic stability property for the closed-loop system. The results are proved to be applicable to linear time-invariant (LTI) systems as a particular case. △ Less

Submitted 25 August, 2014; originally announced August 2014.

Event-triggered control of nonlinear singularly perturbed systems based only on the slow dynamics

Authors: Mahmoud Abdelrahim, Romain Postoyan, Jamal Daafouz

Abstract: Controllers are often designed based on a reduced or simplified model of the plant dynamics. In this context, we investigate whether it is possible to synthesize a stabilizing event-triggered feedback law for networked control systems (NCS) which have two time-scales, based only on an approximate model of the slow dynamics. We follow an emulation-like approach as we assume that we know how to solv… ▽ More Controllers are often designed based on a reduced or simplified model of the plant dynamics. In this context, we investigate whether it is possible to synthesize a stabilizing event-triggered feedback law for networked control systems (NCS) which have two time-scales, based only on an approximate model of the slow dynamics. We follow an emulation-like approach as we assume that we know how to solve the problem in the absence of sampling and then we study how to design the event-triggering rule under communication constraints. The NCS is modeled as a hybrid singularly perturbed system which exhibits the feature to generate jumps for both the fast variable and the error variable induced by the sampling. The first conclusion is that a triggering law which guarantees the stability and the existence of a uniform minimum amount of time between two transmissions for the slow model may not ensure the existence of such a time for the overall system, which makes the controller not implementable in practice. The objective of this contribution is twofold. We first show that existing event-triggering conditions can be adapted to singularly perturbed systems and semiglobal practical stability can be ensured in this case. Second, we propose another technique that combines event-triggered and time-triggered results in the sense that transmissions are only allowed after a predefined amount of time has elapsed since the last transmission. This technique has the advantage, under an additional assumption, to ensure a global asymptotic stability property and to allow the user to directly tune the minimum inter-transmission interval. We believe that this technique is of its own interest independently of the two-time scale nature of the addressed problem. The results are shown to be applicable to a class of globally Lipschitz systems. △ Less

Submitted 25 August, 2014; originally announced August 2014.

Modal occupation measures and LMI relaxations for nonlinear switched systems control

Authors: Mathieu Claeys, Jamal Daafouz, Didier Henrion

Abstract: This paper presents a linear programming approach for the optimal control of nonlinear switched systems where the control is the switching sequence. This is done by introducing modal occupation measures, which allow to relax the problem as a primal linear programming (LP) problem. Its dual linear program of Hamilton-Jacobi-Bellman inequalities is also characterized. The LPs are then solved numeric… ▽ More This paper presents a linear programming approach for the optimal control of nonlinear switched systems where the control is the switching sequence. This is done by introducing modal occupation measures, which allow to relax the problem as a primal linear programming (LP) problem. Its dual linear program of Hamilton-Jacobi-Bellman inequalities is also characterized. The LPs are then solved numerically with a converging hierarchy of primal-dual moment-sum-of-squares (SOS) linear matrix inequalities (LMI). Because of the special structure of switched systems, we obtain a much more efficient method than could be achieved by applying standard moment/SOS LMI hierarchies for general optimal control problems. △ Less

Submitted 16 December, 2014; v1 submitted 18 April, 2014; originally announced April 2014.

Comments: New section 4 on reconstruction of a trajectory from its approximate moments.New examples in section 6

Report number: Rapport LAAS n{\textdegree} 14138

Optimal switching control design for polynomial systems: an LMI approach

Authors: Didier Henrion, Jamal Daafouz, Mathieu Claeys

Abstract: We propose a new LMI approach to the design of optimal switching sequences for polynomial dynamical systems with state constraints. We formulate the switching design problem as an optimal control problem which is then relaxed to a linear programming (LP) problem in the space of occupation measures. This infinite-dimensional LP can be solved numerically and approximately with a hierarchy of convex… ▽ More We propose a new LMI approach to the design of optimal switching sequences for polynomial dynamical systems with state constraints. We formulate the switching design problem as an optimal control problem which is then relaxed to a linear programming (LP) problem in the space of occupation measures. This infinite-dimensional LP can be solved numerically and approximately with a hierarchy of convex finite-dimensional LMIs. In contrast with most of the existing work on LMI methods, we have a guarantee of global optimality, in the sense that we obtain an asympotically converging (i.e. with vanishing conservatism) hierarchy of lower bounds on the achievable performance. We also explain how to construct an almost optimal switching sequence. △ Less

Submitted 8 March, 2013; originally announced March 2013.