News

Chairing the Invited Session on AI-Enhanced Safety-Certifiable Autonomous Vehicles at IEEE ITSC 2024.
The invited session AI-Enhanced Safety-Certifiable Autonomous Vehicles was successfully held at the 27th IEEE International Conference on Intelligent Transportation Systems (ITSC).
Sep 25, 2024 1 min read
Project
Two works were presented in July.
Two conferences, ACC and ICML, were held in July. The workw on a recently developed Zubov-Koopman operator for constructing Lyapunov functions and a PINN method for designing an optimal stabilizing controller were presented.
Jul 30, 2024 1 min read
Project
Talk on Physics-Informed Stability Control for Nonlinear Systems at CAIMS 2024, Kingston, Ontario, Canada.
A talk on Physics-Informed Characterization and Control of Stability for Nonlinear Systems was presented at the CAIMS 2024 meeting in the subsession Recent Progress on the Intersections of Nonlinear Dynamics, Control, Learning, and Optimization.
Jun 27, 2024 2 min read
Project
A novel tool for learning and verifying neural Lyapunov functions and regions of attraction was presented.
The tool paper TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction was presented at the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) 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.
May 16, 2024 1 min read
Project
A novel tool for learning and verifying neural Lyapunov functions and regions of attraction was presented.
One ICML 2024 Paper Accepted
Our paper, Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification has been accepted to the 2024 International Conference on Machine Learning (ICML24), Vienna.
May 1, 2024 1 min read
Project
One ICML 2024 Paper Accepted
Invited Session Proposal Accepted for the ITSC 2024
The proposed invited session AI-Enhanced Safety-Certifiable Autonomous Vehicles has been accepted for the 27th IEEE International Conference on Intelligent Transportation Systems (ITSC), which will be held from September 24 to 27, 2024, in Edmonton, Canada.
Apr 24, 2024 1 min read
Invited Session Proposal Accepted for the ITSC 2024
One ADHS 2024 Paper Accepted
Our paper, LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees has been accepted to the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Boulder.
Mar 15, 2024 1 min read
Project
Paper accepted to IEEE Transaction on Automatic Control
The paper Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications has been accpeted for the publication in IEEE Transaction on Automatic Control.
Feb 10, 2024 1 min read
Project DOI
Paper accepted to IEEE Transaction on Automatic Control
Multiple Conference Papers Accepted
Two papers have been accepted to the 2024 American Control Conference (ACC) in Toronto, and one tool paper has been accepted to the 2024 ACM International Conference on Hybrid Systems: Computation and Control (HSCC) in Hong Kong.
Jan 22, 2024 1 min read
Project Project
Joining A New Research Group at UIUC
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.
Oct 16, 2023 1 min read
Joining A New Research Group at UIUC