2 papers
cs.RO2025
Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
Evanns Morales-Cuadrado, Luke Baird, Yorai Wardi +1
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. Th…
eess.SY2023
Interval Signal Temporal Logic from Natural Inclusion Functions
Luke Baird, Akash Harapanahalli, Samuel Coogan
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…