Sostools

swMATH891MaRDI QIDQ13635FDOQ13635

Author name not available (Why is that?)

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

Cited In (only showing first 100 items - show all)

• Co-design of aperiodic sampled-data min-jumping rules for linear impulsive, switched impulsive and sampled-data systems
• Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
• 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
• An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming
• Algorithm 998: The robust LMI parser -- a toolbox to construct LMI conditions for uncertain systems
• 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
• Equivalence of several stability conditions for switched linear systems with dwell time
• Networked gain-scheduled fault diagnosis under control input dropouts without data delivery acknowledgment
• Polynomial LPV approach to robust \(H_\infty\) control of nonlinear sampled-data systems
• State and disturbance observers-based polynomial fuzzy controller
• Set-completely-positive representations and cuts for the max-cut polytope and the unit modulus lifting
• Lyapunov abstractions for inevitability of hybrid systems
• On minimizing difference of a SOS-convex polynomial and a support function over a SOS-concave matrix polynomial constraint
• Extent-compatible control barrier functions
• Robust consensus for linear multi-agent systems with mixed uncertainties
• Reset control systems: the zero-crossing resetting law
• Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems
• Polynomially parameter dependent exponential stabilization of sampled-data LPV systems
• Stability andL₁× ℓ₁-to-L₁× ℓ₁performance analysis of uncertain impulsive linear positive systems with applications to the interval observation of impulsive and switched systems with constant delays
• On the quantification of aleatory and epistemic uncertainty using sliced-normal distributions
• An algorithm for decomposing a non-negative polynomial as a sum of squares of rational functions
• Sum-of-squares optimization without semidefinite programming
• Pegasus: sound continuous invariant generation
• A sum of squares approach to robust PI controller synthesis for a class of polynomial multi-input multi-output nonlinear systems
• Sum-of-squares approach to feedback control of laminar wake flows
• Saturated feedback control using different higher-order sliding-mode algorithms
• Duality of sum of nonnegative circuit polynomials and optimal SONC bounds
• Automated and sound synthesis of Lyapunov functions with SMT solvers
• A model for the regulation of apoptosis intrinsic pathway: the potential role of the transcriptional regulator E2F in the point of no return
• Computation and verification of contraction metrics for exponentially stable equilibria
• Construction of a smooth Lyapunov function for the robust and exact second-order differentiator
• Periodic event-triggered control of nonlinear systems using overapproximation techniques
• Simultaneous stabilization of polynomial nonlinear systems via density functions
• An SOS method for the design of continuous and discontinuous differentiators
• A generalised integral polynomial Lyapunov function for nonlinear systems
• An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Efficient stability analysis approaches for nonlinear weakly-hard real-time control systems
• Solving polynomial least squares problems via semidefinite programming relaxations
• Optimization based methods for partially observed chaotic systems
• Decentralized polynomial observer design for discrete-time large-scale polynomial T-S fuzzy system
• Continuous-time switched systems with switching frequency constraints: path-complete stability criteria
• Generating valid linear inequalities for nonlinear programs via sums of squares
• Dimension reduction for semidefinite programs via Jordan algebras
• A sum of squares approach to backstepping controller synthesis for piecewise affine and polynomial systems
• Application of sum of squares method in nonlinear \(H_ \infty\) control for satellite attitude maneuvers
• Static output feedback stabilization of uncertain rational nonlinear systems with input saturation
• A biology-inspired approach to the positive integral control of positive systems: the antithetic, exponential, and logistic integral controllers
• The domain of attraction for a SEIR epidemic model based on sum of square optimization
• Feedback control design using sum of squares optimisation
• Robust stability of fractional order system with polynomial uncertainties based on sum-of-squares approach
• Boolean network representation of a continuous-time system and finite-horizon optimal control: application to the single-gene regulatory system for the lac operon
• Signomial and polynomial optimization via relative entropy and partial dualization
• Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set
• Bifurcation analysis of a predator-prey system with ratio-dependent functional responses
• Stability analysis and control of a class of LPV systems with piecewise constant parameters
• Approximations of Countably Infinite Linear Programs over Bounded Measure Spaces
• Eigenconfigurations of tensors
• Sageopt
• Robust Stabilization of Ship Course Via Convex Optimization
• Design of continuous twisting algorithm
• Successive Rank-One Approximations for Nearly Orthogonally Decomposable Symmetric Tensors
• Title not available (Why is that?)
• A method for computing lowest eigenvalues of symmetric polynomial differential operators by semidefinite programming
• Toward unified analysis and controller synthesis for a class of hybrid systems
• Dwell time-based stabilisation of switched linear delay systems using clock-dependent Lyapunov-Krasovskii functionals
• Trajectory Based Verification Using Local Finite-Time Invariance
• Constrained trace-optimization of polynomials in freely noncommuting variables
• Deciding robust feasibility and infeasibility using a set containment approach: an application to stationary passive gas network operations
• Regional sampled-data synchronization of chaotic neural networks using piecewise-continuous delay dependent Lyapunov functional
• Solving global optimization problems over polynomials with GloptiPoly 2.1
• Improved polynomial fuzzy modeling and controller with stability analysis for nonlinear dynamical systems
• Stability analysis and estimation of domain of attraction for the endemic equilibrium of an SEIQ epidemic model
• Dissipativity-based framework for stability analysis of aperiodically sampled nonlinear systems with time-varying delay
• fminunc
• Stabilization of linear impulsive systems under dwell-time constraints: interval observer-based framework
• Region of attraction estimation using invariant sets and rational Lyapunov functions
• Numerical approaches for collaborative data processing
• The Voronoi diagram of three lines
• The minimum-rank Gram matrix completion via modified fixed point continuation method
• Analysis of stability and robust stability of polynomial fuzzy model-based control systems using a sum-of-squares approach
• 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
• On the performance of nonlinear dynamical systems under parameter perturbation
• Safety verification for distributed parameter systems using barrier functionals
• Safety verification of interconnected hybrid systems using barrier certificates
• Design of polynomial fuzzy observer-controller with membership functions using unmeasurable premise variables for nonlinear systems
• Observer synthesis under time-varying sampling for Lipschitz nonlinear systems
• Stability verification for a class of stochastic hybrid systems by semidefinite programming
• Dwell-time stability and stabilization conditions for linear positive impulsive and switched systems
• On robust stability of switched systems in the context of Filippov solutions
• Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
• REPOP
• SBML Test Suite
• FACTEST
• Algorithmic and modeling insights via volumetric comparison of polyhedral relaxations
• Towards scalable synthesis of stochastic control systems
• Robust nonlinear stability and performance analysis of an F/A-18 aircraft model using sum of squares programming

This page was built for software: Sostools