Pages that link to "Item:Q5353361"
From MaRDI portal
The following pages link to Polynomial Level-Set Method for Polynomial System Reachable Set Estimation (Q5353361):
Displayed 7 items.
- OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations (Q2154032) (← links)
- A sums-of-squares extension of policy iterations (Q2406948) (← links)
- Reachable set estimation for inertial Markov jump BAM neural network with partially unknown transition rates and bounded disturbances (Q2412498) (← links)
- Safe nonlinear control design for input constrained polynomial systems using sum-of-squares programming (Q5165345) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems (Q5858104) (← links)
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)