Akash Harapanahalli

CoRR, April, 2025

Automatic and Scalable Safety Verification Using Interval Reachability With Subspace Sampling.

[BibT_eX]

[DOI]

Brendan T. Gould

IEEE Control. Syst. Lett., 2025

A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds.

[BibT_eX]

[DOI]

Proceedings of the 2025 American Control Conference, 2025

2024

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., December, 2024

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories.

[BibT_eX]

[DOI]

CoRR, 2024

Certified Robust Invariant Polytope Training in Neural Controlled ODEs.

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024

2023

Forward Invariance in Neural Network Controlled Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Interval Signal Temporal Logic From Natural Inclusion Functions.

[BibT_eX]

[DOI]

Luke Baird

IEEE Control. Syst. Lett., 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

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

[BibT_eX]

[DOI]