Polynomial Level-Set Method for Polynomial System Reachable Set Estimation
From MaRDI portal
Publication:5353361
DOI10.1109/TAC.2013.2263916zbMath1369.93076WikidataQ62702188 ScholiaQ62702188MaRDI QIDQ5353361
Matthew West, Ta-Chung Wang, Sanjay Lall
Publication date: 8 September 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations ⋮ A sums-of-squares extension of policy iterations ⋮ Reachable set estimation for inertial Markov jump BAM neural network with partially unknown transition rates and bounded disturbances ⋮ Safety verification for regime-switching jump diffusions via barrier certificates ⋮ Safe nonlinear control design for input constrained polynomial systems using sum-of-squares programming ⋮ Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems ⋮ Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems
This page was built for publication: Polynomial Level-Set Method for Polynomial System Reachable Set Estimation