The following pages link to Sostools (Q13635):
Displaying 50 items.
- Nonstationary LPV control for trajectory tracking: a double pendulum example (Q4905775) (← links)
- On Weak Approximation of Stochastic Differential Equations through Hard Bounds by Mathematical Programming (Q4917123) (← links)
- An Optimization Approach to Weak Approximation of Lévy-Driven Stochastic Differential Equations (Q4931165) (← links)
- Time-Varying Semidefinite Programs (Q4958555) (← links)
- Algorithm 996 (Q4960955) (← links)
- Algorithm 998 (Q4960957) (← links)
- A Biology-Inspired Approach to the Positive Integral Control of Positive Systems: The Antithetic, Exponential, and Logistic Integral Controllers (Q4961113) (← links)
- Analysis of Polynomial Systems With Time Delays via the Sum of Squares Decomposition (Q4974566) (← links)
- Control analysis and design via randomised coordinate polynomial minimisation (Q5027405) (← links)
- Optimally robust <i>H</i><sub>∞</sub> polynomial fuzzy controller design using quantum-inspired evolutionary algorithm (Q5027782) (← links)
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers (Q5039505) (← links)
- Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets (Q5043282) (← links)
- Automated Nonlinear Control Structure Design by Domain of Attraction Maximization with Eigenvalue and Frequency Domain Specifications (Q5053554) (← links)
- Analysis of Linear Partial Differential Equations Using Convex Optimization (Q5054570) (← links)
- Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions (Q5109376) (← links)
- Dwell time-based stabilisation of switched linear delay systems using clock-dependent Lyapunov–Krasovskii functionals (Q5113279) (← links)
- Polynomial LPV approach to robust <i>H</i><sub>∞</sub> control of nonlinear sampled-data systems (Q5130089) (← links)
- Observer‐based controller for positive polynomial systems with time delay (Q5131062) (← links)
- Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming (Q5145609) (← links)
- Modelling and analysis of gene regulatory network using feedback control theory (Q5168756) (← links)
- A framework for input–output analysis of wall-bounded shear flows (Q5229688) (← links)
- Exponential stabilisation of nonlinear parameter-varying systems with applications to conversion flight control of a tilt rotor aircraft (Q5240693) (← links)
- A linear algebra method to decompose forms whose length is lower than the number of variables into weighted sum of squares (Q5240712) (← links)
- Nonlinear <i>H</i><sub> ∞ </sub> output feedback control with integrator for polynomial discrete‐time systems (Q5254127) (← links)
- The minimum-rank gram matrix completion via modified fixed point continuation method (Q5254179) (← links)
- Algebraic analysis on asymptotic stability of continuous dynamical systems (Q5254188) (← links)
- Complete search in continuous global optimization and constraint satisfaction (Q5292941) (← links)
- An accelerated first-order method for solving SOS relaxations of unconstrained polynomial optimization problems (Q5299903) (← links)
- Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars (Q5301618) (← links)
- Hybrid Systems: Computation and Control (Q5307944) (← links)
- Generalized Lagrangian Duals and Sums of Squares Relaxations of Sparse Polynomial Optimization Problems (Q5317519) (← links)
- Optimization of Polynomials on Compact Semialgebraic Sets (Q5317523) (← links)
- Time-domain performance based non-linear state feedback control of constrained linear systems (Q5323289) (← links)
- Sum-of-squares approach to feedback control of laminar wake flows (Q5360594) (← links)
- Design of polynomial fuzzy observer–controller for nonlinear systems with state delay: sum of squares approach (Q5363135) (← links)
- Deciding Robust Feasibility and Infeasibility Using a Set Containment Approach: An Application to Stationary Passive Gas Network Operations (Q5376454) (← links)
- Moment Problem and Its Applications to Risk Assessment (Q5379219) (← links)
- Robust nonlinear stability and performance analysis of an F/A‐18 aircraft model using sum of squares programming (Q5411827) (← links)
- Robust stabilisation of polynomial systems with uncertain parameters (Q5416398) (← links)
- A Sum of Squares Approximation of Nonnegative Polynomials (Q5432390) (← links)
- Revisiting two theorems of Curto and Fialkow on moment matrices (Q5461308) (← links)
- Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity (Q5470252) (← links)
- (Q5492525) (← links)
- Approximating amoebas and coamoebas by sums of squares (Q5497034) (← links)
- Bounds for Deterministic and Stochastic Dynamical Systems using Sum-of-Squares Optimization (Q5506818) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711486) (← links)
- (Q5717954) (← links)
- Global Optimization of Polynomials Using Gradient Tentacles and Sums of Squares (Q5757356) (← links)
- Approximations of Countably Infinite Linear Programs over Bounded Measure Spaces (Q5853565) (← links)
- Saturated Feedback Control Using Different Higher-Order Sliding-Mode Algorithms (Q5855901) (← links)
