News
2026/03 Our work ‘Online Learning and Control Synthesis for Reachable Paths of Unknown Nonlinear Systems’ and its derived algorithm for underactuated systems ‘Reachable Predictive Control: A Novel Control Algorithm for Nonlinear Systems with Unknown Dynamics and its Practical Applications’ have been accepted to IEEE TAC and ICRA 2026, respectively.
2026/01 Our work ‘Resolvent-Type Data-Driven Learning of Generators for Unknown Continuous-Time Dynamical Systems’ on Koopman generator learning is accepted to IEEE TAC.
2025/10 Our work ‘Learning Regions of Attraction in Unknown Dynamical Systems via Zubov–Koopman Lifting: Regularities and Convergence’, accepted to IEEE TAC, is now available online.
2025/07 One paper accepted to CDC 2025.
2025/06 Work ‘Data-driven Optimal Control of Unknown Nonlinear Dynamical Systems Using the Koopman Operator’ presented at L4DC 2025.
2025/06 Our work on PINNs with formal verification for Lyapunov functions is now online in Automatica and was selected as the Editor’s Choice for May.
2025/05 A talk ‘Towards Intelligent Data-Driven Verification of Stability and Safety for Unknown Nonlinear Systems’ was given at Polytechnique Montréal, invited by Prof. Bowen Yi and hosted by GERAD.
2025/02 A talk ‘Physics-Informed and Data-Driven Learning of Lyapunov Functions with Formal Guarantees’ was given at the Reliable Autonomous Systems Lab, Department of Aeronautics and Astronautics, MIT.
2025/01 One paper accepted to ACC 2025.
2025/01 A seminar ‘Certifiable AI for Verification and Decision-Making in Uncertain Aerospace Dynamical Systems: From Model-Based Analysis to Data-Driven Computation’ was given at the Department of Mechanical & Manufacturing Engineering, University of Calgary.
2024/12 Three of our works were presented at CDC 2024. @ Milan, Italy.
2024/09 Chaired the invited session on ‘AI-Enhanced Safety-Certifiable Autonomous Vehicles’ at IEEE ITSC 2024 @ Edmonton, AB, Canada (read more).
2024/07 Two conferences, ACC and ICML, were held in July. The works on a recently developed Zubov-Koopman operator for constructing Lyapunov functions and a PINN method for designing an optimal stabilizing controller were presented (read more).
2024/06 A talk on ‘Physics-Informed Characterization and Control of Stability for Nonlinear Systems’ was presented at CAIMS 2024 in the subsession ‘Recent Progress on the Intersections of Nonlinear Dynamics, Control, Learning, and Optimization’.
2024/05 The tool paper ’TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction’ was presented at the HSCC 2024 in Hong Kong and gained significant attention. What distinguishes the tool from others in the literature is its ability to provide verified regions of attraction close to the domain of attraction. Many thanks to all the authors for their hard work and dedication!
2024/05 One ICML paper accepted.
2024/04 Invited session proposal accepted for the ITSC 2024.
2024/02 The paper ‘Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications’ has been accpeted for the publication in IEEE TAC.
2024/01 Multiple papers accepted to ACC 2024 and HSCC 2024.
2023/10 I joined the LEADCAT (LEArning, Decision, Control, AuTonomy) research group at the Aerospace Engineering Department, University of Illinois Urbana-Champaign, and began my role as a Postdoctoral Research Associate.
2023/07 Our work on estimating the maximal Lyapunov exponent for stochastic semilinear PDEs was presented at the IUTAM Symposium on Nonlinear Dynamics for Design of Mechanical Systems Across Different Length,Time Scales, held in Tsukuba,Japan.
2023/05 Two theoretical journal papers on bifurcation and control in stochastic systems have been published in IEEE Open Journal of Control Systems and Journal of Nonlinear Science, respectively.
2023/05 Our work on robustly complete stochastic abstractions was presented at the 9th Meeting on System and Control Theory, Waterloo, Canada.