Nondeterministic hybrid dynamical systems

This thesis is concerned with the analysis, control and identification of hybrid dynamical systems. The main focus is on a particular class of hybrid systems consisting of linear subsystems. The discrete dynamic, i.e., the change between subsystems, is unknown or nondeterministic and cannot be influenced, i.e. controlled, directly. However changes in the discrete dynamic can be detected immediately, such that the current dynamic (subsystem) is known. In order to motivate the study of hybrid systems and show the merits of hybrid control theory, an example is given. It is shown that real world systems like Anti Locking Brakes (ABS) are naturally modelled by such a class of linear hybrids systems. It is shown that purely continuous feedback is not suitable since it cannot achieve maximum braking performance. A hybrid control strategy, which overcomes this problem, is presented. For this class of linear hybrid system with unknown discrete dynamic, a framework for robust control is established. The analysis methodology developed gives a robustness radius such that the stability under parameter variations can be analysed. The controller synthesis procedure is illustrated in a practical example where the control for an active suspension of a car is designed. Optimal control for this class of hybrid system is introduced. It is shows how a control law is obtained which minimises a quadratic performance index. The synthesis procedure is stated in terms of a convex optimisation problem using linear matrix inequalities (LMI). The solution of the LMI not only returns the controller but also the performance bound. Since the proposed controller structures require knowledge of the continuous state, an observer design is proposed. It is shown that the estimation error converges quadratically while minimising the covariance of the estimation error. This is similar to the Kalman filter for discrete or continuous time systems. Further, we show that the synthesis of the observer can be cast into an LMI, which conveniently solves the synthesis problem

Optimal control of discrete-time switched linear systems via continuous parameterization

The paper presents a novel method for designing an optimal controller for discrete-time switched linear systems. The problem is formulated as one of computing the discrete mode sequence and the continuous input sequence that jointly minimize a quadratic performance index. State-of-art methods for solving such a control problem suffer in general from a high computational requirement due to the fact that an exponential number of switching sequences must be explored. The method of this paper addresses the challenge of the switching law design by introducing auxiliary continuous input variables and then solving a non-smooth block-sparsity inducing optimization problem.Comment: 6 pages, 2 figures, 2 tables; To appear in the Proceedings of IFAC World Congress, 201

Learn and Control while Switching: with Guaranteed Stability and Sublinear Regret

Over-actuated systems often make it possible to achieve specific performances by switching between different subsets of actuators. However, when the system parameters are unknown, transferring authority to different subsets of actuators is challenging due to stability and performance efficiency concerns. This paper presents an efficient algorithm to tackle the so-called "learn and control while switching between different actuating modes" problem in the Linear Quadratic (LQ) setting. Our proposed strategy is constructed upon Optimism in the Face of Uncertainty (OFU) based algorithm equipped with a projection toolbox to keep the algorithm efficient, regret-wise. Along the way, we derive an optimum duration for the warm-up phase, thanks to the existence of a stabilizing neighborhood. The stability of the switched system is also guaranteed by designing a minimum average dwell time. The proposed strategy is proved to have a regret bound of $\mathcal{\bar{O}}\big(\sqrt{T}\big)+\mathcal{O}\big(ns\sqrt{T}\big)$ in horizon $T$ with $(ns)$ number of switches, provably outperforming naively applying the basic OFU algorithm

Contributions à la stabilisation des systèmes à commutation affine

Cette thèse porte sur la stabilisation des systèmes à commutation dont la commande, le signal de commutation, est échantillonné de manière périodique. Les difficultés liées à cette classe de systèmes non linéaires sont d'abord dues au fait que l'action de contrôle est effectuée aux instants de calcul en sélectionnant le mode de commutation à activer et, ensuite, au problème de fournir une caractérisation précise de l'ensemble vers lequel convergent les solutions du système, c'est-à-dire l'attracteur. Dans cette thèse, les contributions ont pour fil conducteur la réduction du conservatisme fait pendant la définition d'attracteurs, ce qui a mené à garantir la stabilisation du système à un cycle limite. Après une introduction générale où sont présentés le contexte et les principaux résultats de la littérature, le premier chapitre contributif introduit une nouvelle méthode basée sur une nouvelle classe de fonctions de Lyapunov contrôlées qui fournit une caractérisation plus précise des ensembles invariants pour les systèmes en boucle fermée. La contribution présentée comme un problème d'optimisation non convexe et faisant référence à une condition de Lyapunov-Metzler apparaît comme un résultat préliminaire et une étape clé pour les chapitres à suivre. La deuxième partie traite de la stabilisation des systèmes affines commutés vers des cycles limites. Après avoir présenté quelques préliminaires sur les cycles limites hybrides et les notions dérivées telles que les cycles au Chapitre 3, les lois de commutation stabilisantes sont introduites dans le Chapitre 4. Une approche par fonctions de Lyapunov contrôlées et une stratégie de min-switching sont utilisées pour garantir que les solutions du système nominal en boucle fermée convergent vers un cycle limite. Les conditions du théorème sont exprimées en termes d'Inégalités Matricielles Linéaires (dont l'abréviation anglaise est LMI) simples, dont les conditions nécessaires sous-jacentes relâchent les conditions habituelles dans cette littérature. Cette méthode est étendue au cas des systèmes incertains dans le Chapitre 5, pour lesquels la notion de cycles limites doit être adaptée. Enfin, le cas des systèmes dynamiques hybrides est exploré au Chapitre 6 et les attracteurs ne sont plus caractérisés par des régions éventuellement disjointes mais par des trajectoires fermées et isolées en temps continu. Tout au long de la thèse, les résultats théoriques sont évalués sur des exemples académiques et démontrent le potentiel de la méthode par rapport à la littérature récente sur le sujet.This thesis deals with the stabilization of switched affine systems with a periodic sampled-data switching control. The particularities of this class of nonlinear systems are first related to the fact that the control action is performed at the computation times by selecting the switching mode to be activated and, second, to the problem of providing an accurate characterization of the set where the solutions to the system converge to, i.e. the attractors. The contributions reported in this thesis have as common thread to reduce the conservatism made in the characterization of attractors, leading to guarantee the stabilization of the system at a limit cycle. After a brief introduction presenting the context and some main results, the first contributive chapter introduced a new method based on a new class of control Lyapunov functions that provides a more accurate characterization of the invariant set for a closed-loop system. The contribution presented as a nonconvex optimization problem and referring to a Lyapunov-Metzler condition appears to be a preliminary result and the milestone of the forthcoming chapters. The second part deals with the stabilization of switched affine systems to limit cycles. After presenting some preliminaries on hybrid limit cycles and derived notions such as cycles in Chapter 3, stabilizing switching control laws are developed in Chapter 4. A control Lyapunov approach and a min-switching strategy are used to guarantee that the solutions to a nominal closed-loop system converge to a limit cycle. The conditions of the theorem are expressed in terms of simple linear matrix inequalities (LMI), whose underlying necessary conditions relax the usual one in this literature. This method is then extended to the case of uncertain systems in Chapter 5, for which the notion of limit cycle needs to be adapted. Finally, the hybrid dynamical system framework is explored in Chapter 6 and the attractors are no longer characterized by possibly disjoint regions but as continuous-time closed and isolated trajectory. All along the dissertation, the theoretical results are evaluated on academic examples and demonstrate the potential of the method over the recent literature on this subject

Nonlinear Systems

Open Mathematics is a challenging notion for theoretical modeling, technical analysis, and numerical simulation in physics and mathematics, as well as in many other fields, as highly correlated nonlinear phenomena, evolving over a large range of time scales and length scales, control the underlying systems and processes in their spatiotemporal evolution. Indeed, available data, be they physical, biological, or financial, and technologically complex systems and stochastic systems, such as mechanical or electronic devices, can be managed from the same conceptual approach, both analytically and through computer simulation, using effective nonlinear dynamics methods. The aim of this Special Issue is to highlight papers that show the dynamics, control, optimization and applications of nonlinear systems. This has recently become an increasingly popular subject, with impressive growth concerning applications in engineering, economics, biology, and medicine, and can be considered a veritable contribution to the literature. Original papers relating to the objective presented above are especially welcome subjects. Potential topics include, but are not limited to: Stability analysis of discrete and continuous dynamical systems; Nonlinear dynamics in biological complex systems; Stability and stabilization of stochastic systems; Mathematical models in statistics and probability; Synchronization of oscillators and chaotic systems; Optimization methods of complex systems; Reliability modeling and system optimization; Computation and control over networked systems

Topics in Automotive Rollover Prevention: Robust and Adaptive Switching Strategies for Estimation and Control

The main focus in this thesis is the analysis of alternative approaches for estimation and control of automotive vehicles based on sound theoretical principles. Of particular importance is the problem rollover prevention, which is an important problem plaguing vehicles with a high center of gravity (CG). Vehicle rollover is, statistically, the most dangerous accident type, and it is difficult to prevent it due to the time varying nature of the problem. Therefore, a major objective of the thesis is to develop the necessary theoretical and practical tools for the estimation and control of rollover based on robust and adaptive techniques that are stable with respect to parameter variations. Given this background, we first consider an implementation of the multiple model switching and tuning (MMST) algorithm for estimating the unknown parameters of automotive vehicles relevant to the roll and the lateral dynamics including the position of CG. This results in high performance estimation of the CG as well as other time varying parameters, which can be used in tuning of the active safety controllers in real time. We then look into automotive rollover prevention control based on a robust stable control design methodology. As part of this we introduce a dynamic version of the load transfer ratio (LTR) as a rollover detection criterion and then design robust controllers that take into account uncertainty in the CG position. As the next step we refine the controllers by integrating them with the multiple model switched CG position estimation algorithm. This results in adaptive controllers with higher performance than the robust counterparts. In the second half of the thesis we analyze extensions of certain theoretical results with important implications for switched systems. First we obtain a non-Lyapunov stability result for a certain class of linear discrete time switched systems. Based on this result, we suggest switched controller synthesis procedures for two roll dynamics enhancement control applications. One control design approach is related to modifying the dynamical response characteristics of the automotive vehicle while guaranteeing the switching stability under parametric variations. The other control synthesis method aims to obtain transient free reference tracking of vehicle roll dynamics subject to parametric switching. In a later discussion, we consider a particular decentralized control design procedure based on vector Lyapunov functions for simultaneous, and structurally robust model reference tracking of both the lateral and the roll dynamics of automotive vehicles. We show that this controller design approach guarantees the closed loop stability subject to certain types of structural uncertainty. Finally, assuming a purely theoretical pitch, and motivated by the problems considered during the course of the thesis, we give new stability results on common Lyapunov solution (CLS) existence for two classes of switching linear systems; one is concerned with switching pair of systems in companion form and with interval uncertainty, and the other is concerned with switching pair of companion matrices with general inertia. For both problems we give easily verifiable spectral conditions that are sufficient for the CLS existence. For proving the second result we also obtain a certain generalization of the classical Kalman-Yacubovic-Popov lemma for matrices with general inertia