:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gould, Brendan, Harapanahalli, Akash, Coogan, Samuel
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2509.19484
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
by: Gould, Brendan, et al.
Published: (2025)

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
by: Harapanahalli, Akash, et al.
Published: (2024)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
by: Harapanahalli, Akash, et al.
Published: (2024)

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
by: Harapanahalli, Akash, et al.
Published: (2025)

A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
by: Harapanahalli, Akash, et al.
Published: (2024)

Parametric Reachable Sets Via Controlled Dynamical Embeddings
by: Harapanahalli, Akash, et al.
Published: (2025)

Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals
by: Harapanahalli, Akash, et al.
Published: (2024)

Certified Robust Invariant Polytope Training in Neural Controlled ODEs
by: Harapanahalli, Akash, et al.
Published: (2024)

Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
by: Harapanahalli, Akash, et al.
Published: (2026)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
by: Jafarpour, Saber, et al.
Published: (2023)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Forward Invariance in Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots
by: Madabushi, Varun, et al.
Published: (2026)

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
by: Gould, Brendan, et al.
Published: (2026)

Monotonicity and Contraction on Polyhedral Cones
by: Jafarpour, Saber, et al.
Published: (2022)

Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
by: Morales-Cuadrado, Evanns, et al.
Published: (2025)

Towards Perturbation-Induced Static Pivoting on GPU-Based Linear Solvers
by: Chevalier, Samuel, et al.
Published: (2023)

Newton-Raphson Flow for Aggressive Quadrotor Tracking Control
by: Morales-Cuadrado, Evanns, et al.
Published: (2024)

A High-Performant Multi-Parametric Quadratic Programming Solver
by: Arnström, Daniel, et al.
Published: (2024)

Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture
by: Adhikary, Sunandan, et al.
Published: (2026)

GreenEVT: Greensboro Electric Vehicle Testbed
by: Nilsson, Gustav, et al.
Published: (2023)

Quantum Deception: Honey-X Deception using Quantum Games
by: Reppas, Efstratios, et al.
Published: (2025)

RTD-RAX: Fast, Safe Trajectory Planning for Systems under Unknown Disturbances
by: Morales-Cuadrado, Evanns, et al.
Published: (2026)

A Parallelized, Adam-Based Solver for Reserve and Security Constrained AC Unit Commitment
by: Chevalier, Samuel
Published: (2023)

Distributed Solvers for Network Linear Equations with Scalarized Compression
by: Wang, Lei, et al.
Published: (2024)

Line-Search Filter Differential Dynamic Programming for Optimal Control with Nonlinear Equality Constraints
by: Xu, Ming, et al.
Published: (2025)

Inexact Augmented Lagrangian Methods for Conic Programs: Quadratic Growth and Linear Convergence
by: Liao, Feng-Yi, et al.
Published: (2024)

Funplex: A Modified Simplex Algorithm to Efficiently Explore Near-Optimal Spaces
by: Funke, Christoph S., et al.
Published: (2024)

Regional Constellation Reconfiguration Problem: Integer Linear Programming Formulation and Lagrangian Heuristic Method
by: Lee, Hang Woon, et al.
Published: (2022)

Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics
by: van Wijk, David E. J., et al.
Published: (2024)

Day-Ahead Offering for Virtual Power Plants: A Stochastic Linear Programming Reformulation and Projected Subgradient Method
by: Meng, Weiqi, et al.
Published: (2026)

Customized Interior-Point Methods Solver for Embedded Real-Time Convex Optimization
by: Jang, Jae-Il, et al.
Published: (2025)

Closed Form HJB Solution for Continuous-Time Optimal Control of a Non-Linear Input-Affine System
by: Vyas, Akash, et al.
Published: (2025)

Crazyflow: An Accurate, GPU-Accelerated, Differentiable Drone Simulator in JAX
by: Schuck, Martin, et al.
Published: (2026)

Chargax: A JAX Accelerated EV Charging Simulator
by: Ponse, Koen, et al.
Published: (2025)

JAX-Based Batched AC Power Flow for GPU Acceleration and AI Ecosystem Integration
by: Zhou, Yihong, et al.
Published: (2026)

Output Feedback Backup Control Barrier Functions: Safety Guarantees Under Input Bounds and State Estimation Error
by: van Wijk, David E. J., et al.
Published: (2026)

Limitations of Fault-Tolerant Quantum Linear System Solvers for Quantum Power Flow
by: Pareek, Parikshit, et al.
Published: (2024)

Joint Chance Constrained Optimal Control via Linear Programming
by: Schmid, Niklas, et al.
Published: (2024)

Optimal Satellite Constellation Configuration Design: A Collection of Mixed Integer Linear Programs
by: Rogers, David O. Williams, et al.
Published: (2025)