4 papers · 1 filter
STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization
Hongrui Zheng, Zirui Zang, Ahmad Amine +2
Signal Temporal Logic (STL) enables formal specification of complex spatiotemporal constraints for robotic task planning. However, synthesizing long-horizon continuous control traj…
Nonplanar Model Predictive Control for Autonomous Vehicles with Recursive Sparse Gaussian Process Dynamics
Ahmad Amine, Kabir Puri, Viet-Anh Le +1
This paper proposes a nonplanar model predictive control (MPC) framework for autonomous vehicles operating on nonplanar terrain. To approximate complex vehicle dynamics in such env…
SIT-LMPC: Safe Information-Theoretic Learning Model Predictive Control for Iterative Tasks
Zirui Zang, Ahmad Amine, Nick-Marios T. Kokolakis +3
Robots executing iterative tasks in complex, uncertain environments require control strategies that balance robustness, safety, and high performance. This paper introduces a safe i…
PoseINN: Realtime Visual-based Pose Regression and Localization with Invertible Neural Networks
Zirui Zang, Ahmad Amine, Rahul Mangharam
Estimating ego-pose from cameras is an important problem in robotics with applications ranging from mobile robotics to augmented reality. While SOTA models are becoming increasingl…