4 papers · 1 filter
Joint Chance Constrained Safe-Optimal Control
Niklas Schmid, Jared Miller, Tristan Zeller +3
We consider the finite-time optimal control of stochastic systems subject to a probabilistic constraint on the trajectories' safety. Such formulations are known as joint chance con…
Structure, Analysis, and Synthesis of First-Order Algorithms
Jared Miller, Carsten Scherer, Fabian Jakob +1
Optimization algorithms can be interpreted through the lens of dynamical systems as the interconnection of linear systems and a set of subgradient nonlinearities. This dynamical sy…
Peak Time-Windowed Risk Estimation of Stochastic Processes
Jared Miller, Niklas Schmid, Matteo Tacchi +2
This paper develops a method to upper-bound extreme-values of time-windowed risks for stochastic processes. Examples of such risks include the maximum average or 90% quantile of th…
Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions
Didier Henrion, Jared Miller, Mohab Safey El Din
Two subsets of a given set are path-disconnected if they lie in different connected components of the larger set. Verification of path-disconnectedness is essential in proving the…