Image de couverture de livre

Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Geyer, Fabian, Tuttas, Friedrich, Fichter, Walter, Cunis, Torbjørn
Format:	Preprint
Publié:	2026
Sujets:	Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Input-to-State Stability of a Bilevel Proximal Gradient Descent Algorithm
par: Kolmanovsky, Torbjørn Cunis Ilya
Publié: (2022)

Input-to-State Stability of Newton Methods for Generalized Equations in Nonlinear Optimization
par: Cunis, Torbjørn, et autres
Publié: (2024)

Novel Multi-objective Switched Model Predictive Control with Feasibility and Stability Guarantees
par: Niepötter, Elias, et autres
Publié: (2025)

On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
par: Olucak, Jan, et autres
Publié: (2026)

CaΣoS: A nonlinear sum-of-squares optimization suite
par: Cunis, Torbjørn, et autres
Publié: (2024)

Safe-by-Design: Approximate Nonlinear Model Predictive Control with Real Time Feasibility
par: Olucak, Jan, et autres
Publié: (2025)

Virtual Target Trajectory Prediction for Stochastic Targets
par: Schneider, Marc, et autres
Publié: (2025)

Constrained Control Allocation With Continuous-Time Rate Constraints: Three-Dimensional Case
par: Özkurt, Süleyman, et autres
Publié: (2025)

Polyconvexity with Moments and Sums of Squares
par: Fantuzzi, Giovanni, et autres
Publié: (2026)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
par: Wang, Han, et autres
Publié: (2022)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
par: Tahir, Adam M
Publié: (2025)

Adaptive Controller For Simultaneous Spacecraft Attitude Tracking And Reaction Wheel Fault Detection
par: Riano-Rios, Camilo, et autres
Publié: (2025)

Attitude Tracking of Uncertain Flexible Spacecraft Systems Subject to Unknown External Disturbances
par: Bao, Zean, et autres
Publié: (2024)

Sum-of-Squares Hierarchy for the Gromov Wasserstein Problem
par: Tran, Hoang Anh, et autres
Publié: (2025)

Postive Semidefinite and Sum of Squares Biquadratic Polynomials
par: Cui, Chunfeng, et autres
Publié: (2025)

Sum of Squares Decompositions for Structured Biquadratic Forms
par: Xu, Yi, et autres
Publié: (2025)

Modified Control Barrier Function for Quadratic Program Based Control Design via Sum-of-Squares Programming
par: Lin, Yankai, et autres
Publié: (2025)

Synthesizing Control Laws from Data using Sum-of-Squares Optimization
par: Bramburger, Jason J., et autres
Publié: (2023)

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
par: Shakhesi, Erfan, et autres
Publié: (2025)

Sum of Squares Rank of Biquadratic Forms and The Zarankiewicz Number
par: Cui, Chunfeng, et autres
Publié: (2026)

Sum of Squares Decompositions and Rank Bounds for Biquadratic Forms
par: Qi, Liqun, et autres
Publié: (2026)

S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization
par: Zhu, Richard L., et autres
Publié: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
par: Amorese, Peter, et autres
Publié: (2025)

Efficient Input-Constrained Impulsive Optimal Control of Linear Systems with Application to Spacecraft Relative Motion
par: Foss, Ethan, et autres
Publié: (2025)

On the Degree Automatability of Sum-of-Squares Proofs
par: Bortolotti, Alex, et autres
Publié: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Sum-Of-Squares To Approximate Knapsack
par: Kothari, Pravesh K., et autres
Publié: (2025)

Sum of Squares Submodularity
par: Deza, Anna, et autres
Publié: (2025)

On Constrained Feedback Control of Spacecraft Orbital Transfer Maneuvers
par: Semeraro, Simone, et autres
Publié: (2024)

Towards Optimal Spatio-Temporal Decomposition of Control-Related Sum-of-Squares Programs
par: Cibulka, Vít, et autres
Publié: (2024)

Bounding the Settling Time of Finite-Time Stable Systems using Sum of Squares
par: Kisole, Sengiyumva, et autres
Publié: (2025)

Convex computation of regions of attraction from data using Sums-of-Squares programming
par: Khattabi, Oumayma, et autres
Publié: (2025)

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

Moment Sum-of-Squares Hierarchy for Gromov Wasserstein: Continuous Extensions and Sample Complexity
par: Tran, Hoang Anh, et autres
Publié: (2025)

Theory and applications of the Sum-Of-Squares technique
par: Bach, Francis, et autres
Publié: (2023)

Moments, Sums of Squares, and Tropicalization
par: Blekherman, Grigoriy, et autres
Publié: (2022)

Strong bounds for large-scale Minimum Sum-of-Squares Clustering
par: Croella, Anna Livia, et autres
Publié: (2025)

Chance-Constrained Control for Safe Spacecraft Autonomy: Convex Programming Approach
par: Oguri, Kenshiro
Publié: (2024)

Sufficient D-Stability Conditions for Non-Square Matrices
par: Tong, Yuhao, et autres
Publié: (2024)

Switching Frequency Limitation with Finite Control Set Model Predictive Control via Slack Variables
par: Hartmann, Luca M., et autres
Publié: (2023)