SOSOPT
From MaRDI portal
Software:25321
No author found.
Related Items (13)
Viability, viscosity, and storage functions in model-predictive control with terminal constraints ⋮ Integral quadratic constraints for delayed nonlinear and parameter-varying systems ⋮ Dimension reduction for semidefinite programs via Jordan algebras ⋮ Compositional performance certification of interconnected systems using ADMM ⋮ Polynomial LPV approach to robust H∞ control of nonlinear sampled-data systems ⋮ Sum-of-Squares Optimization without Semidefinite Programming ⋮ Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming ⋮ Stability andL1× ℓ1-to-L1× ℓ1performance analysis of uncertain impulsive linear positive systems with applications to the interval observation of impulsive and switched systems with constant delays ⋮ Stability and performance verification of optimization-based controllers ⋮ Lyapunov based estimation of the basin of attraction of Poincaré maps with applications to limit cycle walking ⋮ Safety verification of interconnected hybrid systems using barrier certificates ⋮ Smaller SDP for SOS decomposition ⋮ Controller design and value function approximation for nonlinear dynamical systems
This page was built for software: SOSOPT