A toolbox for fast interval arithmetic in numpy with an application to formal verification of neural network controlled systems A Harapanahalli, S Jafarpour, S Coogan
2nd Workshop on Formal Verification of Machine Learning (WFVML 2023), 2023
12 2023 Interval reachability of nonlinear dynamical systems with neural network controllers S Jafarpour, A Harapanahalli, S Coogan
Learning for Dynamics and Control Conference, 12-25, 2023
10 2023 Efficient interaction-aware interval analysis of neural network feedback loops S Jafarpour, A Harapanahalli, S Coogan
IEEE Transactions on Automatic Control, 2024
8 2024 Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems A Harapanahalli, S Jafarpour, S Coogan
2023 62nd IEEE Conference on Decision and Control (CDC), 6044-6051, 2023
6 2023 Forward Invariance in Neural Network Controlled Systems A Harapanahalli, S Jafarpour, S Coogan
IEEE Control Systems Letters, 2023
4 2023 Certified Robust Invariant Polytope Training in Neural Controlled ODEs A Harapanahalli, S Coogan
arXiv preprint arXiv:2408.01273, 2024
2 2024 Interval Signal Temporal Logic from Natural Inclusion Functions L Baird, A Harapanahalli, S Coogan
IEEE Control Systems Letters, 2023
2 2023 Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals A Harapanahalli, S Coogan
arXiv preprint arXiv:2403.16214, 2024
1 2024 A Harapanahalli, S Jafarpour, S Coogan
The 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024
1 * 2024 Linear Differential Inclusions for Computational Contraction Theory A Harapanahalli, S Coogan
2024 A Linear Differential Inclusion for Contraction Analysis to Known Trajectories A Harapanahalli, S Coogan
arXiv preprint arXiv:2411.11587, 2024
2024 A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds A Harapanahalli, S Coogan
arXiv preprint arXiv:2410.15441, 2024
2024 MATH 7251: High-Dimensional Probability Lecture Notes GV Livshyts
Towards a Biomimetic and Dexterous Robot Avatar: Design, Control, and Kinematics Considerations A Harapanahalli, E Muly, H Welch, T Brumfiel, Z Weng, M Akhtar, ...
Samuel CooganAssociate Professor, Georgia TechAdresse e-mail validée de gatech.edu
