Pages that link to "Item:Q2402231"
From MaRDI portal
The following pages link to Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231):
Displayed 3 items.
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Invariance of a class of semi-algebraic sets for polynomial systems with dynamic compensators (Q2208563) (← links)
- Preface -- Special issue to celebrate the 30th anniversary of Journal of Systems Science and Complexity (Q2402216) (← links)