6 papers
Robust-Sub-Gaussian Model Predictive Control for Safe Ultrasound-Image-Guided Robotic Spinal Surgery
Yunke Ao, Manish Prajapat, Yarden As +6
Safety-critical control using high-dimensional sensory feedback from optical data (e.g., images, point clouds) poses significant challenges in domains like autonomous driving and r…
SonoGym: High Performance Simulation for Challenging Surgical Tasks with Robotic Ultrasound
Yunke Ao, Masoud Moghani, Mayank Mittal +6
Ultrasound (US) is a widely used medical imaging modality due to its real-time capabilities, non-invasive nature, and cost-effectiveness. Robotic ultrasound can further enhance its…
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
Manish Prajapat, Johannes Köhler, Amon Lahr +2
Gaussian Process (GP) regression is shown to be effective for learning unknown dynamics, enabling efficient and safety-aware control strategies across diverse applications. However…
Performance-driven Constrained Optimal Auto-Tuner for MPC
Albert Gassol Puigjaner, Manish Prajapat, Andrea Carron +2
A key challenge in tuning Model Predictive Control (MPC) cost function parameters is to ensure that the system performance stays consistently above a certain threshold. To address…
Stochastic Model Predictive Control for Sub-Gaussian Noise
Yunke Ao, Johannes Köhler, Manish Prajapat +4
We propose a stochastic Model Predictive Control (MPC) framework that ensures closed-loop chance constraint satisfaction for linear systems with general sub-Gaussian process and me…
Towards safe and tractable Gaussian process-based MPC: Efficient sampling within a sequential quadratic programming framework
Manish Prajapat, Amon Lahr, Johannes Köhler +2
Learning uncertain dynamics models using Gaussian process~(GP) regression has been demonstrated to enable high-performance and safety-aware control strategies for challenging real-…