This paper investigates the mean-square stability of uncertain time-delay stochastic systems driven by G-Brownian motion, which are commonly referred to as G-SDDEs. To derive a new set sufficient conditions, we employ linear matrix inequality (LMI) method and construct Lyapunov–Krasovskii function under constraint uncertainty bounds. The resulting condition does not require any specific assumpt...

This paper proposes an LMI-based algorithm for abstracting dynamical systems by timed automata, which enables automatic formal verification of linear systems. The proposed abstraction is based on partitioning the state space of the system using positive invariant sets, generated by Lyapunov functions. This partitioning ensures that the vector field of the dynamical system is transversal to all ...

This paper proposes an LMI-based algorithm for abstracting dynamical systems by timed automata, which enables automatic formal verification of linear systems. The proposed abstraction is based on partitioning the state space of the system using positive invariant sets, generated by Lyapunov functions. This partitioning ensures that the vector field of the dynamical system is transversal to all ...

In this paper, we investigate the delay-dependent robust stability of fuzzy Cohen-Grossberg neural networks with Markovian jumping parameter and mixed time varying delays by delay decomposition method. A new Lyapunov-Krasovskii functional (LKF) is constructed by nonuniformly dividing discrete delay interval into multiple subinterval, and choosing proper functionals with different weighting matr...

This paper is concerned with the problems of H∞ static output feedback (SOF) control synthesis for discretetime systems. New linear matrix inequality (LMI) characterizations are derived, which enable one SOF controller by using parameter-dependent Lyapunov function. The relationship between the proposed methods include and the existing ones are clarified, which shows that our new results includ...

This paper addresses the fault detection problem based on H∞ performance and L2-gain performance. Two improved approaches compared with the recent results (Wang et al., 2005, Ding et al., 2000) are presented. One uses the inverse transfer function and state space representation to consider the H∞ performance. The other uses dilated matrix formulation to handle different Lyapunov matrices based ...

Problems of stability and H∞ control for discrete-time T-S fuzzy systems with state delay and uncertainties are discussed. A new delay-dependent stability criterion is first proposed by defining an appropriate Lyapunov function. Then, the sufficient conditions for the existence of H∞ fuzzy state-feedback controller is investigated in terms of linear matrix inequality(LMI). Finally, an iterative...

This paper considers the dynamic output feedback controller design problem for decentralized GCS(guaranteed cost stabilization) of large-scale systems with time delays in subsystem interconnections and nonlinear uncertainties. Based on the Lyapunov method, an LMI (linear matrix inequality) convex optimization problem is formulated to find the controller which guarantees the asymptotic stability...

The problem of guaranteed cost control is investigated for a class discrete-time saturated switched systems. The purpose to design the law and state feedback such that closed-loop system asymptotically stable upper-bound function minimized. Based on multiple Lyapunov functions approach, some sufficient conditions existence controllers are obtained. Furthermore, conv...

In this paper, we examine the problem of the stability analysis for linear delay-differential systems. Using Lyapunov method, we present sufficient conditions for the stability of the systems in terms of linear matrix inequality (LMI) Based on the Lyapunov– Krasovskii functional techniques which can be easily solved by using YALMIP Tool box. Numerical examples are given to illustrate our results.