Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics.

Viktorio S. el Hakim, Marco Jan Gerrit Bekooij

Browse the full SCOPES paper archive.