Cover Image

Optimal Control with Lyapunov Stability Guarantees for Space Applications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abhijeet, Mohamed, Mohamed Naveed Gul, Sharma, Aayushman, Chakravorty, Suman
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Optimal Solution to Infinite Horizon Nonholonomic and Discounted Nonlinear Control Problems
by: Mohamed, Mohamed Naveed Gul, et al.
Published: (2024)

Convexity in Optimal Control Problems
by: Abhijeet, et al.
Published: (2024)

A Sequential Quadratic Programming Perspective on Optimal Control
by: Abhijeet, et al.
Published: (2025)

A Reduced Order Iterative Linear Quadratic Regulator (ILQR) Technique for the Optimal Control of Nonlinear Partial Differential Equations
by: Sharma, Aayushman, et al.
Published: (2025)

State Forecasting in an Estimation Framework with Surrogate Sensor Modeling
by: Narayanan, Sriram, et al.
Published: (2026)

A Sequential Quadratic Programming Perspective on Optimal Control
by: Abhijeet, et al.
Published: (2026)

Safe Optimal Control using Log Barrier Constrained iLQR
by: Abhijeet, et al.
Published: (2026)

On the Feedback Law in Stochastic Optimal Nonlinear Control
by: Mohamed, Mohamed Naveed Gul, et al.
Published: (2020)

An Information-State Based Approach to Linear Time Varying System Identification and Control
by: Mohamed, Mohamed Naveed Gul, et al.
Published: (2022)

Time-delayed Dynamic Mode Decomposition for families of periodic trajectories in Cislunar Space
by: Narayanan, Sriram, et al.
Published: (2024)

Inverse Optimal Cardano-Lyapunov Feedback for PDEs with Convection
by: Belhadjoudja, Mohamed Camil, et al.
Published: (2024)

On Finite- and Fixed-Time Stabilization of Abstract Nonlinear Systems with Well-Posedness Guarantees
by: Fenza, Kamal, et al.
Published: (2025)

On the Predictive Capability of Dynamic Mode Decomposition for Nonlinear Periodic Systems with Focus on Orbital Mechanics
by: Narayanan, Sriram, et al.
Published: (2024)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
by: Liu, Jun, et al.
Published: (2025)

A Lyapunov Characterization of Robust D-Stability with Application to Decentralized Integral Control of LTI Systems
by: Casasanta, John-Paolo, et al.
Published: (2026)

Distributed Truncated Predictive Control for Networked Systems under Uncertainty: Stability and Near-Optimality Guarantee
by: Xu, Eric, et al.
Published: (2023)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
by: Quartz, Thanin, et al.
Published: (2025)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

On an Abstraction of Lyapunov and Lagrange Stability
by: Bin, Michelangelo, et al.
Published: (2025)

A Decomposition Method for Finite-Time Stabilization of Bilinear Systems with Applications to Parabolic and Hyperbolic Equations
by: Fenza, Kamal, et al.
Published: (2025)

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
by: Zhao, Pan
Published: (2025)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
by: Tahir, Adam M
Published: (2025)

Latent Representations for Control Design with Provable Stability and Safety Guarantees
by: Lutkus, Paul, et al.
Published: (2025)

Scenario Reduction with Guarantees for Stochastic Optimal Control of Linear Systems
by: Cordiano, Francesco, et al.
Published: (2024)

Finite Control Set Model Predictive Control with Limit Cycle Stability Guarantees
by: Xu, Duo, et al.
Published: (2024)

Reinforcement Learning for Distributed Transient Frequency Control with Stability and Safety Guarantees
by: Yuan, Zhenyi, et al.
Published: (2022)

High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees
by: Izadi, Maedeh, et al.
Published: (2024)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
by: Liu, Shuo, et al.
Published: (2023)

Dynamic Quantum-Assisted Co-Design of Control Tuning and Lyapunov Stability Synthesis for Nonlinear Systems
by: Hasanzadeh, Milad, et al.
Published: (2026)

Novel Multi-objective Switched Model Predictive Control with Feasibility and Stability Guarantees
by: Niepötter, Elias, et al.
Published: (2025)

Flexibility Characterization of Sustainable Power Systems in Demand Space: A Data-Driven Inverse Optimization Approach
by: Awadalla, Mohamed, et al.
Published: (2022)

Modular Design of Strict Control Lyapunov Functions for Global Stabilization of the Unicycle in Polar Coordinates
by: Todorovski, Velimir, et al.
Published: (2025)

Deep Koopman Iterative Learning and Stability-Guaranteed Control for Unknown Nonlinear Time-Varying Systems
by: Zhang, Hengde, et al.
Published: (2026)

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
by: Meijer, T. J., et al.
Published: (2023)

Adaptive Output Feedback MPC with Guaranteed Stability and Robustness
by: Dey, Anchita, et al.
Published: (2025)

Bootstrapping Guarantees: Stability and Performance Analysis for Dynamic Encrypted Control
by: Schlor, Sebastian, et al.
Published: (2024)

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
by: Gong, Zheng, et al.
Published: (2024)

Optimal Control Barrier Functions: Maximizing the Action Space Subject to Control Bounds
by: Beaver, Logan E.
Published: (2024)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)