Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Harapanahalli, Akash, Coogan, Samuel |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
par: Harapanahalli, Akash, et autres
Publié: (2025)
par: Harapanahalli, Akash, et autres
Publié: (2025)
$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
par: Harapanahalli, Akash, et autres
Publié: (2024)
par: Harapanahalli, Akash, et autres
Publié: (2024)
Parametric Reachable Sets Via Controlled Dynamical Embeddings
par: Harapanahalli, Akash, et autres
Publié: (2025)
par: Harapanahalli, Akash, et autres
Publié: (2025)
Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
par: Gould, Brendan, et autres
Publié: (2025)
par: Gould, Brendan, et autres
Publié: (2025)
Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
par: Harapanahalli, Akash, et autres
Publié: (2026)
par: Harapanahalli, Akash, et autres
Publié: (2026)
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
par: Jafarpour, Saber, et autres
Publié: (2023)
par: Jafarpour, Saber, et autres
Publié: (2023)
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
par: Harapanahalli, Akash, et autres
Publié: (2023)
par: Harapanahalli, Akash, et autres
Publié: (2023)
A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
par: Harapanahalli, Akash, et autres
Publié: (2024)
par: Harapanahalli, Akash, et autres
Publié: (2024)
A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
par: Harapanahalli, Akash, et autres
Publié: (2024)
par: Harapanahalli, Akash, et autres
Publié: (2024)
Certified Robust Invariant Polytope Training in Neural Controlled ODEs
par: Harapanahalli, Akash, et autres
Publié: (2024)
par: Harapanahalli, Akash, et autres
Publié: (2024)
linrax: A JAX Compatible, Simplex Method Linear Program Solver
par: Gould, Brendan, et autres
Publié: (2025)
par: Gould, Brendan, et autres
Publié: (2025)
Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots
par: Madabushi, Varun, et autres
Publié: (2026)
par: Madabushi, Varun, et autres
Publié: (2026)
Forward Invariance in Neural Network Controlled Systems
par: Harapanahalli, Akash, et autres
Publié: (2023)
par: Harapanahalli, Akash, et autres
Publié: (2023)
Monotonicity and Contraction on Polyhedral Cones
par: Jafarpour, Saber, et autres
Publié: (2022)
par: Jafarpour, Saber, et autres
Publié: (2022)
A Comparison Between Lie Group- and Lie Algebra- Based Potential Functions for Geometric Impedance Control
par: Seo, Joohwan, et autres
Publié: (2024)
par: Seo, Joohwan, et autres
Publié: (2024)
Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
par: Gould, Brendan, et autres
Publié: (2026)
par: Gould, Brendan, et autres
Publié: (2026)
Constrained Trajectory Optimization on Matrix Lie Groups via Lie-Algebraic Differential Dynamic Programming
par: Alcan, Gokhan, et autres
Publié: (2023)
par: Alcan, Gokhan, et autres
Publié: (2023)
How Sensor Attacks Transfer Across Lie Groups
par: Alisic, Rijad, et autres
Publié: (2026)
par: Alisic, Rijad, et autres
Publié: (2026)
Neural Robust Control on Lie Groups Using Contraction Methods (Extended Version)
par: Lo, Yi Lok, et autres
Publié: (2026)
par: Lo, Yi Lok, et autres
Publié: (2026)
Uniform Sampling from the Reachable Set Using Optimal Transport
par: Elamvazhuthi, Karthik, et autres
Publié: (2025)
par: Elamvazhuthi, Karthik, et autres
Publié: (2025)
Constrained Optimization on Matrix Lie Groups via Interior-Point Method
par: Santos, Aclécio J., et autres
Publié: (2026)
par: Santos, Aclécio J., et autres
Publié: (2026)
A Geometric Perspective on Fusing Gaussian Distributions on Lie Groups
par: Ge, Yixiao, et autres
Publié: (2024)
par: Ge, Yixiao, et autres
Publié: (2024)
Space-Time Diversity in Observability and Estimation on Product Lie Groups
par: Venkatasubramanian, Somasundhar, et autres
Publié: (2026)
par: Venkatasubramanian, Somasundhar, et autres
Publié: (2026)
Safety-Critical Control on Lie Groups Using Energy-Augmented Zeroing Control Barrier Functions
par: Letti, Alessandro, et autres
Publié: (2025)
par: Letti, Alessandro, et autres
Publié: (2025)
Active Calibration of Reachable Sets Using Approximate Pick-to-Learn
par: Deglurkar, Sampada, et autres
Publié: (2026)
par: Deglurkar, Sampada, et autres
Publié: (2026)
Lies We Can Trust: Quantifying Action Uncertainty with Inaccurate Stochastic Dynamics through Conformalized Nonholonomic Lie Groups
par: Marques, Luís, et autres
Publié: (2025)
par: Marques, Luís, et autres
Publié: (2025)
A Consensus Algorithm for Second-Order Systems Evolving on Lie Groups
par: Krishna, Akhil B, et autres
Publié: (2025)
par: Krishna, Akhil B, et autres
Publié: (2025)
Schrödinger Bridge Over A Compact Connected Lie Group
par: Mahmood, Hamza, et autres
Publié: (2026)
par: Mahmood, Hamza, et autres
Publié: (2026)
Model Predictive Static Programming for Discrete-Time Optimal Control on Lie Groups
par: Krishna, Akhil B, et autres
Publié: (2026)
par: Krishna, Akhil B, et autres
Publié: (2026)
Equivariant Tracking Control for Fully Actuated Mechanical Systems on Matrix Lie Groups
par: Hampsey, Matthew, et autres
Publié: (2025)
par: Hampsey, Matthew, et autres
Publié: (2025)
Equivalence of Left- and Right-Invariant Extended Kalman Filters on Matrix Lie Groups
par: Maurer, Finn G., et autres
Publié: (2025)
par: Maurer, Finn G., et autres
Publié: (2025)
Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
par: Sivaramakrishnan, Vignesh, et autres
Publié: (2024)
par: Sivaramakrishnan, Vignesh, et autres
Publié: (2024)
Tutorial on Aided Inertial Navigation Systems: A Modern Treatment Using Lie-Group Theoretical Methods
par: Berkane, Soulaimane
Publié: (2026)
par: Berkane, Soulaimane
Publié: (2026)
Riemannian Direct Trajectory Optimization of Rigid Bodies on Matrix Lie Groups
par: Teng, Sangli, et autres
Publié: (2025)
par: Teng, Sangli, et autres
Publié: (2025)
Vector Fields for Path Following on Lie Groups with Application in Robot Control
par: Bartelt, Felipe, et autres
Publié: (2026)
par: Bartelt, Felipe, et autres
Publié: (2026)
Convex Hulls of Reachable Sets
par: Lew, Thomas, et autres
Publié: (2023)
par: Lew, Thomas, et autres
Publié: (2023)
Exploiting Equivariance in the Design of Tracking Controllers for Euler-Poincare Systems on Matrix Lie Groups
par: Hampsey, Matthew, et autres
Publié: (2024)
par: Hampsey, Matthew, et autres
Publié: (2024)
Distributed Invariant Kalman Filter for Cooperative Localization using Matrix Lie Groups
par: Zhou, Yizhi, et autres
Publié: (2024)
par: Zhou, Yizhi, et autres
Publié: (2024)
Distributed and Consistent Multi-Robot Visual-Inertial-Ranging Odometry on Lie Groups
par: Kang, Ziwei, et autres
Publié: (2026)
par: Kang, Ziwei, et autres
Publié: (2026)
JuliaReach: a Toolbox for Set-Based Reachability
par: Bogomolov, Sergiy, et autres
Publié: (2019)
par: Bogomolov, Sergiy, et autres
Publié: (2019)
Documents similaires
-
Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
par: Harapanahalli, Akash, et autres
Publié: (2025) -
$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
par: Harapanahalli, Akash, et autres
Publié: (2024) -
Parametric Reachable Sets Via Controlled Dynamical Embeddings
par: Harapanahalli, Akash, et autres
Publié: (2025) -
Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
par: Gould, Brendan, et autres
Publié: (2025) -
Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
par: Harapanahalli, Akash, et autres
Publié: (2026)