17 citations · 17 across the 5 of their papers we have counts for
6 papers
A Converse Control Lyapunov Theorem for Joint Safety and Stability
Thanin Quartz, Maxwell Fitzsimmons, Jun Liu
We show that the existence of a strictly compatible pair of control Lyapunov and control barrier functions is equivalent to the existence of a single smooth Lyapunov function that…
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…
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…
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…
Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees
Ruikun Zhou, Thanin Quartz, Hans De Sterck +1
Learning for control of dynamical systems with formal guarantees remains a challenging task. This paper proposes a learning framework to simultaneously stabilize an unknown nonline…
On the Stampfli point of some operators and matrices
Thanin Quartz, Ilya M. Spitkovsky
The center of mass of an operator (denoted St(), and called in this paper as the {\em Stampfli point} of A) was introduced by Stampfli in his Pacific J. Math (1970) paper as…