Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics. - Viktorio S. el Hakim; Marco Jan Gerrit Bekooij (SCOPES, 2019)

Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata. - Viktorio S. el Hakim; Marco Jan Gerrit Bekooij (HSCC, 2020)