4 citations · 16 across the 29 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
eess.SY2022
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables
Vince Kurtz, Hai Lin
Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis fo…
eess.SY2022
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances
Zihao Song, Vince Kurtz, Shirantha Welikala +2
Piecewise affine (PWA) systems are widely applied in many practical cases such as the control of nonlinear systems and hybrid dynamics. However, most of the existing PWA control me…
cs.RO2022
Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR
Vince Kurtz, Hai Lin
Contact-implicit trajectory optimization offers an appealing method of automatically generating complex and contact-rich behaviors for robot manipulation and locomotion. The scalab…