Stability Analysis of Continuous-Time Switched Systems with a Random Switching Signal

This paper is concerned with the stability analysis of continuous-time switched systems with a random switching signal. The switching signal manifests its characteristics with that the dwell time in each subsystem consists of a fixed part and a random part. The stochastic stability of such switched systems is studied using a Lyapunov approach. A necessary and sufficient condition is established in terms of linear matrix inequalities. The effect of the random switching signal on system stability is illustrated by a numerical example and the results coincide with our intuition.Comment: 6 pages, 6 figures, accepted by IEEE-TA

Stability Optimization of Positive Semi-Markov Jump Linear Systems via Convex Optimization

In this paper, we study the problem of optimizing the stability of positive semi-Markov jump linear systems. We specifically consider the problem of tuning the coefficients of the system matrices for maximizing the exponential decay rate of the system under a budget-constraint. By using a result from the matrix theory on the log-log convexity of the spectral radius of nonnegative matrices, we show that the stability optimization problem reduces to a convex optimization problem under certain regularity conditions on the system matrices and the cost function. We illustrate the validity and effectiveness of the proposed results by using an example from the population biology

Novel Stabilization Conditions for Uncertain Singular Systems with Time-Varying Delay

The problem of delay-dependent robust stabilization for continuously singular time-varying delay systems with norm-bounded uncertainties is investigated in this paper. First, based on some mathematical transform, the uncertain singular system is described in a form which involves the time-delay integral items. Then, in terms of the delay-range-dependent Lyapunov functional and the LMI technique, the improved delay-dependent LMIs-based conditions are established for the uncertain singular systems with time-varying delay to be regular, causal, and stable. Furthermore, by solving these LMIs, an explicit expression for the desired state feedback control law can be obtained; thus, the regularity, causality, and stability of the closed-loop system are guaranteed. In the end, numerical examples are given to illustrate the effectiveness of the proposed methods

Finite-Time Boundedness of Markov Jump System with Piecewise-Constant Transition Probabilities via Dynamic Output Feedback Control

This paper first investigates the problem of finite-time boundedness of Markovian jump system with piecewise-constant transition probabilities via dynamic output feedback control, which leads to both stochastic jumps and deterministic switches. Based on stochastic Lyapunov functional, the concept of finite-time boundedness, average dwell time, and the coupling relationship among time delays, several sufficient conditions are established for finite-time boundedness and H∞ filtering finite-time boundedness. The system trajectory stays within a prescribed bound. Finally, an example is given to illustrate the efficiency of the proposed method

Stability Analysis of Hybrid Jump Linear Systems With Markov Inputs

In the past two decades, the number of applications that make use of supervisory algorithms to control complex continuous-time or discrete-time systems has increased steadily. Typical examples include air traffic management, digital control systems over networks, and flexible manufacturing systems. A common feature of these applications is the intermixing of the continuous dynamics of the controlled plant with the logical and discrete dynamics of the supervising algorithms. These so-called hybrid systems are the focus of much ongoing research. To improve the performance of these systems, it is important to analyze the interactions between the supervising algorithms and the plant. Few papers have studied this interaction when the plant is represented by a discrete-time system. Thus, this dissertation fixes this deficiency by addressing the following three main objectives: to introduce a new modeling framework for discrete-time stochastic hybrid systems suitable for stability analysis; to derive testable stability conditions for these models; and to demonstrate that these models are suitable to study real-world applications. To achieve the first objective, the Hybrid Jump Linear System model is introduced. Although it has many of the same modeling capabilities as other formalisms in the literature (e.g., Discrete Stochastic Hybrid Automata), it possesses the unique advantage of representing the dynamics of both the controlled plant and the supervising algorithm in the same analytical framework: stochastic difference equations. This enables the study of their joint properties such as, for example, mean square stability. The second objective is addressed by developing a collection of testable sufficient mean square stability conditions. These tests are developed by applying, successively, switched systems\u27 techniques, singular value analysis, a second moment lifting technique, and Mark off kernel methods. The final objective is achieved by developing a hybrid jump linear system model of an AFTI-F16 flight controller deployed on a fault tolerant computer with rollback and cold-restart capabilities, and analyzing its stability properties