Related papers: Constraining safe and unsafe overshoots in saddle-…
Finite-size scaling is a key tool in statistical physics, used to infer critical behavior in finite systems. Here we use the analogous concept of finite-time scaling to describe the bifurcation diagram at finite times in discrete dynamical…
The saddle-node bifurcation is the simplest example of a generic bifurcation in smooth ordinary differential equations, and is associated with the creation or destruction of a pair of equilibria. In this paper we examine the unfolding of…
This paper studies finite-time safety and reach-avoid verification for stochastic discrete-time dynamical systems. The aim is to ascertain lower and upper bounds of the probability that, within a predefined finite-time horizon, a system…
In natural resource management, or more generally in the study of sustainability issues, often the objective is to maintain the state of a given system within a desirable configuration, typically established in terms of standards or…
Nonsmooth formulations of physical models are common, particularly in climate modeling. However, in many of these models, there is little justification for this modeling choice, and no mathematical indication that the resulting behavior in…
We consider a slow passage through a point of loss of stability. If the passage is sufficiently slow, the dynamics are controlled by additive random disturbances, even if they are extremely small. We derive expressions for the `exit value'…
Sampled-data analysis and harmonic balance analysis are applied to analyze switching DC-DC converters under constant on-time control. Design-oriented boundary conditions for the period-doubling bifurcation and the saddle-node bifurcation…
This paper presents an approach to deal with safety of dynamical systems in presence of multiple non-convex unsafe sets. While optimal control and model predictive control strategies can be employed in these scenarios, they suffer from high…
In this paper we describe a combined combinatorial/numerical approach to studying equilibria and bifurcations in network models arising in Systems Biology. ODE models of the dynamics suffer from high dimensional parameters which presents a…
For many physical systems the transition from a stationary solution to sustained small amplitude oscillations corresponds to a Hopf bifurcation. For systems involving impacts, thresholds, switches, or other abrupt events, however, this…
We address the problem of safely learning controlled stochastic dynamics from discrete-time trajectory observations, ensuring system trajectories remain within predefined safe regions during both training and deployment. Safety-critical…
In recent years, advanced model-based and data-driven control methods are unlocking the potential of complex robotics systems, and we can expect this trend to continue at an exponential rate in the near future. However, ensuring safety with…
Motivated by a stochastic differential equation describing the dynamics of interfaces, we study the bifurcation behavior of a more general class of such equations. These equations are characterized by a 2-dimensional phase space (describing…
In this paper, we propose a method for bounding the probability that a stochastic differential equation (SDE) system violates a safety specification over the infinite time horizon. SDEs are mathematical models of stochastic processes that…
In chemical reactions, trajectories typically turn from reactants to products when crossing a dividing surface close to the normally hyperbolic invariant manifold (NHIM) given by the intersection of the stable and unstable manifolds of a…
We investigate the interplay between disorder and superconducting pairing for a one-dimensional $p$-wave superconductor subject to slowly varying incommensurate potentials with mobility edges. With amplitude increments of the incommensurate…
Concave in measure and d-concave in measure nonautonomous scalar ordinary differential equations given by coercive and time-compactible maps have similar properties to equations satisfying considerably more restrictive hypotheses. This…
We study the effect of external forcing on the saddle-node bifurcation pattern of interval maps. By replacing fixed points of unperturbed maps by invariant graphs, we obtain direct analogues to the classical result both for random forcing…
In this report, we consider a semi-infinite discrete nonlinear Schr\"odinger equation driven at one edge by a driving force. The equation models the dynamics of coupled waveguide arrays. When the frequency of the forcing is in the…
Given a stochastic dynamical system modelled via stochastic differential equations (SDEs), we evaluate the safety of the system through characterizations of its exit time moments. We lift the (possibly nonlinear) dynamics into the space of…