Parallel state space exploration of linear systems with inputs using XSpeed
HSCC, pp. 285-286, 2015.
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
Full Text (Upload PDF)
PPT (Upload PPT)