3 papers
math.OC2026
Free Final Time Adaptive Mesh Covariance Steering via Sequential Convex Programming
Joshua Pilipovsky
In this paper we develop a sequential convex programming (SCP) framework for free-final-time covariance steering of nonlinear stochastic differential equations (SDEs) subject to bo…
eess.SY2026
DUST: A Framework for Data-Driven Density Steering
Joshua Pilipovsky, Panagiotis Tsiotras
We consider the problem of data-driven stochastic optimal control of an unknown LTI dynamical system. Assuming the process noise is normally distributed, we pose the problem of ste…
cs.LG2024
SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Vignesh Sivaramakrishnan, Krishna C. Kalagarla, Rosalyn Devonport +3
We present a neural network verification toolbox to 1) assess the probability of satisfaction of a constraint, and 2) synthesize a set expansion factor to achieve the probability o…