45 citations · 205 across the 65 of their papers we have counts for
5 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…
Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration
Wei Zheng, Hai Lin
Human-robot collaboration (HRC) has emerged as a hot research area at the intersection of control, robotics, and psychology in recent years. It is of critical importance to obtain…