:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Madabushi, Varun, Harapanahalli, Akash, Coogan, Samuel, Tucker, Maegan
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Robotics
Online Access:	https://arxiv.org/abs/2604.05108
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees
by: Madabushi, Varun, et al.
Published: (2026)

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

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

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

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

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

Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals
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)

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

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

linrax: A JAX Compatible, Simplex Method Linear Program Solver
by: Gould, Brendan, et al.
Published: (2025)

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)

NaviGait: Navigating Dynamically Feasible Gait Libraries using Deep Reinforcement Learning
by: Janwani, Neil, et al.
Published: (2025)

Dense Fixed-Wing Swarming using Receding-Horizon NMPC
by: Madabushi, Varun, et al.
Published: (2025)

Kinodynamic Motion Retargeting for Humanoid Locomotion via Multi-Contact Whole-Body Trajectory Optimization
by: Zhang, Xiaoyu, et al.
Published: (2026)

Adaptive Invariant Extended Kalman Filter for Legged Robot State Estimation
by: Kim, Kyung-Hwan, et al.
Published: (2025)

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

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

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

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

From Singleton Obstacles to Clutter: Translation Invariant Compositional Avoid Sets
by: Solanki, Prashant, et al.
Published: (2026)

A Hybrid TDMA/CSMA Protocol for Time-Sensitive Traffic in Robot Applications
by: Xu, Shiqi, et al.
Published: (2025)

Energy-Efficient Motion Planner for Legged Robots
by: Schperberg, Alexander, et al.
Published: (2025)

Multi-IMU Sensor Fusion for Legged Robots
by: Yang, Shuo, et al.
Published: (2025)

Swing Leg Motion Strategy for Heavy-load Legged Robot Based on Force Sensing
by: Fu, Ze, et al.
Published: (2023)

Receding-Constraint Model Predictive Control using a Learned Approximate Control-Invariant Set
by: Lunardi, Gianni, et al.
Published: (2023)

SAC-MoE: Reinforcement Learning with Mixture-of-Experts for Control of Hybrid Dynamical Systems with Uncertainty
by: D'Souza, Leroy, et al.
Published: (2025)

Single-Stage Optimization of Open-loop Stable Limit Cycles with Smooth, Symbolic Derivatives
by: Hassan, Muhammad Saud Ul, et al.
Published: (2023)

Legged Robot State Estimation within Non-inertial Environments
by: He, Zijian, et al.
Published: (2024)

Performance Evaluation of Trajectory Tracking Controllers for a Quadruped Robot Leg
by: Shojaei, Hossein, et al.
Published: (2025)

Risk-Calibrated Human-Robot Interaction via Set-Valued Intent Prediction
by: Lidard, Justin, et al.
Published: (2024)

A Survey of Legged Robotics in Non-Inertial Environments: Past, Present, and Future
by: Chang, I-Chia, et al.
Published: (2026)

Multi-contact Stochastic Predictive Control for Legged Robots with Contact Locations Uncertainty
by: Gazar, Ahmad, et al.
Published: (2023)

Soft Adaptive Feet for Legged Robots: An Open-Source Model for Locomotion Simulation
by: Crotti, Matteo, et al.
Published: (2024)

Whole-Body Model-Predictive Control of Legged Robots with MuJoCo
by: Zhang, John Z., et al.
Published: (2025)

Control of Humanoid Robots with Parallel Mechanisms using Differential Actuation Models
by: Lutz, Victor, et al.
Published: (2025)

A Linear MPC with Control Barrier Functions for Differential Drive Robots
by: Ali, Ali Mohamed, et al.
Published: (2024)

Sampling Strategy Design for Model Predictive Path Integral Control on Legged Robot Locomotion
by: Tao, Chuyuan, et al.
Published: (2026)