3 papers
eess.SY2026
Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls
Ruikun Zhou, Yating Yuan, Haocheng Chang +2
We propose an abstraction-free framework for controller synthesis for continuous-time dynamical systems subject to Linear Temporal Logic (LTL) specifications and bounded control in…
eess.SY2025
Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
Yating Yuan, Yu Liu
Continuous-time control of multiple quadrotors in constrained environments under signal temporal logic (STL) specifications is critical due to their nonlinear dynamics, safety cons…
cs.RO2024
Signal Temporal Logic Planning with Time-Varying Robustness
Yating Yuan, Thanin Quartz, Jun Liu
This letter aims to generate a continuous-time trajectory consisting of piecewise Bézier curves that satisfy signal temporal logic (STL) specifications with piecewise time-varying…