Akash Harapanahalli

According to our database, Akash Harapanahalli authored at least 9 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Certified Robust Invariant Polytope Training in Neural Controlled ODEs.

Akash Harapanahalli, Samuel Coogan

CoRR, 2024

Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals.

Akash Harapanahalli, Samuel Coogan

CoRR, 2024

immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX.

Akash Harapanahalli, Saber Jafarpour, Samuel Coogan

CoRR, 2024

2023

Forward Invariance in Neural Network Controlled Systems.

Akash Harapanahalli, Saber Jafarpour, Samuel Coogan

IEEE Control. Syst. Lett., 2023

Interval Signal Temporal Logic From Natural Inclusion Functions.

Luke Baird, Akash Harapanahalli, Samuel Coogan

IEEE Control. Syst. Lett., 2023

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops.

Saber Jafarpour, Akash Harapanahalli, Samuel Coogan

CoRR, 2023

A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems.

Akash Harapanahalli, Saber Jafarpour, Samuel Coogan

CoRR, 2023

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers.

Saber Jafarpour, Akash Harapanahalli, Samuel Coogan

Proceedings of the Learning for Dynamics and Control Conference, 2023

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems.

Akash Harapanahalli, Saber Jafarpour, Samuel Coogan

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023