For nonlinear input systems of general form, we prove that bounded-input bounded-state stability is equivalent to the existence of a time-dependent Liapunov function which is not necessarily continuous.

This paper is concerned with the stability of nonlinear Lipschitz systems subject to bounded process and measurement noises when transmission from sensor to controller is subject to distortion due to quantization. A stabilizing technique and a sufficient condition relating transmission rate to Lipschitz coefficients are presented for almost sure asymptotic bounded stability of nonlinear uncerta...

We consider stability properties of discrete-time bilinear lters. Simple su cient conditions are given for bounded-input bounded-output stability (with not necessarily zero initial conditions), lp stability, and three other important types of stability. In particular, conditions are given under which asymptotically periodic inputs produce asymptotically periodic outputs with the same period. Re...

In this paper, the problem of delay dependent robust asymptotically stable for uncertain linear time-variant system with multiple delays is investigated. A new delay-dependent stability sufficient condition is given by using the Lyapunov method, linear matrix inequality (LMI), parameterized first-order model transformation technique and transformation of the interval uncertainty in to the norm ...

A mathematical model describing the dynamics  of a  delayed  stage structure prey - predator  system  with  prey  refuge  is  considered.  The  existence,  uniqueness  and bounded- ness  of  the  solution  are  discussed.    All  the  feasibl e  equilibrium  points  are determined.  The   stability  analysis  of  them  are  investigated.  By  employ ing  the time delay as the bifurcation parame...

This paper considers the problem of adaptive output feedback tracking control for a class of nonstrict-feedback nonlinear systems with unknown time-varying delays and unknown backlash-like hysteresis. Fuzzy logic systems are used to estimate the unknown nonlinear functions. Based on the Lyapunov–Krasovskii method, the control scheme is constructed by using the backstepping and adaptive techniqu...

Incremental SAT solving under assumptions, introduced in Minisat, is in wide use. However, Minisat’s algorithm for incremental SAT solving under assumptions has two main drawbacks which hinder performance considerably. First, it is not compliant with the highly effective and commonly used preprocessor SatELite. Second, all the assumptions are left in the formula, rather than being represented a...

For the trajectory tracking problem of nth-order uncertain nonlinear systems with sensor faults, a fuzzy controller based on command filtered and event-triggered technology is designed to improve error system. Concurrently, fault-tolerant control scheme introduced effectively solve sudden output failure. Additionally, proposed can also greatly avoid complexity explosion derivations virtual laws...