4 citations · 16 across the 29 of their papers we have counts for
9 papers · 1 filter
Supervised Learning for Stochastic Optimal Control
Vince Kurtz, Joel W. Burdick
Supervised machine learning is powerful. In recent years, it has enabled massive breakthroughs in computer vision and natural language processing. But leveraging these advances for…
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…
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…
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic
Vince Kurtz, Hai Lin
The state-of-the-art in optimal control from timed temporal logic specifications, including Metric Temporal Logic (MTL) and Signal Temporal Logic (STL), is based on Mixed-Integer C…
Active Perception and Control from PrSTL Specifications
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Next-generation intelligent systems must plan and execute complex tasks with imperfect information about their environment. As a result, plans must also include actions to learn ab…
Automatic Trajectory Synthesis for Real-Time Temporal Logic
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through contro…
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control
Yann Gilpin, Vince Kurtz, Hai Lin
Recent years have seen an increasing use of Signal Temporal Logic (STL) as a formal specification language for symbolic control, due to its expressiveness and closeness to natural…
Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances
Vince Kurtz, Patrick M. Wensing, Hai Lin
Approximate simulation, an extension of simulation relations from formal methods to continuous systems, is a powerful tool for hierarchical control of complex systems. Finding an a…
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…