Parallel reachability analysis of hybrid systems in XSpeed
International Journal on Software Tools for Technology Transfer, pp. 1-23, 2018.
Hybrid systems Reachability analysis Support functions Parallel algorithms Multi-core processorsMore(1+)
Reachability analysis techniques are at the core of the current state-of-the-art technology for verifying safety properties of cyber-physical systems (CPS). The current limitation of such techniques is their inability to scale their analysis by exploiting the powerful parallel multi-core architectures now available in modern CPUs. Here, w...More
Full Text (Upload PDF)
PPT (Upload PPT)