This paper investigates the robust stability problem of Hopfield neural networks(HNNs) with time-varying delay. Two novel LMI-based delay-dependent robust stability criteria are obtained by constructing appropriate Lyapunov-Krasovskii functional. This new criteria based on the free-weighting matrices approach prove to be less conservativeness, which not only retain any useful terms in the deriv...

In this paper, we consider the problem of robust delay-dependent stability for a class of linear systems with interval time-varying delay and nonlinear perturbations. Less conservative stability criteria is put forward by using Lyapunov-Krasovskii functional approach. Based on delay-central point approach, introducing some free-weighting matrices and using tighter integral inequality for dealin...

This paper is considered with the robust stability problem for linear discretetime systems with polytopic uncertainty and an interval time-varying delay in the state. On the basis of a novel Lyapunov-Krasovskii functional, new delay-range-dependent stability criteria are established by employing the freeweighting matrix approach and a Jensen-type sum inequality. It is shown that the newly propo...

the paper is concerned with robust stability criteria for takagi- sugeno (t-s) fuzzy systems with distributed delays and time delay in the leakage term. by exploiting a model transformation, the system is converted to one of the neutral delay system. global robust stability result is proposed by a new lyapunov-krasovskii functional which takes into account the range of delay and by making use o...

this paper is concerned with the problem of synchronization for complex dynamic networks with state and coupling time-delays. therefore, larger class and more complicated complex dynamic networks can be considered for the synchronization problem. based on the lyapunov-krasovskii functional, a delay-independent criterion is obtained and formulated in the form of linear matrix inequalities (lmis)...

Different approaches for the estimation of the states of linear dynamic systems are commonly used, the most common being the Kalman filter. For nonlinear systems, variants of the Kalman filter are used. Some of these variants include the LKF (linearized Kalman filter), the EKF (extended Kalman filter), and the UKF (unscented Kalman filter). With the LKF and EKF, performance varies depending on ...

Existing focused proof systems for classical and intuitionistic logic allow contraction for exactly those formulas chosen for focus. For proof-search applications, contraction is undesirable, as we risk traversing the same path multiple times. We present here a contraction-free focused sequent calculus for classical propositional logic, called LKFCF, which is a modification of the recently deve...

In this paper, we study the instability of the zero solution to a nonlinear differential equation with variable delay. By using the Lyapunov functional approach, some sufficient conditions for instability of the zero solution are obtained. Keywords—Instability, Lyapunov-Krasovskii functional, delay differential equation, fifth order.

The paper shows that the global exponential stability property is preserved, under suitably fast sampling and small input-delay, whenever the dynamics of the time-delay system at hand and the related stabilizing (in continuous-time) state feedback are described by globally Lipschitz maps. The Halanay’s inequality is used in order to prove this result. Continuous-time, possibly non-affine in the...

The problems of robust stability and stabilization via memoryless state feedback for a class of discrete-time switched singular systems with time-varying delays and linear fractional uncertainties are investigated. By constructing a novel switched Lyapunov–Krasovskii functional, a delay-dependent criterion for the unforced system to be regular, causal and uniformly asymptotically stable is esta...