相关论文: Estimates on the domain of validity for Lyapunov-S…

Local bifurcation analysis plays a central role in understanding qualitative transitions in networked nonlinear dynamical systems, including dynamic neural network and opinion dynamics models. In this article we establish explicit bounds of…

We analyze, mainly using bifurcation methods, an elliptic superlinear problem in one-dimension with periodic boundary conditions. One of the main novelties is that we follow for the first time a bifurcation approach, relying on a…

We consider a stochastic partial differential equation close to bifurcation of pitchfork type, where a one-dimensional space changes its stability. For finite-time Lyapunov exponents we characterize regions depending on the distance from…

Lyapunov's indirect method is an attractive method for analyzing stability of non-linear systems since only the stability of the corresponding linearized system needs to be determined. Unfortunately, the proof for finite-dimensional systems…

Systems with predetermined Lyapunov functions play an important role in many areas of applied mathematics, physics and engineering: dynamic optimization methods (objective functions and their modifications), machine learning (loss…

By means of a linear scaling of the variables we convert a singular bifurcation equation in $\R^n$ into an equivalent equation to which the classical implicit function theorem can be directly applied. This allows to deduce the existence of…

This is a survey about the application of the Ljapunov-Schmidt reduction for some critical problems.

Time bounded reachability is a fundamental problem in model checking continuous-time Markov chains (CTMCs) and Markov decision processes (CTMDPs) for specifications in continuous stochastic logics. It can be computed by numerically solving…

A numerical method is developed leading to Lyapunov operators to approximate the solution of two-dimensional Boussinesq equation. It consists of an order reduction method and a finite difference discretization. It is proved to be uniquely…

We consider reduction of dimension for nonlinear dynamical systems. We demonstrate that in some cases, one can reduce a nonlinear system of equations into a single equation for one of the state variables, and this can be useful for…

In this paper, locally Lipschitz, regular functions are utilized to identify and remove infeasible directions from set-valued maps that define differential inclusions. The resulting reduced set-valued map is point-wise smaller (in the sense…

While there has been increasing interest in using neural networks to compute Lyapunov functions, verifying that these functions satisfy the Lyapunov conditions and certifying stability regions remain challenging due to the curse of…

Lyapunov functions play a vital role in the context of control theory for nonlinear dynamical systems. Besides its classical use for stability analysis, Lyapunov functions also arise in iterative schemes for computing optimal feedback laws…

This paper investigates the dynamical behavior of periodic solutions for a class of second-order non-autonomous differential equations. First, based on the Lyapunov-Schmidt reduction method for finite-dimensional functions, the…

Coupled-mode systems are used in physical literature to simplify the nonlinear Maxwell and Gross-Pitaevskii equations with a small periodic potential and to approximate localized solutions called gap solitons by analytical expressions…

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 this paper we present an abstraction algorithm that produces a finite bisimulation quotient for an autonomous discrete-time linear system. We assume that the bisimulation quotient is required to preserve the observations over an…

Traditional Lyapunov based transient stability assessment approaches focus on identifying the stability region (SR) of the equilibrium point under study. When trying to estimate this region using Lyapunov functions, the shape of the final…

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…

For general nonlinear mechanical systems, we derive closed-form, reduced-order models up to cubic order based on rigorous invariant manifold results. For conservative systems, the reduction is based on Lyapunov Subcenter Manifold (LSM)…