The following pages link to Sostools (Q13635):
Displaying 50 items.
- Partial facial reduction: simplified, equivalent SDPs via approximations of the PSD cone (Q1785193) (← links)
- Construction of a smooth Lyapunov function for the robust and exact second-order differentiator (Q1793047) (← links)
- Safety verification of interconnected hybrid systems using barrier certificates (Q1793125) (← links)
- Periodic event-triggered control of nonlinear systems using overapproximation techniques (Q1797091) (← links)
- Symmetry groups, semidefinite programs, and sums of squares (Q1878418) (← links)
- Stability analysis of nonlinear-function fuzzy-model-based control systems (Q1935120) (← links)
- Strange behaviors of interior-point methods for solving semidefinite programming problems in polynomial optimization (Q1935573) (← links)
- The tracial moment problem and trace-optimization of polynomials (Q1942272) (← links)
- Improved polynomial fuzzy modeling and controller with stability analysis for nonlinear dynamical systems (Q1954597) (← links)
- An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming (Q1994127) (← links)
- Robust consensus for linear multi-agent systems with mixed uncertainties (Q2018585) (← links)
- A model for the regulation of apoptosis intrinsic pathway: the potential role of the transcriptional regulator E2F in the point of no return (Q2041289) (← links)
- Efficient stability analysis approaches for nonlinear weakly-hard real-time control systems (Q2065221) (← links)
- Continuous-time switched systems with switching frequency constraints: path-complete stability criteria (Q2071940) (← links)
- Efficient semidefinite programming with approximate ADMM (Q2073055) (← links)
- Reset control systems: the zero-crossing resetting law (Q2085165) (← links)
- Static output feedback stabilization of uncertain rational nonlinear systems with input saturation (Q2086983) (← links)
- Feedback control design using sum of squares optimisation (Q2095324) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Regional sampled-data synchronization of chaotic neural networks using piecewise-continuous delay dependent Lyapunov functional (Q2113717) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Duality of sum of nonnegative circuit polynomials and optimal SONC bounds (Q2156369) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Dimension reduction for semidefinite programs via Jordan algebras (Q2188241) (← links)
- Generating valid linear inequalities for nonlinear programs via sums of squares (Q2198537) (← links)
- Robust stability of fractional order system with polynomial uncertainties based on sum-of-squares approach (Q2198697) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- Computation and verification of contraction metrics for exponentially stable equilibria (Q2226305) (← links)
- Extent-compatible control barrier functions (Q2242997) (← links)
- Polynomially parameter dependent exponential stabilization of sampled-data LPV systems (Q2245951) (← links)
- Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets (Q2252978) (← links)
- A sum of squares approach to robust PI controller synthesis for a class of polynomial multi-input multi-output nonlinear systems (Q2259616) (← links)
- Batch sequential designs for computer experiments (Q2270267) (← links)
- On the quantification of aleatory and epistemic uncertainty using sliced-normal distributions (Q2278545) (← links)
- Design of polynomial fuzzy observer-controller with membership functions using unmeasurable premise variables for nonlinear systems (Q2279537) (← links)
- Application of sum of squares method in nonlinear \(H_ \infty\) control for satellite attitude maneuvers (Q2280286) (← links)
- Lyapunov based estimation of the basin of attraction of Poincaré maps with applications to limit cycle walking (Q2283236) (← links)
- State and disturbance observers-based polynomial fuzzy controller (Q2292947) (← links)
- Simultaneous stabilization of polynomial nonlinear systems via density functions (Q2297408) (← links)
- Chordal decomposition in operator-splitting methods for sparse semidefinite programs (Q2297655) (← links)
- Decentralized polynomial observer design for discrete-time large-scale polynomial T-S fuzzy system (Q2298182) (← links)
- Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems (Q2304049) (← links)
- Set-completely-positive representations and cuts for the max-cut polytope and the unit modulus lifting (Q2307758) (← links)
- Modeling and estimation of thermal flows based on transport and balance equations (Q2308071) (← links)
- Co-design of aperiodic sampled-data min-jumping rules for linear impulsive, switched impulsive and sampled-data systems (Q2327397) (← links)
- A generalised integral polynomial Lyapunov function for nonlinear systems (Q2328811) (← links)
- Convex conditions for robust stabilization of uncertain switched systems with guaranteed minimum and mode-dependent dwell-time (Q2347841) (← links)
- Convex conditions for robust stability analysis and stabilization of linear aperiodic impulsive and sampled-data systems under dwell-time constraints (Q2350815) (← links)
