17 citations · 17 across the 5 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
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…
eess.SY2024
Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
Thanin Quartz, Ruikun Zhou, Hans De Sterck +1
Designing a stabilizing controller for nonlinear systems is a challenging task, especially for high-dimensional problems with unknown dynamics. Traditional reinforcement learning a…
cs.CV2024
Manifold-Guided Lyapunov Control with Diffusion Models
Amartya Mukherjee, Thanin Quartz, Jun Liu
This paper presents a novel approach to generating stabilizing controllers for a large class of dynamical systems using diffusion models. The core objective is to develop stabilizi…