The following pages link to Sostools (Q13635):
Displaying 50 items.
- Generalization of a stability domain estimation method for nonlinear discrete systems (Q725743) (← links)
- Smaller SDP for SOS decomposition (Q746820) (← links)
- Synchronization of generalized Hénon map using polynomial controller (Q763872) (← links)
- Minimum ellipsoid bounds for solutions of polynomial systems via sum of squares (Q816068) (← links)
- Signomial and polynomial optimization via relative entropy and partial dualization (Q823883) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Sum of squares method for sensor network localization (Q839485) (← links)
- Semidefinite programming and sums of Hermitian squares of noncommutative polynomials (Q847674) (← links)
- Semidefinite representation of convex sets (Q847843) (← links)
- Toward unified analysis and controller synthesis for a class of hybrid systems (Q854127) (← links)
- Representations of positive polynomials on noncompact semialgebraic sets via KKT ideals (Q863907) (← links)
- On the complexity of Putinar's Positivstellensatz (Q870344) (← links)
- An extension of sums of squares relaxations to polynomial optimization problems over symmetric cones (Q879967) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Analysis of stability and robust stability of polynomial fuzzy model-based control systems using a sum-of-squares approach (Q894678) (← links)
- Stability analysis and control of a class of LPV systems with piecewise constant parameters (Q899112) (← links)
- On the performance of nonlinear dynamical systems under parameter perturbation (Q901209) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Exact relaxations of non-convex variational problems (Q941046) (← links)
- A polynomial approach for stability analysis of switched systems (Q962173) (← links)
- Interconnection-based performance analysis for a class of decentralized controllers (Q980908) (← links)
- Adaptive output control of uncertain nonlinear systems with non-symmetric dead-zone input (Q983955) (← links)
- A method for computing lowest eigenvalues of symmetric polynomial differential operators by semidefinite programming (Q984697) (← links)
- Performance improvement of robust controllers for polynomially uncertain systems (Q985270) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Numerical approaches for collaborative data processing (Q1027146) (← links)
- The Voronoi diagram of three lines (Q1028584) (← links)
- Solving polynomial optimization problems via the truncated tangency variety and sums of squares (Q1030710) (← links)
- A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
- A membership-function-dependent approach for stability analysis and controller synthesis of Takagi-Sugeno models (Q1043276) (← links)
- Robust controllability and observability degrees of polynomially uncertain systems (Q1049163) (← links)
- Adaptive switching supervisory control of nonlinear systems with no prior knowledge of noise bounds. (Q1428135) (← links)
- Functional observer based controller for stabilizing Takagi-Sugeno fuzzy systems with time-delays (Q1643227) (← links)
- Algorithmic and modeling insights via volumetric comparison of polyhedral relaxations (Q1650771) (← links)
- Nonlinear state feedback control for a class of polynomial nonlinear discrete-time systems with norm-bounded uncertainties: an integrator approach (Q1659377) (← links)
- Stability analysis and controller design of discrete-time polynomial fuzzy time-varying delay systems (Q1660812) (← links)
- Polynomial constraints and unsat cores in \textsc{Tarski} (Q1662298) (← links)
- Stabilization of linear impulsive systems under dwell-time constraints: interval observer-based framework (Q1663029) (← links)
- Finite-time stability and controller design of continuous-time polynomial fuzzy systems (Q1667548) (← links)
- Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming (Q1671067) (← links)
- Safety verification for distributed parameter systems using barrier functionals (Q1678571) (← links)
- Observer synthesis under time-varying sampling for Lipschitz nonlinear systems (Q1679888) (← links)
- Polynomials with bounds and numerical approximation (Q1681786) (← links)
- Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (Q1690489) (← links)
- On robust stability of switched systems in the context of Filippov solutions (Q1690967) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Sum of squares approach for nonlinear \(\operatorname{H}_\infty\) control (Q1723130) (← links)
- On minimizing difference of a SOS-convex polynomial and a support function over a SOS-concave matrix polynomial constraint (Q1749450) (← links)
- Sparsity in sums of squares of polynomials (Q1777218) (← links)
- Guaranteed error bounds for structured complexity reduction of biochemical networks (Q1784387) (← links)
