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 Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX 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, ... | | |