1 code implementation • 13 Apr 2022 • Vince Kurtz, Hai Lin
Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems.
no code implementations • 4 Mar 2022 • Zihao Song, Vince Kurtz, Shirantha Welikala, Panos J. Antsaklis, Hai Lin
First, a lower-dimensional linear system (abstraction) and an associated interface are designed to enable the output of the PWA system (concrete system) to track the output of the abstraction.
no code implementations • 2 Dec 2021 • 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 Convex Programming (MICP).
no code implementations • 3 Nov 2021 • Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
This work combines symbolic control with active perception to achieve complex tasks in a partially observed and noisy control system with hybrid dynamics.
no code implementations • 23 Sep 2019 • Vince Kurtz, Hai Lin
We propose general Gaussian Processes as a non-parametric model for correlated measurement noise that is flexible enough to accurately reflect correlation in time, yet simple enough to enable efficient computation.