Abstract-- We consider arbitrarily many interconnected integral Input-to-State Stable (iISS) systems in an arbitrary interconnection topology and provide an (i)ISS comparison princ...
— This paper presents linear matrix inequalities for stability analysis for networked control systems (NCSs) that incorporates various network phenomena: time-varying sampling in...
Laurentiu Hetel, Marieke B. G. Cloosterman, Nathan...
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
— Lyapunov methods and density functions provide dual characterizations of the solutions of a nonlinear dynamic system. This work exploits the idea of combining both techniques, ...