28 citations · 70 across the 25 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
eess.SY2026
Physics-Informed Koopman Learning for Data-Efficient System Identification of Automated Vehicle Dynamics
Hangyu Li, Yiming Meng, Zhaohui Liang +8
Understanding how a particular automated vehicle reacts to nearby traffic can improve motion prediction, control development, traffic simulation, and safety evaluation. However, co…
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…
math.DS2026
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…