Balanced truncation for linear switched systems

In this paper, we present a theoretical analysis of the model reduction algorithm for linear switched systems. This algorithm is a reminiscence of the balanced truncation method for linear parameter varying systems. Specifically in this paper, we provide a bound on the approximation error in L2 norm for continuous-time and l2 norm for discrete-time linear switched systems. We provide a system theoretic interpretation of grammians and their singular values. Furthermore, we show that the performance of bal- anced truncation depends only on the input-output map and not on the choice of the state-space representation. For a class of stable discrete-time linear switched systems (so called strongly stable systems), we define nice controllability and nice observability grammians, which are genuinely related to reachability and controllability of switched systems. In addition, we show that quadratic stability and LMI estimates of the L2 and l2 gains depend only on the input-output map.Comment: We have corrected a number of typos and inconsistencies. In addition, we added new results in Theorem

A graph theoretic approach to input-to-state stability of switched systems

This article deals with input-to-state stability (ISS) of discrete-time switched systems. Given a family of nonlinear systems with exogenous inputs, we present a class of switching signals under which the resulting switched system is ISS. We allow non-ISS systems in the family and our analysis involves graph-theoretic arguments. A weighted digraph is associated to the switched system, and a switching signal is expressed as an infinite walk on this digraph, both in a natural way. Our class of stabilizing switching signals (infinite walks) is periodic in nature and affords simple algorithmic construction.Comment: 14 pages, 1 figur

Qualitative Studies of Nonlinear Hybrid Systems

A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior. Hybrid systems arise in a wide variety of important applications in diverse areas, ranging from biology to computer science to air traffic dynamics. The interaction of continuous- and discrete-time dynamics in a hybrid system often leads to very rich dynamical behavior and phenomena that are not encountered in purely continuous- or discrete-time systems. Investigating the dynamical behavior of hybrid systems is of great theoretical and practical importance. The objectives of this thesis are to develop the qualitative theory of nonlinear hybrid systems with impulses, time-delay, switching modes, and stochastic disturbances, to develop algorithms and perform analysis for hybrid systems with an emphasis on stability and control, and to apply the theory and methods to real-world application problems. Switched nonlinear systems are formulated as a family of nonlinear differential equations, called subsystems, together with a switching signal that selects the continuous dynamics among the subsystems. Uniform stability is studied emphasizing the situation where both stable and unstable subsystems are present. Uniformity of stability refers to both the initial time and a family of switching signals. Stabilization of nonlinear systems via state-dependent switching signal is investigated. Based on assumptions on a convex linear combination of the nonlinear vector fields, a generalized minimal rule is proposed to generate stabilizing switching signals that are well-defined and do not exhibit chattering or Zeno behavior. Impulsive switched systems are hybrid systems exhibiting both impulse and switching effects, and are mathematically formulated as a switched nonlinear system coupled with a sequence of nonlinear difference equations that act on the switched system at discrete times. Impulsive switching signals integrate both impulsive and switching laws that specify when and how impulses and switching occur. Invariance principles can be used to investigate asymptotic stability in the absence of a strict Lyapunov function. An invariance principle is established for impulsive switched systems under weak dwell-time signals. Applications of this invariance principle provide several asymptotic stability criteria. Input-to-state stability notions are formulated in terms of two different measures, which not only unify various stability notions under the stability theory in two measures, but also bridge this theory with the existent input/output theories for nonlinear systems. Input-to-state stability results are obtained for impulsive switched systems under generalized dwell-time signals. Hybrid time-delay systems are hybrid systems with dependence on the past states of the systems. Switched delay systems and impulsive switched systems are special classes of hybrid time-delay systems. Both invariance property and input-to-state stability are extended to cover hybrid time-delay systems. Stochastic hybrid systems are hybrid systems subject to random disturbances, and are formulated using stochastic differential equations. Focused on stochastic hybrid systems with time-delay, a fundamental theory regarding existence and uniqueness of solutions is established. Stabilization schemes for stochastic delay systems using state-dependent switching and stabilizing impulses are proposed, both emphasizing the situation where all the subsystems are unstable. Concerning general stochastic hybrid systems with time-delay, the Razumikhin technique and multiple Lyapunov functions are combined to obtain several Razumikhin-type theorems on both moment and almost sure stability of stochastic hybrid systems with time-delay. Consensus problems in networked multi-agent systems and global convergence of artificial neural networks are related to qualitative studies of hybrid systems in the sense that dynamic switching, impulsive effects, communication time-delays, and random disturbances are ubiquitous in networked systems. Consensus protocols are proposed for reaching consensus among networked agents despite switching network topologies, communication time-delays, and measurement noises. Focused on neural networks with discontinuous neuron activation functions and mixed time-delays, sufficient conditions for existence and uniqueness of equilibrium and global convergence and stability are derived using both linear matrix inequalities and M-matrix type conditions. Numerical examples and simulations are presented throughout this thesis to illustrate the theoretical results

Robustness analysis of discrete predictor-based controllers for input-delay systems

In this article, robustness to model uncertainties are analysed in the context of discrete predictor-based state-feedback controllers for discrete-time input-delay systems with time-varying delay, in an LMI framework. The goal is comparing robustness of predictor-based strategies with respect to other (sub)optimal state feedback ones. A numerical example illustrates that improvements in tolerance to modelling errors can be achieved by using the predictor framework.The authors are grateful for grant nos. DPI2008-06737-C02-01, DPI2008-06731-C02-01, DPI2011-27845-C02-01 and PROMETEO/2008/088 from the Spanish and Valencian governments.González Sorribes, A.; Sala, A.; García Gil, PJ.; Albertos Pérez, P. (2013). Robustness analysis of discrete predictor-based controllers for input-delay systems. International Journal of Systems Science. 44(2):232-239. https://doi.org/10.1080/00207721.2011.600469S232239442Boukas, E.-K. (2006). Discrete-time systems with time-varying time delay: Stability and stabilizability. Mathematical Problems in Engineering, 2006, 1-10. doi:10.1155/mpe/2006/42489Du, D., Jiang, B., & Zhou, S. (2008). Delay-dependent robust stabilisation of uncertain discrete-time switched systems with time-varying state delay. International Journal of Systems Science, 39(3), 305-313. doi:10.1080/00207720701805982El Ghaoui, L., Oustry, F., & AitRami, M. (1997). A cone complementarity linearization algorithm for static output-feedback and related problems. IEEE Transactions on Automatic Control, 42(8), 1171-1176. doi:10.1109/9.618250Gao, H., & Chen, T. (2007). New Results on Stability of Discrete-Time Systems With Time-Varying State Delay. IEEE Transactions on Automatic Control, 52(2), 328-334. doi:10.1109/tac.2006.890320Gao, H., Wang, C., Lam, J., & Wang, Y. (2004). Delay-dependent output-feedback stabilisation of discrete-time systems with time-varying state delay. IEE Proceedings - Control Theory and Applications, 151(6), 691-698. doi:10.1049/ip-cta:20040822Gao, H., Chen, T., & Lam, J. (2008). A new delay system approach to network-based control. Automatica, 44(1), 39-52. doi:10.1016/j.automatica.2007.04.020Garcia , P , Castillo , P , Lozano , R and Albertos , P . 2006 . Robustness with Respect to Delay Uncertainties of a Predictor Observer Based Discrete-time Controller . Proceeding of the 45th IEEE Conference on Decision and Control . 2006 . pp. 199 – 204 .Guo , Y and Li , S . 2009 . New Stability Criterion for Discrete-time Systems with Interval Time-varying State Delay . Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference . 2009 . pp. 1342 – 1347 .Hägglund, T. (1996). An industrial dead-time compensating PI controller. Control Engineering Practice, 4(6), 749-756. doi:10.1016/0967-0661(96)00065-2V.J.S. Leite, and Miranda, M.F. (2008), ‘Robust Stabilization of Discrete-time Systems with Time-varying Delay: An LMI Approach’,Mathematical Problems in Engineering, 2008, 15 pages (doi:10.1155/2008/875609)Liu, X. G., Tang, M. L., Martin, R. R., & Wu, M. (2006). Delay-dependent robust stabilisation of discrete-time systems with time-varying delay. IEE Proceedings - Control Theory and Applications, 153(6), 689-702. doi:10.1049/ip-cta:20050223Lozano, R., Castillo, P., Garcia, P., & Dzul, A. (2004). Robust prediction-based control for unstable delay systems: Application to the yaw control of a mini-helicopter. Automatica, 40(4), 603-612. doi:10.1016/j.automatica.2003.10.007Manitius, A., & Olbrot, A. (1979). Finite spectrum assignment problem for systems with delays. IEEE Transactions on Automatic Control, 24(4), 541-552. doi:10.1109/tac.1979.1102124Michiels, W., & Niculescu, S.-I. (2003). On the delay sensitivity of Smith Predictors. International Journal of Systems Science, 34(8-9), 543-551. doi:10.1080/00207720310001609057Palmor, Z.J. (1996), ‘Time-delay Compensation – Smith Predictor and Its Modifications’, inThe Control Handbook, ed. W.S. Levine, Boca Raton: CRC Press, pp. 224–237Pan, Y.-J., Marquez, H. J., & Chen, T. (2006). Stabilization of remote control systems with unknown time varying delays by LMI techniques. International Journal of Control, 79(7), 752-763. doi:10.1080/00207170600654554Richard, J.-P. (2003). Time-delay systems: an overview of some recent advances and open problems. Automatica, 39(10), 1667-1694. doi:10.1016/s0005-1098(03)00167-5Wang, Q.-G., Lee, T. H., & Tan, K. K. (1999). Finite-Spectrum Assignment for Time-Delay Systems. Lecture Notes in Control and Information Sciences. doi:10.1007/978-1-84628-531-8He, Y., Wu, M., Han, Q.-L., & She, J.-H. (2008). Delay-dependentH∞control of linear discrete-time systems with an interval-like time-varying delay. International Journal of Systems Science, 39(4), 427-436. doi:10.1080/00207720701832531Yue, D., & Han, Q.-L. (2005). Delayed feedback control of uncertain systems with time-varying input delay. Automatica, 41(2), 233-240. doi:10.1016/j.automatica.2004.09.006Zhang, B., Xu, S., & Zou, Y. (2008). Improved stability criterion and its applications in delayed controller design for discrete-time systems. Automatica, 44(11), 2963-2967. doi:10.1016/j.automatica.2008.04.01

Data-driven estimation of the maximum sampling interval: analysis and controller design for discrete-time systems

This article is concerned with data-driven analysis of discrete-time systems under aperiodic sampling, and in particular with a data-driven estimation of the maximum sampling interval (MSI). The MSI is relevant for analysis of and controller design for cyber-physical, embedded and networked systems, since it gives a limit on the time span between sampling instants such that stability is guaranteed. We propose tools to compute the MSI for a given controller and to design a controller with a preferably large MSI, both directly from a finite-length, noise-corrupted state-input trajectory of the system. We follow two distinct approaches for stability analysis, one taking a robust control perspective and the other a switched systems perspective on the aperiodically sampled system. In a numerical example and a subsequent discussion, we demonstrate the efficacy of our developed tools and compare the two approaches.Comment: 16 pages, 4 figure, 1 table. Now contains 1) a disturbance description via multipliers, 2) extended proofs and 3) an extensive numerical case study, including a comparison of different data lengths, a discussion of complexity and a comparison with set membership estimatio

Data-Driven Stabilizing and Robust Control of Discrete-Time Linear Systems with Error in Variables

This work presents a sum-of-squares (SOS) based framework to perform data-driven stabilization and robust control tasks on discrete-time linear systems where the full-state observations are corrupted by L-infinity bounded input, measurement, and process noise (error in variable setting). Certificates of state-feedback superstability or quadratic stability of all plants in a consistency set are provided by solving a feasibility program formed by polynomial nonnegativity constraints. Under mild compactness and data-collection assumptions, SOS tightenings in rising degree will converge to recover the true superstabilizing controller, with slight conservatism introduced for quadratic stabilizability. The performance of this SOS method is improved through the application of a theorem of alternatives while retaining tightness, in which the unknown noise variables are eliminated from the consistency set description. This SOS feasibility method is extended to provide worst-case-optimal robust controllers under H2 control costs. The consistency set description may be broadened to include cases where the data and process are affected by a combination of L-infinity bounded measurement, process, and input noise. Further generalizations include varying noise sets, non-uniform sampling, and switched systems stabilization.Comment: 27 pages, 1 figure, 9 table

Performance Analysis and Validation of a Recoverable Flight Control System in a Simulated Neutron Environment

This paper introduces a class of stochastic hybrid models for the analysis of closed-loop control systems implemented with NASA\u27s Recoverable Computer System. Such Recoverable Computer Systems have been proposed to insure reliable control performance in harsh environments. The stochastic hybrid models consist of either a stochastic finite-state automaton or a finite-state machine driven by a Markov input, which in turn drives a switched linear discrete-time dynamical system. Their stability and output tracking performance are analyzed using an extension of the existing theory for Markov jump-linear systems. For illustration, a stochastic hybrid model is used to calculate the tracking error performance of a Boeing 737 at cruising altitude and in closed-loop with a Recoverable Computer System subject to neutron-induced single-event upsets. The upsets are modeled with a Markov process. The results are validated using experimental data obtained from a simulated neutron environment in NASA\u27s SAFBTI Laboratory. Copyright © 2005 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved