A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
Fuente:
arXiv
Saved in:
| Main Authors: | Harapanahalli, Akash, Coogan, Samuel |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
by: Harapanahalli, Akash, et al.
Published: (2024)
by: Harapanahalli, Akash, et al.
Published: (2024)
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)
by: Harapanahalli, Akash, et al.
Published: (2023)
Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
by: Harapanahalli, Akash, et al.
Published: (2025)
by: Harapanahalli, Akash, et al.
Published: (2025)
Parametric Reachable Sets Via Controlled Dynamical Embeddings
by: Harapanahalli, Akash, et al.
Published: (2025)
by: Harapanahalli, Akash, et al.
Published: (2025)
$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
by: Harapanahalli, Akash, et al.
Published: (2024)
by: Harapanahalli, Akash, et al.
Published: (2024)
Certified Robust Invariant Polytope Training in Neural Controlled ODEs
by: Harapanahalli, Akash, et al.
Published: (2024)
by: Harapanahalli, Akash, et al.
Published: (2024)
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
by: Jafarpour, Saber, et al.
Published: (2023)
by: Jafarpour, Saber, et al.
Published: (2023)
Forward Invariance in Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)
by: Harapanahalli, Akash, et al.
Published: (2023)
Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
by: Harapanahalli, Akash, et al.
Published: (2026)
by: Harapanahalli, Akash, et al.
Published: (2026)
Monotonicity and Contraction on Polyhedral Cones
by: Jafarpour, Saber, et al.
Published: (2022)
by: Jafarpour, Saber, et al.
Published: (2022)
Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals
by: Harapanahalli, Akash, et al.
Published: (2024)
by: Harapanahalli, Akash, et al.
Published: (2024)
linrax: A JAX Compatible, Simplex Method Linear Program Solver
by: Gould, Brendan, et al.
Published: (2025)
by: Gould, Brendan, et al.
Published: (2025)
Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
by: Gould, Brendan, et al.
Published: (2025)
by: Gould, Brendan, et al.
Published: (2025)
Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots
by: Madabushi, Varun, et al.
Published: (2026)
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)
by: Gould, Brendan, et al.
Published: (2026)
Concentration of Stochastic System Trajectories with Time-varying Contraction Conditions
by: Liu, Zishun, et al.
Published: (2026)
by: Liu, Zishun, et al.
Published: (2026)
The Fastest Known First-Order Method for Minimizing Twice Continuously Differentiable Smooth Strongly Convex Functions
by: Van Scoy, Bryan, et al.
Published: (2025)
by: Van Scoy, Bryan, et al.
Published: (2025)
Newton-Raphson Flow for Aggressive Quadrotor Tracking Control
by: Morales-Cuadrado, Evanns, et al.
Published: (2024)
by: Morales-Cuadrado, Evanns, et al.
Published: (2024)
Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
by: Morales-Cuadrado, Evanns, et al.
Published: (2025)
by: Morales-Cuadrado, Evanns, et al.
Published: (2025)
Contraction Analysis of Time-Delay Systems
by: Watanabe, Rintaro, et al.
Published: (2026)
by: Watanabe, Rintaro, et al.
Published: (2026)
Closed Form HJB Solution for Continuous-Time Optimal Control of a Non-Linear Input-Affine System
by: Vyas, Akash, et al.
Published: (2025)
by: Vyas, Akash, et al.
Published: (2025)
Stochastic Differential Dynamic Programming for Trajectory Optimization under Partial Observability
by: Fujiwara, Masahiro, et al.
Published: (2026)
by: Fujiwara, Masahiro, et al.
Published: (2026)
Non-Euclidean Contraction Analysis of Continuous-Time Neural Networks
by: Davydov, Alexander, et al.
Published: (2021)
by: Davydov, Alexander, et al.
Published: (2021)
Best Response Strategies for Asymmetric Sensing in Linear-Quadratic Differential Games
by: Aggarwal, Shubham, et al.
Published: (2024)
by: Aggarwal, Shubham, et al.
Published: (2024)
Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
by: Sharpless, William, et al.
Published: (2024)
by: Sharpless, William, et al.
Published: (2024)
Solution Sets for Inverse Infinite-Horizon Linear-Quadratic Descriptor Differential Games
by: Kumar, Aaditya, et al.
Published: (2026)
by: Kumar, Aaditya, et al.
Published: (2026)
Near-Optimal Mixed Strategy for Zero-Sum Linear-Quadratic Differential Games
by: Xu, Tao, et al.
Published: (2026)
by: Xu, Tao, et al.
Published: (2026)
A Contract Theory for Layered Control Architectures
by: Mazo Jr., Manuel, et al.
Published: (2024)
by: Mazo Jr., Manuel, et al.
Published: (2024)
Perspectives on Contractivity in Control, Optimization, and Learning
by: Davydov, Alexander, et al.
Published: (2024)
by: Davydov, Alexander, et al.
Published: (2024)
Graphical Dominance Analysis for Linear Systems: A Frequency-Domain Approach
by: Chen, Chao, et al.
Published: (2025)
by: Chen, Chao, et al.
Published: (2025)
Convex Data-Driven Contraction With Riemannian Metrics
by: Oliveira, Andreas, et al.
Published: (2024)
by: Oliveira, Andreas, et al.
Published: (2024)
Contractivity of Multi-Stage Runge-Kutta Dynamics
by: Kawano, Yu, et al.
Published: (2026)
by: Kawano, Yu, et al.
Published: (2026)
Differentiating Through Power Flow Solutions for Admittance and Topology Control
by: Talkington, Samuel, et al.
Published: (2025)
by: Talkington, Samuel, et al.
Published: (2025)
Self-triggered Stabilization of Contracting Systems under Quantization
by: Wakaiki, Masashi
Published: (2023)
by: Wakaiki, Masashi
Published: (2023)
Policy Optimization with Differentiable MPC: Convergence Analysis under Uncertainty
by: Zuliani, Riccardo, et al.
Published: (2026)
by: Zuliani, Riccardo, et al.
Published: (2026)
Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
by: Ghanbarpour, Masoumeh, et al.
Published: (2025)
by: Ghanbarpour, Masoumeh, et al.
Published: (2025)
Contracting Strategies for Electrolyzers to Secure Grid Connection: The Dutch Case
by: Swarts, Thomas, et al.
Published: (2025)
by: Swarts, Thomas, et al.
Published: (2025)
Stability Analysis and Stabilization of Continuous-Time Linear Systems with Distributed Delays
by: Feng, Qian, et al.
Published: (2022)
by: Feng, Qian, et al.
Published: (2022)
Identifying Network Structure of Nonlinear Dynamical Systems: Contraction and Kuramoto Oscillators
by: Gill, Jaidev, et al.
Published: (2025)
by: Gill, Jaidev, et al.
Published: (2025)
Sampled-data Systems: Stability, Contractivity and Single-iteration Suboptimal MPC
by: Chen, Yiting, et al.
Published: (2025)
by: Chen, Yiting, et al.
Published: (2025)
Similar Items
-
A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
by: Harapanahalli, Akash, et al.
Published: (2024) -
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023) -
Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
by: Harapanahalli, Akash, et al.
Published: (2025) -
Parametric Reachable Sets Via Controlled Dynamical Embeddings
by: Harapanahalli, Akash, et al.
Published: (2025) -
$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
by: Harapanahalli, Akash, et al.
Published: (2024)