table#1 { ["head"] = table#2 { ["vars"] = table#3 { "subjectLabel", "zbmath_de_number", [0] = "subject", }, }, ["results"] = table#4 { ["bindings"] = table#5 { table#6 { ["subject"] = table#7 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q2283236", }, ["subjectLabel"] = table#8 { ["type"] = "literal", ["value"] = "Lyapunov based estimation of the basin of attraction of Poincaré maps with applications to limit cycle walking", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#9 { ["type"] = "literal", ["value"] = "7146911", }, }, table#10 { ["subject"] = table#11 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q5130089", }, ["subjectLabel"] = table#12 { ["type"] = "literal", ["value"] = "Polynomial LPV approach to robust \\(H_\\infty\\) control of nonlinear sampled-data systems", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#13 { ["type"] = "literal", ["value"] = "7269505", }, }, table#14 { ["subject"] = table#15 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q3386561", }, ["subjectLabel"] = table#16 { ["type"] = "literal", ["value"] = "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", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#17 { ["type"] = "literal", ["value"] = "7290314", }, }, table#18 { ["subject"] = table#19 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q4629344", }, ["subjectLabel"] = table#20 { ["type"] = "literal", ["value"] = "Sum-of-squares optimization without semidefinite programming", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#21 { ["type"] = "literal", ["value"] = "7040593", }, }, table#22 { ["subject"] = table#23 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q13635", }, ["subjectLabel"] = table#24 { ["type"] = "literal", ["value"] = "Sostools", ["xml:lang"] = "en", }, }, table#25 { ["subject"] = table#26 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q27591", }, ["subjectLabel"] = table#27 { ["type"] = "literal", ["value"] = "GpoSolver", ["xml:lang"] = "en", }, }, table#28 { ["subject"] = table#29 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q746820", }, ["subjectLabel"] = table#30 { ["type"] = "literal", ["value"] = "Smaller SDP for SOS decomposition", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#31 { ["type"] = "literal", ["value"] = "6496854", }, }, table#32 { ["subject"] = table#33 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q32970", }, ["subjectLabel"] = table#34 { ["type"] = "literal", ["value"] = "ROLMIP", ["xml:lang"] = "en", }, }, table#35 { ["subject"] = table#36 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q2665391", }, ["subjectLabel"] = table#37 { ["type"] = "literal", ["value"] = "Viability, viscosity, and storage functions in model-predictive control with terminal constraints", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#38 { ["type"] = "literal", ["value"] = "7430170", }, }, table#39 { ["subject"] = table#40 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q5974006", }, ["subjectLabel"] = table#41 { ["type"] = "literal", ["value"] = "SeDuMi Interface", ["xml:lang"] = "en", }, }, table#42 { ["subject"] = table#43 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q900650", }, ["subjectLabel"] = table#44 { ["type"] = "literal", ["value"] = "Compositional performance certification of interconnected systems using ADMM", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#45 { ["type"] = "literal", ["value"] = "6523627", }, }, table#46 { ["subject"] = table#47 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q1793125", }, ["subjectLabel"] = table#48 { ["type"] = "literal", ["value"] = "Safety verification of interconnected hybrid systems using barrier certificates", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#49 { ["type"] = "literal", ["value"] = "6953165", }, }, table#50 { ["subject"] = table#51 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q5145609", }, ["subjectLabel"] = table#52 { ["type"] = "literal", ["value"] = "Stability verification for a class of stochastic hybrid systems by semidefinite programming", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#53 { ["type"] = "literal", ["value"] = "7299450", }, }, table#54 { ["subject"] = table#55 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q2188241", }, ["subjectLabel"] = table#56 { ["type"] = "literal", ["value"] = "Dimension reduction for semidefinite programs via Jordan algebras", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#57 { ["type"] = "literal", ["value"] = "7210783", }, }, table#58 { ["subject"] = table#59 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q518285", }, ["subjectLabel"] = table#60 { ["type"] = "literal", ["value"] = "Stability and performance verification of optimization-based controllers", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#61 { ["type"] = "literal", ["value"] = "6697681", }, }, table#62 { ["subject"] = table#63 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q888999", }, ["subjectLabel"] = table#64 { ["type"] = "literal", ["value"] = "Integral quadratic constraints for delayed nonlinear and parameter-varying systems", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#65 { ["type"] = "literal", ["value"] = "6505037", }, }, [0] = table#66 { ["subject"] = table#67 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q259396", }, ["subjectLabel"] = table#68 { ["type"] = "literal", ["value"] = "Controller design and value function approximation for nonlinear dynamical systems", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#69 { ["type"] = "literal", ["value"] = "6554363", }, }, }, }, } table#1 { ["head"] = table#2 { ["vars"] = table#3 { "subjectLabel", "zbmath_de_number", [0] = "subject", }, }, ["results"] = table#4 { ["bindings"] = table#5 { table#6 { ["subject"] = table#7 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q2283236", }, ["subjectLabel"] = table#8 { ["type"] = "literal", ["value"] = "Lyapunov based estimation of the basin of attraction of Poincaré maps with applications to limit cycle walking", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#9 { ["type"] = "literal", ["value"] = "7146911", }, }, table#10 { ["subject"] = table#11 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q5130089", }, ["subjectLabel"] = table#12 { ["type"] = "literal", ["value"] = "Polynomial LPV approach to robust \\(H_\\infty\\) control of nonlinear sampled-data systems", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#13 { ["type"] = "literal", ["value"] = "7269505", }, }, table#14 { ["subject"] = table#15 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q3386561", }, ["subjectLabel"] = table#16 { ["type"] = "literal", ["value"] = "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", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#17 { ["type"] = "literal", ["value"] = "7290314", }, }, table#18 { ["subject"] = table#19 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q4629344", }, ["subjectLabel"] = table#20 { ["type"] = "literal", ["value"] = "Sum-of-squares optimization without semidefinite programming", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#21 { ["type"] = "literal", ["value"] = "7040593", }, }, table#22 { ["subject"] = table#23 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q13635", }, ["subjectLabel"] = table#24 { ["type"] = "literal", ["value"] = "Sostools", ["xml:lang"] = "en", }, }, table#25 { ["subject"] = table#26 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q27591", }, ["subjectLabel"] = table#27 { ["type"] = "literal", ["value"] = "GpoSolver", ["xml:lang"] = "en", }, }, table#28 { ["subject"] = table#29 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q746820", }, ["subjectLabel"] = table#30 { ["type"] = "literal", ["value"] = "Smaller SDP for SOS decomposition", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#31 { ["type"] = "literal", ["value"] = "6496854", }, }, table#32 { ["subject"] = table#33 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q32970", }, ["subjectLabel"] = table#34 { ["type"] = "literal", ["value"] = "ROLMIP", ["xml:lang"] = "en", }, }, table#35 { ["subject"] = table#36 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q2665391", }, ["subjectLabel"] = table#37 { ["type"] = "literal", ["value"] = "Viability, viscosity, and storage functions in model-predictive control with terminal constraints", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#38 { ["type"] = "literal", ["value"] = "7430170", }, }, table#39 { ["subject"] = table#40 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q5974006", }, ["subjectLabel"] = table#41 { ["type"] = "literal", ["value"] = "SeDuMi Interface", ["xml:lang"] = "en", }, }, table#42 { ["subject"] = table#43 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q900650", }, ["subjectLabel"] = table#44 { ["type"] = "literal", ["value"] = "Compositional performance certification of interconnected systems using ADMM", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#45 { ["type"] = "literal", ["value"] = "6523627", }, }, table#46 { ["subject"] = table#47 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q1793125", }, ["subjectLabel"] = table#48 { ["type"] = "literal", ["value"] = "Safety verification of interconnected hybrid systems using barrier certificates", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#49 { ["type"] = "literal", ["value"] = "6953165", }, }, table#50 { ["subject"] = table#51 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q5145609", }, ["subjectLabel"] = table#52 { ["type"] = "literal", ["value"] = "Stability verification for a class of stochastic hybrid systems by semidefinite programming", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#53 { ["type"] = "literal", ["value"] = "7299450", }, }, table#54 { ["subject"] = table#55 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q2188241", }, ["subjectLabel"] = table#56 { ["type"] = "literal", ["value"] = "Dimension reduction for semidefinite programs via Jordan algebras", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#57 { ["type"] = "literal", ["value"] = "7210783", }, }, table#58 { ["subject"] = table#59 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q518285", }, ["subjectLabel"] = table#60 { ["type"] = "literal", ["value"] = "Stability and performance verification of optimization-based controllers", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#61 { ["type"] = "literal", ["value"] = "6697681", }, }, table#62 { ["subject"] = table#63 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q888999", }, ["subjectLabel"] = table#64 { ["type"] = "literal", ["value"] = "Integral quadratic constraints for delayed nonlinear and parameter-varying systems", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#65 { ["type"] = "literal", ["value"] = "6505037", }, }, [0] = table#66 { ["subject"] = table#67 { ["type"] = "uri", ["value"] = "https://portal.mardi4nfdi.de/entity/Q259396", }, ["subjectLabel"] = table#68 { ["type"] = "literal", ["value"] = "Controller design and value function approximation for nonlinear dynamical systems", ["xml:lang"] = "en", }, ["zbmath_de_number"] = table#69 { ["type"] = "literal", ["value"] = "6554363", }, }, }, }, }

SOSOPT