Parallel state space exploration of linear systems with inputs using XSpeed

HSCC, pp. 285-286, 2015.

Cited by: 13|Bibtex|Views3|
EI
Other Links: dl.acm.org|academic.microsoft.com|dblp.uni-trier.de

Abstract:

We present on-going work on XSpeed, a tool for parallel state space exploration of continuous systems with linear dynamics and non-deterministic inputs. XSpeed exploits the computational power of multi-core architectures to speed up reachability analysis. A parallel exploration algorithm with multiple initial sets in partitions of the tim...More

Code:

Data:

Your rating :
0

 

Tags
Comments