Related papers: Construction of Lyapunov Functions Using Vector Fi…
A coupled computational approach to simultaneously learn a vector field and the region of attraction of an equilibrium point from generated trajectories of the system is proposed. The nonlinear identification leverages the local stability…
In this paper we study connections between structured storage or Lyapunov functions of a class of interconnected systems (dynamical networks) and dissipativity properties of the individual systems. We prove that if a dynamical network,…
In this article, we provide a general strategy based on Lyapunov functionals to analyse global asymptotic stability of linear infinite-dimensional systems subject to nonlinear dampings under the assumption that the origin of the system is…
This work proposes a new formulation to the long-standing problem of convex decomposition through learning feature fields, enabling the first feed-forward model for open-world convex decomposition. Our method produces high-quality…
A new Small-Gain Theorem is presented for general nonlinear control systems. The novelty of this research work is that vector Lyapunov functions and functionals are utilized to derive various input-to-output stability and input-to-state…
Lyapunov's theorem is a classical result in convex analysis, concerning the convexity of the range of nonatomic measures. Given a family of integrable vector functions on a compact set, this theorem allows to prove the equivalence between…
A novel method for stability and instability study of autonomous dynamical systems using the flow and divergence of the vector field is proposed. A relation between the method of Lyapunov functions and the proposed method is established.…
Computer assisted procedures of Lyapunov functions defined in given neighborhoods of fixed points for flows and maps are discussed. We provide a systematic methodology for constructing explicit ranges where quadratic Lyapunov functions…
In this paper, we address the problem of discovering maximal Lyapunov functions, as a means of determining the region of attraction of a dynamical system. To this end, we design a novel neural network architecture, which we prove to be a…
In this paper we propose a method for the approximation of high-dimensional functions over finite intervals with respect to complete orthonormal systems of polynomials. An important tool for this is the multivariate classical analysis of…
In the present paper we study selfdecomposability of random fields, as defined directly rather than in terms of finite-dimensional distributions. The main tools in our analysis are the master L\'evy measure and the associated L\'evy-It\^o…
A divergence-free horizontal vector current in Heisenberg space may be viewed as an element of the dual space of horizontal test vector fields. By applying a horizontal Liouville theorem in this setting, the flow lines of such a vector…
Estimating the Region of Attraction (RoA) for nonlinear dynamical systems is a fundamental problem in control theory, with direct implications for stability analysis and safe controller design. Traditional approaches rely on analytically…
In this paper, we study the construction of Lyapunov functions based on first order approximations. In a first part, the study of local exponential stability property of a transverse invariant manifold is considered. This part is mainly a…
This paper introduces the concept of parameter-dependent (PD) control Lyapunov functions (CLFs) for gain-scheduled stabilization of nonlinear parameter-varying (NPV) systems. It shows that given a PD-CLF, a min-norm control law can be…
In this paper, we develop a comprehensive framework to estimate regions of attraction of equilibria for dynamics associated with general vector fields. This framework combines Koopman operator-based methods with rigorous validation…
This paper considers discontinuous dynamical systems, i.e., systems whose associated vector field is a discontinuous function of the state. Discontinuous dynamical systems arise in a large number of applications, including optimal control,…
We investigate the formal synthesis of global polynomial Lyapunov functions for polynomial vector fields. We establish that a sign-definite polynomial must satisfy specific algebraic constraints, which we leverage to develop a set of…
We present a new approach for constructing polytope Lyapunov functions for continuous-time linear switching systems (LSS). This allows us to decide the stability of LSS and to compute the Lyapunov exponent with a good precision in…
In the stability theory of dynamical systems, Lyapunov functions play a fundamental role. In this paper, we study the attractor-repeller pair decomposition and Morse decomposition for compact metric space in the random setting. In contrast…