Sostools

MaRDI QIDQ13635swMATHFDO

Official website http://www.cds.caltech.edu/sostools/

Cited in

(only showing first 100 items - show all)

• Approximately bisimilar symbolic models for nonlinear control systems
• Numerical approaches for collaborative data processing
• The Voronoi diagram of three lines
• Solving polynomial optimization problems via the truncated tangency variety and sums of squares
• A semi-algebraic approach for asymptotic stability analysis
• A membership-function-dependent approach for stability analysis and controller synthesis of Takagi-Sugeno models
• Robust controllability and observability degrees of polynomially uncertain systems
• CSDP
• QEPCAD
• RAGlib
• REPOP
• SBML Test Suite
• FACTEST
• Sageopt
• SYNRAC
• Adaptive switching supervisory control of nonlinear systems with no prior knowledge of noise bounds.
• SDPA
• SeDuMi
• SDPT3
• PHAVer
• SMV
• Functional observer based controller for stabilizing Takagi-Sugeno fuzzy systems with time-delays
• REDLOG
• Algorithmic and modeling insights via volumetric comparison of polyhedral relaxations
• SparsePOP
• RSOLVER
• GloptiPoly
• Nonlinear state feedback control for a class of polynomial nonlinear discrete-time systems with norm-bounded uncertainties: an integrator approach
• Stability analysis and controller design of discrete-time polynomial fuzzy time-varying delay systems
• Polynomial constraints and unsat cores in \textsc{Tarski}
• Stabilization of linear impulsive systems under dwell-time constraints: interval observer-based framework
• Finite-time stability and controller design of continuous-time polynomial fuzzy systems
• Lyapunov function computation for autonomous linear stochastic differential equations using sum-of-squares programming
• YALMIP
• Benchmarks
• Safety verification for distributed parameter systems using barrier functionals
• Observer synthesis under time-varying sampling for Lipschitz nonlinear systems
• Polynomials with bounds and numerical approximation
• Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
• On robust stability of switched systems in the context of Filippov solutions
• LFR-toolbox
• RoMulOC
• Towards scalable synthesis of stochastic control systems
• LMIRank
• Sum of squares approach for nonlinear \(\operatorname{H}_\infty\) control
• PENBMI
• MR and LTV Synthesis Tools
• TRICE
• NMTR
• csminwel
• On minimizing difference of a SOS-convex polynomial and a support function over a SOS-concave matrix polynomial constraint
• Sparsity in sums of squares of polynomials
• Guaranteed error bounds for structured complexity reduction of biochemical networks
• Partial facial reduction: simplified, equivalent SDPs via approximations of the PSD cone
• Construction of a smooth Lyapunov function for the robust and exact second-order differentiator
• Safety verification of interconnected hybrid systems using barrier certificates
• Periodic event-triggered control of nonlinear systems using overapproximation techniques
• PENLAB
• MATISSE
• Symmetry groups, semidefinite programs, and sums of squares
• ACCPM
• NCSOStools
• RACT
• dReal
• Stability analysis of nonlinear-function fuzzy-model-based control systems
• Strange behaviors of interior-point methods for solving semidefinite programming problems in polynomial optimization
• Robotics
• The tracial moment problem and trace-optimization of polynomials
• HSolver
• Improved polynomial fuzzy modeling and controller with stability analysis for nonlinear dynamical systems
• DISCOVERER
• NCAlgebra
• An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming
• Robust consensus for linear multi-agent systems with mixed uncertainties
• A model for the regulation of apoptosis intrinsic pathway: the potential role of the transcriptional regulator E2F in the point of no return
• Efficient stability analysis approaches for nonlinear weakly-hard real-time control systems
• Outward rotations
• Continuous-time switched systems with switching frequency constraints: path-complete stability criteria
• Efficient semidefinite programming with approximate ADMM
• Reset control systems: the zero-crossing resetting law
• Static output feedback stabilization of uncertain rational nonlinear systems with input saturation
• Feedback control design using sum of squares optimisation
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
• Regional sampled-data synchronization of chaotic neural networks using piecewise-continuous delay dependent Lyapunov functional
• Pegasus: sound continuous invariant generation
• Duality of sum of nonnegative circuit polynomials and optimal SONC bounds
• AutoMOTGen
• An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
• POS3POLY
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Dimension reduction for semidefinite programs via Jordan algebras
• Bertini_real
• Generating valid linear inequalities for nonlinear programs via sums of squares
• Robust stability of fractional order system with polynomial uncertainties based on sum-of-squares approach
• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
• Computation and verification of contraction metrics for exponentially stable equilibria
• Extent-compatible control barrier functions
• Polynomially parameter dependent exponential stabilization of sampled-data LPV systems
• Sbmltoolbox

This page was built for software: Sostools