Skip to content

GSOC JSOC Ideas

Marcelo Forets edited this page Jan 12, 2021 · 1 revision

Scaling reachability of discretized PDEs

Applying Krylov subspace methods to compute sets of states reachable by discretized PDEs (e.g. the algorithm in https://ieeexplore.ieee.org/document/8675521 ).

Extend set propagation algorithms

Clone this wiki locally