Underapproximating Backward Reachable Sets by Semialgebraic Sets

Keyphrases

• Backward Reachable Set 100%
• Semi-algebraic Sets 100%
• Under-approximation 100%
• Simply Connected 66%
• Convex Programming 33%
• Controller Synthesis 33%
• Set Play 33%
• Sum of Squares Decomposition 33%
• Real Roots 33%
• Compact Type 33%
• Interval Inequality 33%

Mathematics

• Semialgebraic Set 100%
• Nonlinear System 33%
• Compact Type 33%
• Convex Programming 33%
• Real Root 33%
• Polynomial Term 33%
• Positive Function 33%
• Sum of Squares 33%