GSOC Ideas

Jump to bottom

Marcelo Forets edited this page Feb 4, 2019 · 34 revisions

On-the-fly composition for reachability analysis of large-scale systems

https://drive.google.com/file/d/0By5Nhm0s_V1cUmE5UUdaV044NlE/view http://spaceex.imag.fr/sites/default/files/introduction_to_spaceex_0.pdf https://ths.rwth-aachen.de/wp-content/uploads/sites/4/technical-report.pdf

Hybrid systems interface to Simulink models

https://github.com/nikos-kekatos/SL2SX https://easychair.org/publications/open/V4 https://drive.google.com/file/d/0By5Nhm0s_V1cX0RMMEIyT2hRTVU/view

Implement interval-based reachability methods

TIRA: Toolbox for Interval Reachability Analysis, by Pierre-Jean Meyer, Alex Devonport and Murat Arcak

Reachability of linear partial differential equations

http://stanleybak.com/papers/tran2018adhs.pdf