9 papers
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…
Characterization of Safe Stabilization and Control Lyapunov-Barrier Functions via Zubov Equation Formulation
Yiming Meng, Jun Liu
Design and analysis of stabilizing controllers with safety guarantees for nonlinear systems have received considerable attention in recent years. Control Lyapunov-barrier functions…
Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation
Yiming Meng, Jun Liu
Verifying stability and safety guarantees for nonlinear systems has received considerable attention in recent years. This property serves as a fundamental building block for specif…
Resolvent-Type Data-Driven Learning of Generators for Unknown Continuous-Time Dynamical Systems
Yiming Meng, Ruikun Zhou, Melkior Ornik +1
A semigroup characterization, or equivalently, a characterization by the generator, is a classical technique used to describe continuous-time nonlinear dynamical systems. In the re…
Online Learning and Control Synthesis for Reachable Paths of Unknown Nonlinear Systems
Yiming Meng, Taha Shafa, Jesse Wei +1
In this paper, we present a novel method to drive a nonlinear system to a desired state, with limited a priori knowledge of its dynamic model: local dynamics at a single point and…
Koopman Spectral Analysis and System Identification for Stochastic Dynamical Systems via Yosida Approximation of Generators
Jun Zhou, Yiming Meng, Jun Liu
System identification and Koopman spectral analysis are crucial for uncovering physical laws and understanding the long-term behaviour of stochastic dynamical systems governed by s…