Safe over- and under-approximation of reachable sets for autonomous dynamical systems

DOI10.1007/978-3-030-00151-3_15OpenAlexW2888709541MaRDI QIDQ1631238

Bai Xue, Meilun Li, Martin Fränzle, Zhikun She, Peter N. Mosaad

Publication date: 6 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_15

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations

This page was built for publication: Safe over- and under-approximation of reachable sets for autonomous dynamical systems