39 citations · 42 across the 5 of their papers we have counts for
8 papers · 1 filter
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…
Data-Driven Superstabilization of Linear Systems under Quantization
Jared Miller, Jian Zheng, Mario Sznaier +1
This paper focuses on the stabilization and regulation of linear systems affected by quantization in state-transition data and actuated input. The observed data are composed of tup…
Peak Estimation of Time Delay Systems using Occupation Measures
Jared Miller, Milan Korda, Victor Magron +1
This work proposes a method to compute the maximum value obtained by a state function along trajectories of a Delay Differential Equation (DDE). An example of this task is finding…
Data-Driven Control of Positive Linear Systems using Linear Programming
Jared Miller, Tianyu Dai, Mario Sznaier +1
This paper presents a linear-programming based algorithm to perform data-driven stabilizing control of linear positive systems. A set of state-input-transition observations is coll…
Peak Estimation of Hybrid Systems with Convex Optimization
Jared Miller, Mario Sznaier
Peak estimation of hybrid systems aims to upper bound extreme values of a state function along trajectories, where this state function could be different in each subsystem. This fi…