Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

Input to State Stability and Allied System Properties Page 1 ISSN 0005-1179, Automation and
Remote Control, 2011, Vol. 72, No. 8, pp. 1579–1614. © Pleiades Publishing, Ltd., 2011 …

Partial differential equations (PDEs) are the most elegant way to model the dynamics of not
only much of the physical world around us but, increasingly, many of the social systems we …

In this technical note, the problem of stability for a class of slowly switched systems is
investigated. By develo** a novel multiple discontinuous Lyapunov function approach and …

This paper concerns the asynchronously switched control problem for a class of switched
linear systems with average dwell time (ADT) in both continuous-time and discrete-time …

This paper first investigates the stability and l_2-gain problems for a class of discrete-time
switched systems with average dwell time (ADT) switching by allowing the Lyapunov-like …

In this paper, the input-to-state stability (ISS), integral-ISS (iISS) and stochastic-ISS (SISS)
are investigated for impulsive stochastic delayed systems. By means of the Lyapunov …

This paper investigates input-to-state stability (ISS) and integral input-to-state stability (iISS)
of impulsive and switching hybrid systems with time-delay, using the method of multiple …

Multiple Lyapunov functions (MLFs)-based small-gain theorems are presented for switched
interconnected nonlinear systems with unstable subsystems, which extend the small-gain …

This paper focuses on the sliding mode control (SMC) problem of interval type-2 (IT2) fuzzy
systems subject to the unmeasurable state and cyberattacks. A key issue is how to design a …