Cited in
(only showing first 100 items - show all)- Approximate gcds of polynomials and sparse SOS relaxations
- Global optimization of polynomials restricted to a smooth variety using sums of squares
- Synthesizing switching controllers for hybrid systems by generating invariants
- Nonlinear \(H_\infty\) output feedback control with integrator for polynomial discrete-time systems
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
- Robust stability of fractional order system with polynomial uncertainties based on sum-of-squares approach
- Positive polynomials in scalar and matrix variables, the spectral theorem, and optimization
- Signomial and polynomial optimization via relative entropy and partial dualization
- Nonstationary LPV control for trajectory tracking: a double pendulum example
- Review on computational methods for Lyapunov functions
- Boolean network representation of a continuous-time system and finite-horizon optimal control: application to the single-gene regulatory system for the lac operon
- Stability analysis and control of a class of LPV systems with piecewise constant parameters
- scientific article; zbMATH DE number 1827070 (Why is no real title available?)
- Model approximation using magnitude and phase criteria: implications for model reduction and system identification
- Analysis of Polynomial Systems With Time Delays via the Sum of Squares Decomposition
- Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set
- A complete characterization of the gap between convexity and sos-convexity
- A convex optimization model for finding non-negative polynomials
- The tracial moment problem and trace-optimization of polynomials
- Exact relaxations of non-convex variational problems
- Nonlinear \(H_\infty\) feedback control with integrator for polynomial discrete-time systems
- POS3POLY -- a MATLAB preprocessor for optimization with positive polynomials
- Chordal decomposition in operator-splitting methods for sparse semidefinite programs
- SOSTOOLS and Its Control Applications
- Bifurcation analysis of a predator-prey system with ratio-dependent functional responses
- Co-design of aperiodic sampled-data min-jumping rules for linear impulsive, switched impulsive and sampled-data systems
- Advances in computational Lyapunov analysis using sum-of-squares programming
- Grid refinement in the construction of Lyapunov functions using radial basis functions
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
- Robust stability and performance analysis of 2D mixed continuous-discrete-time systems with uncertainty
- Approximating amoebas and coamoebas by sums of squares
- Barrier certificates for nonlinear model validation
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
- Lyapunov based estimation of the basin of attraction of Poincaré maps with applications to limit cycle walking
- Approximations of Countably Infinite Linear Programs over Bounded Measure Spaces
- Stability analysis and stabilization of LPV systems with jumps and (piecewise) differentiable parameters using continuous and sampled-data controllers
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Eigenconfigurations of tensors
- Time-Varying Semidefinite Programs
- An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming
- Dual certificates and efficient rational sum-of-squares decompositions for polynomial optimization over compact sets
- Identification and validation of quasispecies models for biological systems
- Optimization of Polynomials on Compact Semialgebraic Sets
- Convex conditions for robust stabilization of uncertain switched systems with guaranteed minimum and mode-dependent dwell-time
- Convex conditions for robust stability analysis and stabilization of linear aperiodic impulsive and sampled-data systems under dwell-time constraints
- On the construction of Lyapunov functions with computer assistance
- Sparsity in sums of squares of polynomials
- Amoebas, nonnegative polynomials and sums of squares supported on circuits
- Algorithm 998: The robust LMI parser -- a toolbox to construct LMI conditions for uncertain systems
- Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
- On weak approximation of stochastic differential equations through hard bounds by mathematical programming
- Validating the completeness of the real solution set of a system of polynomial equations
- Robust Stabilization of Ship Course Via Convex Optimization
- Computing sum of squares decompositions with rational coefficients
- Analysis of partial stability problems using sum of squares techniques
- Approximate simulation relations for hybrid systems
- Exponential stabilisation of nonlinear parameter-varying systems with applications to conversion flight control of a tilt rotor aircraft
- Optimization and approximation of NC polynomials with sums of squares
- Design of continuous twisting algorithm
- Trajectory-based theory for hybrid systems
- Stability analysis and controller design of discrete-time polynomial fuzzy time-varying delay systems
- Equivalence of several stability conditions for switched linear systems with dwell time
- Robust controllability and observability degrees of polynomially uncertain systems
- Polynomials with bounds and numerical approximation
- Moment Problem and Its Applications to Risk Assessment
- Polynomial optimization and a Jacobi-Davidson type method for commuting matrices
- Algorithm 875
- NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials
- Networked gain-scheduled fault diagnosis under control input dropouts without data delivery acknowledgment
- Sums of squares over totally real fields are rational sums of squares
- Successive Rank-One Approximations for Nearly Orthogonally Decomposable Symmetric Tensors
- Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
- Performance improvement of robust controllers for polynomially uncertain systems
- Theoretical and numerical comparisons of looped functionals and clock-dependent Lyapunov functions -- The case of periodic and pseudo-periodic systems with impulses
- Stability analysis of polynomial fuzzy models via polynomial fuzzy Lyapunov functions
- Polynomial LPV approach to robust \(H_\infty\) control of nonlinear sampled-data systems
- A method for computing lowest eigenvalues of symmetric polynomial differential operators by semidefinite programming
- A convex polynomial that is not sos-convex
- Robust stabilisation of polynomial systems with uncertain parameters
- Toward unified analysis and controller synthesis for a class of hybrid systems
- scientific article; zbMATH DE number 2246591 (Why is no real title available?)
- Global Optimization of Polynomials Using Gradient Tentacles and Sums of Squares
- State and disturbance observers-based polynomial fuzzy controller
- Set-completely-positive representations and cuts for the max-cut polytope and the unit modulus lifting
- Distance optimization and the extremal variety of the Grassmann variety
- Lyapunov abstractions for inevitability of hybrid systems
- A Sum of Squares Approximation of Nonnegative Polynomials
- Dwell time-based stabilisation of switched linear delay systems using clock-dependent Lyapunov-Krasovskii functionals
- On the complexity of Putinar's Positivstellensatz
- Revisiting two theorems of Curto and Fialkow on moment matrices
- On minimizing difference of a SOS-convex polynomial and a support function over a SOS-concave matrix polynomial constraint
- Robust consensus for linear multi-agent systems with mixed uncertainties
- Extent-compatible control barrier functions
- A probabilistic interpretation of set-membership filtering: application to polynomial systems through polytopic bounding
- Stability analysis of some classes of input-affine nonlinear systems with aperiodic sampled-data control
- Trajectory Based Verification Using Local Finite-Time Invariance
- Approximately bisimilar symbolic models for nonlinear control systems
- An accelerated first-order method for solving SOS relaxations of unconstrained polynomial optimization problems
- Complete search in continuous global optimization and constraint satisfaction
- Generalization of a stability domain estimation method for nonlinear discrete systems
This page was built for software: Sostools
