The following pages link to Sostools (Q13635):
Displaying 50 items.
- An algorithm for decomposing a non-negative polynomial as a sum of squares of rational functions (Q2351490) (← links)
- Region of attraction estimation using invariant sets and rational Lyapunov functions (Q2374461) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Polynomial level-set method for attractor estimation (Q2376672) (← links)
- Inverse problems from biomedicine: inference of putative disease mechanisms and robust therapeutic strategies (Q2376849) (← links)
- Lyapunov conditions for input-to-state stability of impulsive systems (Q2377975) (← links)
- Approximate gcds of polynomials and sparse SOS relaxations (Q2378493) (← links)
- Computing sum of squares decompositions with rational coefficients (Q2378506) (← links)
- Identification and validation of quasispecies models for biological systems (Q2390531) (← links)
- Analysis of partial stability problems using sum of squares techniques (Q2390564) (← links)
- Stability analysis of networked control systems: a sum of squares approach (Q2391439) (← links)
- Design of continuous twisting algorithm (Q2407176) (← links)
- Dwell-time stability and stabilization conditions for linear positive impulsive and switched systems (Q2407855) (← links)
- Stability analysis and estimation of domain of attraction for the endemic equilibrium of an SEIQ epidemic model (Q2411237) (← links)
- Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods (Q2418665) (← links)
- Optimization based methods for partially observed chaotic systems (Q2420632) (← links)
- Observability and structural identifiability of nonlinear biological systems (Q2424709) (← links)
- Certifying convergence of Lasserre's hierarchy via flat truncation (Q2434992) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming (Q2440818) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)
- Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems (Q2456612) (← links)
- Efficiency improvement in an \(n\)D systems approach to polynomial optimization (Q2457407) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Global minimization of rational functions and the nearest GCDs (Q2481368) (← links)
- Global optimization of rational functions: a semidefinite programming approach (Q2490324) (← links)
- Minimizing polynomials via sum of squares over the gradient ideal (Q2492680) (← links)
- Barrier certificates for nonlinear model validation (Q2641737) (← links)
- Data-based supervisory control of uncertain systems with application to automatic drug delivery for anesthesia (Q2641804) (← links)
- Optimal control of constrained piecewise affine systems. (Q2644065) (← links)
- Solving polynomial least squares problems via semidefinite programming relaxations (Q2655337) (← links)
- A barrier function approach to finite-time stochastic system verification and control (Q2663942) (← links)
- Dissipativity-based framework for stability analysis of aperiodically sampled nonlinear systems with time-varying delay (Q2665134) (← links)
- Stability analysis and stabilization of LPV systems with jumps and (piecewise) differentiable parameters using continuous and sampled-data controllers (Q2665297) (← links)
- Lyapunov function computation for autonomous systems with complex dynamic behavior (Q2673609) (← links)
- From the sum-of-squares representation of a Boolean function to an optimal exact quantum query algorithm (Q2684233) (← links)
- Review on contraction analysis and computation of contraction metrics (Q2696111) (← links)
- A converse sum of squares Lyapunov function for outer approximation of minimal attractor sets of nonlinear systems (Q2696112) (← links)
- A novel moving orthonormal coordinate-based approach for region of attraction analysis of limit cycles (Q2696113) (← links)
- Finding positively invariant sets and proving exponential stability of limit cycles using sum-of-squares decompositions (Q2696114) (← links)
- Networked gain-scheduled fault diagnosis under control input dropouts without data delivery acknowledgment (Q2798387) (← links)
- Introduction to Semidefinite, Conic and Polynomial Optimization (Q2802517) (← links)
- Theoretical and numerical comparisons of looped functionals and clock-dependent Lyapunov functions -- The case of periodic and pseudo-periodic systems with impulses (Q2817367) (← links)
- Synchronization of the bidirectionally coupled unified chaotic system via sum of squares method (Q2821501) (← links)
- Sum-of-squares-based fuzzy controller design using quantum-inspired evolutionary algorithm (Q2822270) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- A complete characterization of the gap between convexity and sos-convexity (Q2848175) (← links)
- Nonlinear gain-scheduling output-feedback control for polynomial nonlinear systems subject to actuator saturation (Q2868853) (← links)
- The domain of attraction for a SEIR epidemic model based on sum of square optimization (Q2890347) (← links)
- Maximum block improvement and polynomial optimization (Q2902871) (← links)
