Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Ding, Jianqiang, Bhave, Nishant Jayesh, Deka, Shankar A. |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
par: Ding, Jianqiang, et autres
Publié: (2025)
par: Ding, Jianqiang, et autres
Publié: (2025)
Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
par: Serry, Mohamed, et autres
Publié: (2024)
par: Serry, Mohamed, et autres
Publié: (2024)
Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees
par: de Jong, Thomas, et autres
Publié: (2024)
par: de Jong, Thomas, et autres
Publié: (2024)
Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
par: Schmid, Niklas, et autres
Publié: (2026)
par: Schmid, Niklas, et autres
Publié: (2026)
Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty
par: Ding, Jianqiang, et autres
Publié: (2025)
par: Ding, Jianqiang, et autres
Publié: (2025)
Novel Multi-objective Switched Model Predictive Control with Feasibility and Stability Guarantees
par: Niepötter, Elias, et autres
Publié: (2025)
par: Niepötter, Elias, et autres
Publié: (2025)
Input-to-State Safe Backstepping: Robust Safety-Critical Control with Unmatched Uncertainties
par: Cohen, Max H., et autres
Publié: (2026)
par: Cohen, Max H., et autres
Publié: (2026)
Recursively Feasible Stochastic Model Predictive Control for Time-Varying Linear Systems Subject to Unbounded Disturbances
par: Knaup, Jacob W., et autres
Publié: (2024)
par: Knaup, Jacob W., et autres
Publié: (2024)
Uncertainty Partitioning with Probabilistic Feasibility and Performance Guarantees for Chance-Constrained Optimization
par: Cordiano, Francesco, et autres
Publié: (2025)
par: Cordiano, Francesco, et autres
Publié: (2025)
Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
par: Liu, Shuo, et autres
Publié: (2023)
par: Liu, Shuo, et autres
Publié: (2023)
A Feedback Linearized Model Predictive Control Strategy for Input-Constrained Self-Driving Cars
par: Tiriolo, Cristian, et autres
Publié: (2024)
par: Tiriolo, Cristian, et autres
Publié: (2024)
Funnel-based Control for Reach-Avoid-Stay Specifications
par: Das, Ratnangshu, et autres
Publié: (2023)
par: Das, Ratnangshu, et autres
Publié: (2023)
A Trajectory-Based Approach to Controlled Invariance and Recursively Feasible MPC
par: Wembe, Emmanuel Junior Wafo, et autres
Publié: (2026)
par: Wembe, Emmanuel Junior Wafo, et autres
Publié: (2026)
Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
par: Sawarkar, Shubham, et autres
Publié: (2025)
par: Sawarkar, Shubham, et autres
Publié: (2025)
Brunovsky Riccati Recursion for Linear Model Predictive Control
par: Yang, Shaohui, et autres
Publié: (2025)
par: Yang, Shaohui, et autres
Publié: (2025)
Feasibility Evaluation of Quadratic Programs for Constrained Control
par: Rousseas, Panagiotis, et autres
Publié: (2025)
par: Rousseas, Panagiotis, et autres
Publié: (2025)
Exact Computation of LTI Reach Set from Integrator Reach Set with Bounded Input
par: Haddad, Shadi, et autres
Publié: (2023)
par: Haddad, Shadi, et autres
Publié: (2023)
Approximate Dynamic Programming with Feasibility Guarantees
par: Engelmann, Alexander, et autres
Publié: (2023)
par: Engelmann, Alexander, et autres
Publié: (2023)
A Data-Driven Prescribed-Time Control Framework via Koopman Operator and Adaptive Backstepping
par: Wu, Yue
Publié: (2025)
par: Wu, Yue
Publié: (2025)
Optimal Role Assignment for Multiplayer Reach-Avoid Differential Games in 3D Space
par: Agasti, Abinash, et autres
Publié: (2023)
par: Agasti, Abinash, et autres
Publié: (2023)
High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees
par: Izadi, Maedeh, et autres
Publié: (2024)
par: Izadi, Maedeh, et autres
Publié: (2024)
From Bundles to Backstepping: Geometric Control Barrier Functions for Safety-Critical Control on Manifolds
par: de Sa, Massimiliano, et autres
Publié: (2025)
par: de Sa, Massimiliano, et autres
Publié: (2025)
Finite Control Set Model Predictive Control with Limit Cycle Stability Guarantees
par: Xu, Duo, et autres
Publié: (2024)
par: Xu, Duo, et autres
Publié: (2024)
Micro-Macro Backstepping Control of Large-Scale Hyperbolic Systems (Extended Version)
par: Humaloja, Jukka-Pekka, et autres
Publié: (2025)
par: Humaloja, Jukka-Pekka, et autres
Publié: (2025)
Adaptive Economic Model Predictive Control: Performance Guarantees for Nonlinear Systems
par: Degner, Maximilian, et autres
Publié: (2024)
par: Degner, Maximilian, et autres
Publié: (2024)
Closed-loop Performance Optimization of Model Predictive Control with Robustness Guarantees
par: Zuliani, Riccardo, et autres
Publié: (2024)
par: Zuliani, Riccardo, et autres
Publié: (2024)
Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
par: Kumar, Saurabh, et autres
Publié: (2025)
par: Kumar, Saurabh, et autres
Publié: (2025)
Backstepping Control Laws for Higher-Dimensional PDEs: Spatial Invariance and Domain Extension Methods
par: Vazquez, Rafael
Publié: (2025)
par: Vazquez, Rafael
Publié: (2025)
Gain-Only Neural Operators for PDE Backstepping
par: Vazquez, Rafael, et autres
Publié: (2024)
par: Vazquez, Rafael, et autres
Publié: (2024)
Fast System Level Synthesis: Robust Model Predictive Control using Riccati Recursions
par: Leeman, Antoine P., et autres
Publié: (2024)
par: Leeman, Antoine P., et autres
Publié: (2024)
Distributionally Robust Model Predictive Control: Closed-loop Guarantees and Scalable Algorithms
par: McAllister, Robert D., et autres
Publié: (2023)
par: McAllister, Robert D., et autres
Publié: (2023)
On Computation of Approximate Solutions to Large-Scale Backstepping Kernel Equations via Continuum Approximation
par: Humaloja, Jukka-Pekka, et autres
Publié: (2024)
par: Humaloja, Jukka-Pekka, et autres
Publié: (2024)
Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
par: Castañeda, Fernando, et autres
Publié: (2022)
par: Castañeda, Fernando, et autres
Publié: (2022)
SDC-Based Model Predictive Control: Enhancing Computational Feasibility for Safety-Critical Quadrotor Control
par: Omidi, Saber
Publié: (2025)
par: Omidi, Saber
Publié: (2025)
Safe-by-Design: Approximate Nonlinear Model Predictive Control with Real Time Feasibility
par: Olucak, Jan, et autres
Publié: (2025)
par: Olucak, Jan, et autres
Publié: (2025)
Model Predictive Control for Constrained Linear Positive Systems on Graphs
par: Schurig, Roland, et autres
Publié: (2026)
par: Schurig, Roland, et autres
Publié: (2026)
Learning to Pursue AC Optimal Power Flow Solutions with Feasibility Guarantees
par: Ajeyemi, Damola, et autres
Publié: (2025)
par: Ajeyemi, Damola, et autres
Publié: (2025)
Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum
par: Ding, Jianqiang, et autres
Publié: (2024)
par: Ding, Jianqiang, et autres
Publié: (2024)
Block Backstepping for Isotachic Hyperbolic PDEs and Multilayer Timoshenko Beams
par: Chen, Guangwei, et autres
Publié: (2023)
par: Chen, Guangwei, et autres
Publié: (2023)
Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
par: Liu, Shuo, et autres
Publié: (2025)
par: Liu, Shuo, et autres
Publié: (2025)
Documents similaires
-
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
par: Ding, Jianqiang, et autres
Publié: (2025) -
Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
par: Serry, Mohamed, et autres
Publié: (2024) -
Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees
par: de Jong, Thomas, et autres
Publié: (2024) -
Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
par: Schmid, Niklas, et autres
Publié: (2026) -
Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty
par: Ding, Jianqiang, et autres
Publié: (2025)