Selected Projects
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
This work introduces an efficient approach to compute the reachable sets for convolutional neural networks.
Mar 13, 2025
Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
This paper addresses the challenge of certifying robust stability in neural network control systems with interval matrix uncertainties.
Mar 5, 2025
🎉 Our work 'Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties' was accepted by Automatica!
Feb 24, 2025
We will give an oral presentation at the 2025 American Control Conference (ACC) on July 08, 2025
Jan 16, 2025
🎉 I successfully passed the PhD Preliminary Examination
Oct 21, 2024