Luke Baird
YOU?
Author Swipe
Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method Open
We investigate the performance of a lightweight tracking controller, based on a flow version of the Newton-Raphson method, applied to a miniature blimp and a mid-size quadrotor. This tracking technique has been shown to enjoy theoretical g…
Interval Signal Temporal Logic from Natural Inclusion Functions Open
We propose an interval extension of Signal Temporal Logic (STL) called Interval Signal Temporal Logic (\ISTL). Given an STL formula, we consider an interval inclusion function for each of its predicates. Then, we use minimal inclusion func…