Akash Harapanahalli

27 papers C 1Journal 21Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Linear Differential Inclusion for Contraction Analysis to Known Trajectories.
IEEE Trans. Autom. Control.
Akash Harapanahalli, Samuel Coogan
2026 J jnl
Learning Certified Neural Network Controllers Using Contraction and Interval Analysis.
CoRR
Akash Harapanahalli, Samuel Coogan, Alexander Davydov
2025 C conf
A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds.
ACC
Akash Harapanahalli, Samuel Coogan
2025 J jnl
Automatic and Scalable Safety Verification Using Interval Reachability With Subspace Sampling.
IEEE Control. Syst. Lett.
Brendan T. Gould, Akash Harapanahalli, Samuel Coogan
2025 J jnl
Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling.
CoRR
Brendan T. Gould, Akash Harapanahalli, Samuel Coogan
2025 J jnl
Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming.
CoRR
Akash Harapanahalli, Samuel Coogan
2025 — conf
Parametric Reachable Sets Via Controlled Dynamical Embeddings.
CDC
Akash Harapanahalli, Samuel Coogan
2025 J jnl
Parametric Reachable Sets Via Controlled Dynamical Embeddings.
CoRR
Akash Harapanahalli, Samuel Coogan
2025 J jnl
linrax: A JAX Compatible, Simplex Method Linear Program Solver.
CoRR
Brendan T. Gould, Akash Harapanahalli, Samuel Coogan
2024 J jnl
A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds.
CoRR
Akash Harapanahalli, Samuel Coogan
2024 J jnl
A Linear Differential Inclusion for Contraction Analysis to Known Trajectories.
CoRR
Akash Harapanahalli, Samuel Coogan
2024 J jnl
Certified Robust Invariant Polytope Training in Neural Controlled ODEs.
CoRR
Akash Harapanahalli, Samuel Coogan
2024 J jnl
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops.
IEEE Trans. Autom. Control.
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
2024 — conf
Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals.
CDC
Akash Harapanahalli, Samuel Coogan
2024 J jnl
Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals.
CoRR
Akash Harapanahalli, Samuel Coogan
2024 — conf
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX.
ADHS
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2024 J jnl
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX.
CoRR
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023 J jnl
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems.
CoRR
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023 — conf
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems.
CDC
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023 J jnl
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems.
CoRR
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023 J jnl
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops.
CoRR
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
2023 J jnl
Forward Invariance in Neural Network Controlled Systems.
CoRR
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023 J jnl
Forward Invariance in Neural Network Controlled Systems.
IEEE Control. Syst. Lett.
Akash Harapanahalli, Saber Jafarpour, Samuel Coogan
2023 — conf
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers.
L4DC
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
2023 J jnl
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers.
CoRR
Saber Jafarpour, Akash Harapanahalli, Samuel Coogan
2023 J jnl
Interval Signal Temporal Logic From Natural Inclusion Functions.
IEEE Control. Syst. Lett.
Luke Baird, Akash Harapanahalli, Samuel Coogan
2023 J jnl
Interval Signal Temporal Logic from Natural Inclusion Functions.
CoRR
Luke Baird, Akash Harapanahalli, Samuel Coogan