Robust Stability Analysis and Synthesis for Switched Discrete-Time Systems with Time Delay

The problems of robust stability analysis and synthesis for a class of uncertain switched time-delay systems with polytopic type uncertainties are addressed. Based on the constructive use of an appropriate switched Lyapunov function, sufficient linear matrix inequalities (LMIs) conditions are investigated to make such systems a uniform quadratic stability with an L2-gain smaller than a given constant level. System synthesis is to design switched feedback schemes, whether based on state, output measurements, or by using dynamic output feedback, to guarantee that the corresponding closed-loop system satisfies the LMIs conditions. Two numerical examples are provided that demonstrate the efficiency of this approach

Stability analysis and controller design for switched time-delay systems

In this thesis, the stability analysis and control synthesis for uncertain switched time-delay systems are investigated. It is known that a wide variety of real-world systems are subject to uncertainty and also time-delay in their dynamics. These characteristics, if not taken into consideration in analysis and synthesis, can lead to important problems such as performance degradation or instability in a control system. On the other hand, the switching phenomenon often appears in numerous applications, where abrupt change is inevitable in the system model. Switching behavior in this type of systems can be triggered either by time, or by the state of the system. A theoretical framework to study various features of switched systems in the presence of uncertainty and time-delay (both neutral and retarded) would be of particular interest in important applications such as network control systems, power systems and communication networks. To address the problem of robust stability for the class of uncertain switched systems with unknown time-varying delay discussed above, sufficient conditions in the form of linear matrix inequalities (LMI) are derived. An adaptive switching control algorithm is then proposed for the stabilization of uncertain discrete time-delay systems subject to disturbance. It is assumed that the discrete time-delay system is highly uncertain, such that a single fixed controller cannot stabilize it effectively. Sufficient conditions are provided subsequently for the stability of switched time-delay systems with polytopic-type uncertainties. Moreover, an adaptive control scheme is provided to stabilize the uncertain neutral time-delay systems when the upper bounds on the system uncertainties are not available a priori . Simulations are provided throughout the thesis to support the theoretical result

Delay-Dependent Stability Analysis for Uncertain Switched Time-Delay Systems Using Average Dwell Time

We are concerned with the stability problem for linear discrete-time switched systems with time delays. The problem is solved by using multiple Lyapunov functions to develop constructive tools for the exponential stability analysis of the switched timedelay system. Furthermore, the uncertainties of the switched systems are also taken into consideration. Sufficient delay-dependent conditions are derived in terms of the average dwell time for the exponential stability based on linear matrix inequalities (LMIs). Finally, numerical examples are provided to illustrate the effectiveness of the proposed method

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

New Exponential Stability Conditions of Switched BAM Neural Networks with Delays

The exponential stability problem is considered in this paper for discrete-time switched BAM neural networks with time delay. The average dwell time method is introduced to deal with the exponential stability analysis of the systems for the first time. By constructing a new switching-dependent Lyapunov-Krasovskii functional, some new delay-dependent criteria are developed, which guarantee the exponential stability. A numerical example is provided to demonstrate the potential and effectiveness of the proposed algorithms

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

Robust Fault Detection of Switched Linear Systems with State Delays

This correspondence deals with the problem of robust fault detection for discrete-time switched systems with state delays under an arbitrary switching signal. The fault detection filter is used as the residual generator, in which the filter parameters are dependent on the system mode. Attention is focused on designing the robust fault detection filter such that, for unknown inputs, control inputs, and model uncertainties, the estimation error between the residuals and faults is minimized. The problem of robust fault detection is converted into an H infin-filtering problem. By a switched Lyapunov functional approach, a sufficient condition for the solvability of this problem is established in terms of linear matrix inequalities. A numerical example is provided to demonstrate the effectiveness of the proposed method

Feedback stabilization of dynamical systems with switched delays

We analyze a classification of two main families of controllers that are of interest when the feedback loop is subject to switching propagation delays due to routing via a wireless multi-hop communication network. We show that we can cast this problem as a subclass of classical switching systems, which is a non-trivial generalization of classical LTI systems with timevarying delays. We consider both cases where delay-dependent and delay independent controllers are used, and show that both can be modeled as switching systems with unconstrained switchings. We provide NP-hardness results for the stability verification problem, and propose a general methodology for approximate stability analysis with arbitrary precision. We finally give evidence that non-trivial design problems arise for which new algorithmic methods are needed