IEEE - Institute of Electrical and Electronics Engineers, Inc. - Parallel reachability analysis for hybrid systems

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Author(s): Amit Gurung ; Arup Deka ; Ezio Bartocci ; Sergiy Bogomolov ; Radu Grosu ; Rajarshi Ray
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2016
Conference Location: Kanpur, India
Conference Date: 18 November 2016
Page(s): 12 - 22
ISBN (Electronic): 978-1-5090-2791-0
ISBN (USB): 978-1-5090-2790-3
DOI: 10.1109/MEMCOD.2016.7797741
Regular:

We propose two parallel state-space-exploration algorithms for hybrid automaton (HA), with the goal of enhancing performance on multi-core shared-memory systems. The first uses the... View More

Advertisement