solvable systems

Reachability Analysis for Solvable Dynamical Systems
The reachability problem is one of the most important issues in the verification of hybrid systems. But unfortunately the reachable …
PDF Cite Code DOI
Reachability Analysis for Solvable Dynamical Systems
Computing Reachable Sets of Linear Vector Fields Revisited
The reachability problem is one of the most important issues in the verification of hybrid systems. But unfortunately the reachable …
PDF Cite Code Slides DOI
Computing Reachable Sets of Linear Vector Fields Revisited