Skip to content

Backwards Reachable Sets (BRS)

Jump to bottom
Marcelo Forets edited this page Apr 27, 2021 · 3 revisions

  • Rwth, Xin Chen, Sriram Sankaranarayanan, and Erika Ábrahám. "Under-approximate flowpipes for non-linear continuous systems." 2014 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2014.

  • Han, Weiqiao, and Russ Tedrake. "Semidefinite Outer Approximation of the Backward Reachable Set of Discrete-time Autonomous Polynomial Systems." arXiv preprint arXiv:1803.07725 (2018).

  • Xue, Bai, Zhikun She, and Arvind Easwaran. "Underapproximating backward reachable sets by semialgebraic sets." IEEE Transactions on Automatic Control 62.10 (2017): 5185-5197.

Clone this wiki locally