Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
2024 International Conference on Machine Learning (ICML24)
AI-Enhanced Safety-Certifiable Autonomous Vehicles
27th IEEE International Conference on Intelligent Transportation Systems (ITSC)
LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees
8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)
Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications
IEEE Transaction on Automatic Control
2024 American Control Conference (ACC)
2024 ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
LEADCAT
IUTAM Symposium on Nonlinear Dynamics for Design of Mechanical Systems Across Different Length/Time Scales
9th Meeting on System and Control Theory
