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
arXiv preprint arXiv:2306.15340, 2023
7 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
5 2023 Efficient interaction-aware interval analysis of neural network feedback loops S Jafarpour, A Harapanahalli, S Coogan
arXiv preprint arXiv:2307.14938, 2023
4 2023 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
1 2023 Forward Invariance in Neural Network Controlled Systems A Harapanahalli, S Jafarpour, S Coogan
IEEE Control Systems Letters, 2023
1 2023 Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals A Harapanahalli, S Coogan
arXiv preprint arXiv:2403.16214, 2024
2024 A Harapanahalli, S Jafarpour, S Coogan
arXiv preprint arXiv:2401.11608, 2024
2024 Interval Signal Temporal Logic from Natural Inclusion Functions L Baird, A Harapanahalli, S Coogan
IEEE Control Systems Letters, 2023
2023 MATH 7251: High-Dimensional Probability Lecture Notes GV Livshyts, W Fu, R Naidu, H Jiang, R Sethi, C Huang, Y Wang, W Held, ...
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 TechBestätigte E-Mail-Adresse bei gatech.edu
