In this paper, we extend the sequent calculus LKF [LM09] into a calculus LK(T ), allowing calls to a decision procedure. We prove cut-elimination of LK(T ).

This paper focuses on the delay-dependent robust stability of linear neutral delay systems. The systems under consideration are described by functional differential equations, with norm bounded time varying nonlinear uncertainties in the “state” and norm bounded time varying quasi-linear uncertainties in the delayed “state” and in the difference operator. The stability analysis is performed via...

In this study, delay-dependent robust stability problem is investigated for uncertain neutral systems with discrete and distributed delays. By constructing an augmented Lyapunov-Krasovskii functional involving triple integral terms and taking into account the relationships between the different delays, new less conservative stability and robust stability criteria are established first using the...

This paper is concerned with the problem of exponential stability for a class of stochastic neural networks with Markovian switching and mode-dependent interval time-varying delays. A novel Lyapunov-Krasovskii functional is introduced with the idea of delay-partitioning, and a new exponential stability criterion is derived based on the new functional and free-weighting matrix method. This new c...

This paper investigates the global asymptotical stability problems for delayed neural networks. By introducing some triple integral terms in the constructing of the Lyapunov-Krasovskii functional, combined with the inequality analysis, a new asymptotical stability condition in terms of linear matrix inequalities are proposed, Finally, numerical example is given to demonstrate the effectiveness ...

We use a Lyapunov-Krasovskii functional approach to establish the exponential stability of linear systems with time-varying delay. Our delay-dependent condition allows to compute simultaneously the two bounds that characterize the exponential stability rate of the solution. A simple procedure for constructing switching rule is also presented. Mathematics Subject Classification 2000: 34K20, 93C1...

This paper proposes a new consensus criterion for nonlinear complex systems with edge betweenness centrality measure. By construction of a suitable Lyapunov-Krasovskii functional, the consensus criterion for such systems is established in terms of linear matrix inequalities (LMIs) which can be easily solved by various effective optimization algorithms. One numerical example is given to illustra...

This paper studies the problems of global exponential robust stability of high-order hopfield neural networks with time-varying delays. By employing a new Lyapunov-Krasovskii functional and linear matrix inequality, some criteria of global exponential robust stability for the high-order neural networks are established, which are easily verifiable and have a wider adaptive.

In this paper, we study the complete synchronization of a class of time-varying delayed coupled chaotic systems using feedback control. In terms of Linear Matrix Inequalities, a sufficient condition is obtained through using a Lyapunov-Krasovskii functional and differential equation inequalities. The conditions can be easily verified and implemented. We present two simulation examples to illust...

This paper is concerned with the stability analysis problem of bidirectional associative memory neural networks with time-varying delays and leakage delays. A new sufficient stability criterion is derived for the addressed system in terms of linear matrix inequalities by constructing a Lyapunov-Krasovskii functional and employing delay decomposition approach. Finally, the effectiveness of deriv...