Parallel reachability analysis of hybrid systems in XSpeed

International Journal on Software Tools for Technology Transfer, pp. 1-23, 2018.

Cited by: 6|Bibtex|Views13|Links
EI
Keywords:
Hybrid systems Reachability analysis Support functions Parallel algorithms Multi-core processorsMore(1+)

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments