4 citations · 16 across the 29 of their papers we have counts for
4 papers · 1 filter
Kalman Filtering with Gaussian Processes Measurement Noise
Vince Kurtz, Hai Lin
Real-world measurement noise in applications like robotics is often correlated in time, but we typically assume i.i.d. Gaussian noise for filtering. We propose general Gaussian Pro…
Formal Connections between Template and Anchor Models via Approximate Simulation
Vince Kurtz, Rafael Rodrigues da Silva, Patrick M. Wensing +1
Reduced-order template models like the Linear Inverted Pendulum (LIP) and Spring-Loaded Inverted Pendulum (SLIP) are widely used tools for controlling high-dimensional humanoid rob…
Active Perception and Control from Temporal Logic Specifications
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Next-generation autonomous systems must execute complex tasks in uncertain environments. Active perception, where an autonomous agent selects actions to increase knowledge about th…
Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis
Vince Kurtz, Hai Lin
In recent years, Signal Temporal Logic (STL) has gained traction as a practical and expressive means of encoding control objectives for robotic and cyber-physical systems. The stat…