The following pages link to Sostools (Q13635):
Displaying 50 items.
- Optimization and approximation of NC polynomials with sums of squares (Q2903232) (← links)
- Robust Stabilization of Ship Course Via Convex Optimization (Q2930777) (← links)
- An Introduction to Polynomial and Semi-Algebraic Optimization (Q2930845) (← links)
- A sum of squares approach to backstepping controller synthesis for piecewise affine and polynomial systems (Q2933170) (← links)
- Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set (Q2934480) (← links)
- LMI stability conditions for uncertain rational nonlinear systems (Q2935342) (← links)
- Boolean network representation of a continuous-time system and finite-horizon optimal control: application to the single-gene regulatory system for the lac operon (Q2978076) (← links)
- Eigenconfigurations of tensors (Q2979645) (← links)
- Validating the Completeness of the Real Solution Set of a System of Polynomial Equations (Q2985821) (← links)
- Lyapunov abstractions for inevitability of hybrid systems (Q2986758) (← links)
- Algebraic analysis on asymptotic stability of switched hybrid systems (Q2986766) (← links)
- Adaptive control design for uncertain polynomial nonlinear systems with parametric uncertainties (Q3008927) (← links)
- Robust static output feedback design for polynomial nonlinear systems (Q3057046) (← links)
- NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials (Q3093048) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
- An algorithmic construction of entropies in higher-order nonlinear PDEs (Q3376405) (← links)
- Stability and<i>L</i><sub>1</sub>× ℓ<sub>1</sub>-to-<i>L</i><sub>1</sub>× ℓ<sub>1</sub>performance analysis of uncertain impulsive linear positive systems with applications to the interval observation of impulsive and switched systems with constant (Q3386561) (← links)
- (Q3395491) (← links)
- (Q3403810) (← links)
- Model approximation using magnitude and phase criteria: implications for model reduction and system identification (Q3445527) (← links)
- Computation and Verification of Lyapunov Functions (Q3449033) (← links)
- Estimating the Attraction Domain for the Boost Inverter (Q3454371) (← links)
- Successive Rank-One Approximations for Nearly Orthogonally Decomposable Symmetric Tensors (Q3456878) (← links)
- Convex Programs for Temporal Verification of Nonlinear Dynamical Systems (Q3506535) (← links)
- Algorithm 875 (Q3549240) (← links)
- Nonlinear Synchronization of Coupled Oscillators: The Polynomial Case (Q3564168) (← links)
- (Q3601990) (← links)
- (Q3602882) (← links)
- Sums of squares over totally real fields are rational sums of squares (Q3617579) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Periodically Controlled Hybrid Systems (Q3624588) (← links)
- Fault-tolerant control synthesis for a class of nonlinear systems: Sum of squares optimization approach (Q3626954) (← links)
- Verification and Control of Hybrid Systems (Q3629218) (← links)
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254) (← links)
- (Q3645522) (← links)
- Positive Forms and Stability of Linear Time-Delay Systems (Q3648564) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
- An SOS method for the design of continuous and discontinuous differentiators (Q4561206) (← links)
- Greedy Approaches to Symmetric Orthogonal Tensor Decomposition (Q4588941) (← links)
- Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces (Q4599721) (← links)
- Bifurcation Analysis of a Predator–Prey System with Ratio-Dependent Functional Response (Q4602539) (← links)
- Sum-of-Squares Optimization without Semidefinite Programming (Q4629344) (← links)
- Equivalence of several stability conditions for switched linear systems with dwell time (Q4629746) (← links)
- Stabilisation of discrete-time polynomial fuzzy systems via a polynomial lyapunov approach (Q4638196) (← links)
- Control Applications of Sum of Squares Programming (Q4681644) (← links)
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition (Q4681645) (← links)
- Exploiting Algebraic Structure in Sum of Squares Programs (Q4681654) (← links)
- SOSTOOLS and Its Control Applications (Q4681657) (← links)
- Detecting Global Optimality and Extracting Solutions in GloptiPoly (Q4681658) (← links)
- (Q4781203) (← links)
