1 citations · 1 across the 4 of their papers we have counts for
4 papers
Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
Roland Ilyes, Lara Brudermüller, Nick Hawes +1
Signal Temporal Logic (STL) robustness is a common objective for optimal robot control, but its dependence on history limits the robot's decision-making capabilities when used in M…
Chance-Constrained Motion Planning with Event-Triggered Estimation
Anne Theurkauf, Qi Heng Ho, Roland Ilyes +2
We consider the problem of autonomous navigation using limited information from a remote sensor network. Because the remote sensors are power and bandwidth limited, we use event-tr…
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian
In this work, we present a novel robustness measure for continuous-time stochastic trajectories with respect to Signal Temporal Logic (STL) specifications. We show the soundness of…
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg +1
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications. We propose a novel algorit…