Estimates on the domain of validity for Lyapunov-Schmidt reduction
Lyapunov-Schmidt reduction is a dimensionality reduction technique in nonlinear systems analysis that is commonly utilised in the study of bifurcation problems in high-dimensional systems. The method is a systematic procedure for reducing the dimensionality of systems of algebraic equations that have singular points, preserving essential features of their solution sets. In this article, we establish estimates for the region of validity of the reduction by leveraging recently derived bounds on the Implicit Function Theorem. We then apply these bounds to an illustrative example of a two-dimensional system with a pitchfork bifurcation.
Code (0)
등록된 구현이 없습니다.
Tasks
Dimensionality ReductionSimilar Papers 제목 키워드 기반
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
In this paper we employ SMT solvers to soundly synthesise Lyapunov functions that assert the stability of a given dynamical model. The search for a Lyapunov function is framed as the satisfiability of a second-order logi…
Estimates for solutions of homogeneous time-delay systems: Comparison of Lyapunov-Krasovskii and Lyapunov-Razumikhin techniques
In this contribution, the estimates for the response of time delay systems with nonlinear homogeneous right-hand side of degree strictly greater than one are constructed. The existing results obtained via the Lyapunov--R…
Beyond ReLU: Bifurcation, Oversmoothing, and Topological Priors
Graph Neural Networks (GNNs) learn node representations through iterative network-based message-passing. While powerful, deep GNNs suffer from oversmoothing, where node features converge to a homogeneous, non-informative…
RISE-SLAM: A Resource-aware Inverse Schmidt Estimator for SLAM
In this paper, we present the RISE-SLAM algorithm for performing visual-inertial simultaneous localization and mapping (SLAM), while improving estimation consistency. Specifically, in order to achieve real-time operation…
Computational EfficiencySimultaneous Localization and MappingPhysics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
We provide a systematic investigation of using physics-informed neural networks to compute Lyapunov functions. We encode Lyapunov conditions as a partial differential equation (PDE) and use this for training neural netwo…