The following pages link to Sostools (Q13635):
Displaying 5 items.
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460) (← links)
- Polynomial level-set method for attractor estimation (Q2376672) (← links)
- Periodically Controlled Hybrid Systems (Q3624588) (← links)
- Deciding Robust Feasibility and Infeasibility Using a Set Containment Approach: An Application to Stationary Passive Gas Network Operations (Q5376454) (← links)
- A Sum of Squares Approximation of Nonnegative Polynomials (Q5432390) (← links)
