SOSOPT

swMATH13407MaRDI QIDQ25321FDOQ25321

Author name not available (Why is that?)

Official website: http://arxiv.org/abs/1308.1889

Cited In (16)

• 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
• Polynomial LPV approach to robust \(H_\infty\) control of nonlinear sampled-data systems
• 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
• Sum-of-squares optimization without semidefinite programming
• Smaller SDP for SOS decomposition
• Viability, viscosity, and storage functions in model-predictive control with terminal constraints
• GpoSolver
• ROLMIP
• Compositional performance certification of interconnected systems using ADMM
• Safety verification of interconnected hybrid systems using barrier certificates
• Stability verification for a class of stochastic hybrid systems by semidefinite programming
• SeDuMi Interface
• 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

This page was built for software: SOSOPT