linrax: A JAX Compatible, Simplex Method Linear Program Solver
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Gould, Brendan, Harapanahalli, Akash, Coogan, Samuel |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
von: Gould, Brendan, et al.
Veröffentlicht: (2025)
von: Gould, Brendan, et al.
Veröffentlicht: (2025)
A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2025)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2025)
A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
Parametric Reachable Sets Via Controlled Dynamical Embeddings
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2025)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2025)
Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
Certified Robust Invariant Polytope Training in Neural Controlled ODEs
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)
Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2026)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2026)
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
von: Jafarpour, Saber, et al.
Veröffentlicht: (2023)
von: Jafarpour, Saber, et al.
Veröffentlicht: (2023)
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)
Forward Invariance in Neural Network Controlled Systems
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)
Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots
von: Madabushi, Varun, et al.
Veröffentlicht: (2026)
von: Madabushi, Varun, et al.
Veröffentlicht: (2026)
Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
von: Gould, Brendan, et al.
Veröffentlicht: (2026)
von: Gould, Brendan, et al.
Veröffentlicht: (2026)
Monotonicity and Contraction on Polyhedral Cones
von: Jafarpour, Saber, et al.
Veröffentlicht: (2022)
von: Jafarpour, Saber, et al.
Veröffentlicht: (2022)
Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
von: Morales-Cuadrado, Evanns, et al.
Veröffentlicht: (2025)
von: Morales-Cuadrado, Evanns, et al.
Veröffentlicht: (2025)
Towards Perturbation-Induced Static Pivoting on GPU-Based Linear Solvers
von: Chevalier, Samuel, et al.
Veröffentlicht: (2023)
von: Chevalier, Samuel, et al.
Veröffentlicht: (2023)
Newton-Raphson Flow for Aggressive Quadrotor Tracking Control
von: Morales-Cuadrado, Evanns, et al.
Veröffentlicht: (2024)
von: Morales-Cuadrado, Evanns, et al.
Veröffentlicht: (2024)
A High-Performant Multi-Parametric Quadratic Programming Solver
von: Arnström, Daniel, et al.
Veröffentlicht: (2024)
von: Arnström, Daniel, et al.
Veröffentlicht: (2024)
Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture
von: Adhikary, Sunandan, et al.
Veröffentlicht: (2026)
von: Adhikary, Sunandan, et al.
Veröffentlicht: (2026)
Distributed Solvers for Network Linear Equations with Scalarized Compression
von: Wang, Lei, et al.
Veröffentlicht: (2024)
von: Wang, Lei, et al.
Veröffentlicht: (2024)
A Parallelized, Adam-Based Solver for Reserve and Security Constrained AC Unit Commitment
von: Chevalier, Samuel
Veröffentlicht: (2023)
von: Chevalier, Samuel
Veröffentlicht: (2023)
Quantum Deception: Honey-X Deception using Quantum Games
von: Reppas, Efstratios, et al.
Veröffentlicht: (2025)
von: Reppas, Efstratios, et al.
Veröffentlicht: (2025)
GreenEVT: Greensboro Electric Vehicle Testbed
von: Nilsson, Gustav, et al.
Veröffentlicht: (2023)
von: Nilsson, Gustav, et al.
Veröffentlicht: (2023)
Inexact Augmented Lagrangian Methods for Conic Programs: Quadratic Growth and Linear Convergence
von: Liao, Feng-Yi, et al.
Veröffentlicht: (2024)
von: Liao, Feng-Yi, et al.
Veröffentlicht: (2024)
RTD-RAX: Fast, Safe Trajectory Planning for Systems under Unknown Disturbances
von: Morales-Cuadrado, Evanns, et al.
Veröffentlicht: (2026)
von: Morales-Cuadrado, Evanns, et al.
Veröffentlicht: (2026)
Line-Search Filter Differential Dynamic Programming for Optimal Control with Nonlinear Equality Constraints
von: Xu, Ming, et al.
Veröffentlicht: (2025)
von: Xu, Ming, et al.
Veröffentlicht: (2025)
Regional Constellation Reconfiguration Problem: Integer Linear Programming Formulation and Lagrangian Heuristic Method
von: Lee, Hang Woon, et al.
Veröffentlicht: (2022)
von: Lee, Hang Woon, et al.
Veröffentlicht: (2022)
Funplex: A Modified Simplex Algorithm to Efficiently Explore Near-Optimal Spaces
von: Funke, Christoph S., et al.
Veröffentlicht: (2024)
von: Funke, Christoph S., et al.
Veröffentlicht: (2024)
Day-Ahead Offering for Virtual Power Plants: A Stochastic Linear Programming Reformulation and Projected Subgradient Method
von: Meng, Weiqi, et al.
Veröffentlicht: (2026)
von: Meng, Weiqi, et al.
Veröffentlicht: (2026)
Customized Interior-Point Methods Solver for Embedded Real-Time Convex Optimization
von: Jang, Jae-Il, et al.
Veröffentlicht: (2025)
von: Jang, Jae-Il, et al.
Veröffentlicht: (2025)
JAX-Based Batched AC Power Flow for GPU Acceleration and AI Ecosystem Integration
von: Zhou, Yihong, et al.
Veröffentlicht: (2026)
von: Zhou, Yihong, et al.
Veröffentlicht: (2026)
Closed Form HJB Solution for Continuous-Time Optimal Control of a Non-Linear Input-Affine System
von: Vyas, Akash, et al.
Veröffentlicht: (2025)
von: Vyas, Akash, et al.
Veröffentlicht: (2025)
Crazyflow: An Accurate, GPU-Accelerated, Differentiable Drone Simulator in JAX
von: Schuck, Martin, et al.
Veröffentlicht: (2026)
von: Schuck, Martin, et al.
Veröffentlicht: (2026)
Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics
von: van Wijk, David E. J., et al.
Veröffentlicht: (2024)
von: van Wijk, David E. J., et al.
Veröffentlicht: (2024)
Chargax: A JAX Accelerated EV Charging Simulator
von: Ponse, Koen, et al.
Veröffentlicht: (2025)
von: Ponse, Koen, et al.
Veröffentlicht: (2025)
Limitations of Fault-Tolerant Quantum Linear System Solvers for Quantum Power Flow
von: Pareek, Parikshit, et al.
Veröffentlicht: (2024)
von: Pareek, Parikshit, et al.
Veröffentlicht: (2024)
Joint Chance Constrained Optimal Control via Linear Programming
von: Schmid, Niklas, et al.
Veröffentlicht: (2024)
von: Schmid, Niklas, et al.
Veröffentlicht: (2024)
Output Feedback Backup Control Barrier Functions: Safety Guarantees Under Input Bounds and State Estimation Error
von: van Wijk, David E. J., et al.
Veröffentlicht: (2026)
von: van Wijk, David E. J., et al.
Veröffentlicht: (2026)
Incentive Compatibility in Stochastic Dynamic Systems
von: Ma, Ke, et al.
Veröffentlicht: (2019)
von: Ma, Ke, et al.
Veröffentlicht: (2019)
Ähnliche Einträge
-
Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
von: Gould, Brendan, et al.
Veröffentlicht: (2025) -
A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024) -
$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024) -
Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2025) -
A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)