11 papers
Safe, Real-Time Active Model Discrimination and Fault Diagnosis for Nonlinear Systems via Differentiable Reachability
Xinpei Ni, Melkior Ornik, Glen Chou +1
We present a safe, real-time algorithm for active fault diagnosis and model discrimination for uncertain continuous-time nonlinear systems with process and measurement disturbances…
PolyMerge: Compressing 3D Gaussian Splats with Polytope Coverings for Provably Safe Resource-Constrained Navigation
Jihoon Hong, Chih-Yuan Chiu, Sara Fridovich-Keil +1
Obstacle avoidance is essential for safe navigation and motion planning. Recent radiance field reconstruction methods enable object detection and modeling with high fidelity, but r…
Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
Liqian Ma, Zishun Liu, Glen Chou +1
We study feedback motion planning for continuous-time stochastic nonlinear systems under signal temporal logic (STL) specifications. We propose a framework that synthesizes control…
Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
Brendan Gould, Chih-Yuan Chiu, Antoine P. Leeman +3
We study the set of solutions to a parameterized, strongly convex optimization problem whose cost depends on uncertain, bounded parameters. We compute a certified outer approximati…
VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis
Antoine P. Leeman, Shuyu Zhan, Melanie N. Zeilinger +1
We propose VISION-SLS, a method for nonlinear output-feedback control from high-resolution RGB images which provides robust constraint satisfaction guarantees under calibrated unce…
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
Saurabh Bagchi, Hyunseung Kim, Tarek Abdelzaher +20
Resilience in cyber-physical systems (CPS) is the fundamental ability to maintain safety and critical functionality despite adverse "perturbations," which includes security attacks…