GSPeeDI – A Verification Tool for Generalized Polygonal Hybrid Systems

Hansen, Hallstein Asheim; Schneider, Gerardo

doi:10.1007/978-3-642-03466-4_23

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2010

2017

Publication Types

Select...

Article1

Book1

Other1

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There is a generalized version of the SPeeDI tool, namely GSPeeDI [10], written in Python. It computes all simple cycles using the algorithm of Tarjan [20].…”

Section: Introductionmentioning

confidence: 99%

ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems

Sandler

Tveretina

2017

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Abstract. We present the ParaPlan tool which provides the reachability analysis of planar hybrid systems defined by differential inclusions (SPDI). It uses the parallelized and optimized version of the algorithm underlying the SPeeDI tool [2]. The performance comparison demonstrates the speedup of up to 83 times with respect to the sequential implementation on various benchmarks. Some of the benchmarks we used are randomly generated with the novel approach based on the partitioning of the plane with Voronoi diagrams.

show abstract

“…There is a generalized version of the SPeeDI tool, namely GSPeeDI [10], written in Python. It computes all simple cycles using the algorithm of Tarjan [20].…”

Section: Introductionmentioning

confidence: 99%