Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees

• URL: http://arxiv.org/abs/2604.05102v1
• Date: Mon, 06 Apr 2026 19:05:51 GMT
• Title: Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees
• Abstract summary: Poincare return maps are a fundamental tool for analyzing periodic orbits in hybrid dynamical systems.<n>We propose an algorithmic framework leveraging sampling-based optimization to compute a finite-step invariant ellipsoid around a nominal periodic orbit.
• Score: 3.312877318136442
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Poincare return maps are a fundamental tool for analyzing periodic orbits in hybrid dynamical systems, including legged locomotion, power electronics, and other cyber-physical systems with switching behavior. The Poincare return map captures the evolution of the hybrid system on a guard surface, reducing the stability analysis of a periodic orbit to that of a discrete-time system. While linearization provides local stability information, assessing robustness to disturbances requires identifying invariant sets of the state space under the return dynamics. However, computing such invariant sets is computationally difficult, especially when system dynamics are only available through forward simulation. In this work, we propose an algorithmic framework leveraging sampling-based optimization to compute a finite-step invariant ellipsoid around a nominal periodic orbit using sampled evaluations of the return map. The resulting solution is accompanied by probabilistic guarantees on finite-step invariance satisfying a user-defined accuracy threshold. We demonstrate the approach on two low-dimensional systems and a compass-gait walking model.

Related papers

• Residual-loss Anomaly Analysis of Physics-Informed Neural Networks: An Inverse Method for Change-point Detection in Nonlinear Dynamical Systems with Regime Switching [10.645192584041162]
  We propose a unified framework for residual-loss anomaly analysis of physics-informed neural networks.<n>This approach jointly infers piecewise parameters and transition points under a single set of constraints.<n>We show that the proposed method outperforms traditional decoupled approaches in both change-point localization and parameter estimation accuracy.
  arXiv  Detail & Related papers  (2026-04-28T13:50:50Z)
• KoopGen: Koopman Generator Networks for Representing and Predicting Dynamical Systems with Continuous Spectra [65.11254608352982]
  We introduce a generator-based neural Koopman framework that models dynamics through a structured, state-dependent representation of Koopman generators.<n>By exploiting the intrinsic Cartesian decomposition into skew-adjoint and self-adjoint components, KoopGen separates conservative transport from irreversible dissipation.
  arXiv  Detail & Related papers  (2026-02-15T06:32:23Z)
• Stable-by-Design Neural Network-Based LPV State-Space Models for System Identification [6.5745172279769255]
  We propose a neural network-based state-space model that simultaneously learns latent states and internal scheduling variables.<n>The state-transition matrix is guaranteed to be stable through a Schur-based parameterization.<n>The proposed NN-SS is evaluated on benchmark nonlinear systems, and the results demonstrate that the model consistently matches or surpasses classical subspace identification methods.
  arXiv  Detail & Related papers  (2025-10-21T10:25:54Z)
• Randomized Space-Time Sampling for Affine Graph Dynamical Systems [3.8379346559198235]
  We consider signals evolving over time according to a linear dynamical system on a graph, where both the initial state and the source term are bandlimited.<n>We introduce two random space-time sampling regimes and analyze the conditions under which stable recovery is achievable.
  arXiv  Detail & Related papers  (2025-09-20T21:43:05Z)
• Learning from Samples: Inverse Problems over measures via Sharpened Fenchel-Young Losses [20.246040671823557]
  We introduce a new class of loss functions, called sharpened Fenchel-Young losses, which measure the sub-optimality gap of the optimization problem over the space of probability measures.<n>We provide explicit stability guarantees for two relevant settings in the context of optimal transport.<n>We present optimization algorithms specifically tailored to efficiently solve iUOT and iJKO problems.
  arXiv  Detail & Related papers  (2025-05-11T21:26:44Z)
• Koopman-Equivariant Gaussian Processes [39.34668284375732]
  We propose a family of Gaussian processes (GP) for dynamical systems with linear time-invariant responses.<n>This linearity allows us to tractably quantify forecasting and representational uncertainty.<n>Experiments demonstrate on-par and often better forecasting performance compared to kernel-based methods for learning dynamical systems.
  arXiv  Detail & Related papers  (2025-02-10T16:35:08Z)
• Invariant Measures for Data-Driven Dynamical System Identification: Analysis and Application [0.0]
  We propose a novel approach for performing dynamical system identification, based upon the comparison of simulated and observed physical invariant measures.<n>We gain robustness against pervasive challenges in system identification including noise, chaos, and slow sampling.
  arXiv  Detail & Related papers  (2025-01-31T23:27:33Z)
• Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics [64.72260320446158]
  We propose a method for synthesising controllers for Markov jump linear systems. Our method is based on a finite-state abstraction that captures both the discrete (mode-jumping) and continuous (stochastic linear) behaviour of the MJLS. We apply our method to multiple realistic benchmark problems, in particular, a temperature control and an aerial vehicle delivery problem.
  arXiv  Detail & Related papers  (2022-12-01T17:36:30Z)
• Numerically Stable Sparse Gaussian Processes via Minimum Separation using Cover Trees [57.67528738886731]
  We study the numerical stability of scalable sparse approximations based on inducing points. For low-dimensional tasks such as geospatial modeling, we propose an automated method for computing inducing points satisfying these conditions.
  arXiv  Detail & Related papers  (2022-10-14T15:20:17Z)
• Structure-Preserving Learning Using Gaussian Processes and Variational Integrators [62.31425348954686]
  We propose the combination of a variational integrator for the nominal dynamics of a mechanical system and learning residual dynamics with Gaussian process regression. We extend our approach to systems with known kinematic constraints and provide formal bounds on the prediction uncertainty.
  arXiv  Detail & Related papers  (2021-12-10T11:09:29Z)
• Random features for adaptive nonlinear control and prediction [15.354147587211031]
  We propose a tractable algorithm for both adaptive control and adaptive prediction. We approximate the unknown dynamics with a finite expansion in $textitrandom$ basis functions. Remarkably, our explicit bounds only depend $textitpolynomially$ on the underlying parameters of the system.
  arXiv  Detail & Related papers  (2021-06-07T13:15:40Z)
• Stability and Identification of Random Asynchronous Linear Time-Invariant Systems [81.02274958043883]
  We show the additional benefits of randomization and asynchrony on the stability of linear dynamical systems. For unknown randomized LTI systems, we propose a systematic identification method to recover the underlying dynamics.
  arXiv  Detail & Related papers  (2020-12-08T02:00:04Z)
• Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects and Dynamics [90.81186513537777]
  We propose a novel compound kernel that captures the control-affine nature of the problem. We show that this resulting optimization problem is convex, and we call it Gaussian Process-based Control Lyapunov Function Second-Order Cone Program (GP-CLF-SOCP)
  arXiv  Detail & Related papers  (2020-11-14T01:27:32Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.