SOSOPT

swMATH13407MaRDI QIDQ25321FDOQ25321

Author name not available (Why is that?)

Cited In (13)

• Lyapunov based estimation of the basin of attraction of Poincaré maps with applications to limit cycle walking
• Controller design and value function approximation for nonlinear dynamical systems
• Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming
• Stability andL₁× ℓ₁-to-L₁× ℓ₁performance analysis of uncertain impulsive linear positive systems with applications to the interval observation of impulsive and switched systems with constant delays
• Smaller SDP for SOS decomposition
• Viability, viscosity, and storage functions in model-predictive control with terminal constraints
• Compositional performance certification of interconnected systems using ADMM
• Safety verification of interconnected hybrid systems using barrier certificates
• Polynomial LPV approach to robust H_∞ control of nonlinear sampled-data systems
• Dimension reduction for semidefinite programs via Jordan algebras
• Stability and performance verification of optimization-based controllers
• Integral quadratic constraints for delayed nonlinear and parameter-varying systems
• Sum-of-Squares Optimization without Semidefinite Programming

This page was built for software: SOSOPT