GSOC Ideas

On-the-fly Composition for Reachability of Large-Scale Systems

https://dl.acm.org/citation.cfm?id=2883826&dl=ACM&coll=DL

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

Improve Efficiency of Lazy Intersections

https://www.sciencedirect.com/science/article/pii/S1474667015371809