A benchmark suite for hybrid systems reachability analysis

Xin Chen; Stefan Schupp; Ibtissem Ben Makhlouf; Erika Ábrahám; Goran Frehse; Stefan Kowalewski

doi:10.1007/978-3-319-17524-9_29

A benchmark suite for hybrid systems reachability analysis

Xin Chen
, Stefan Schupp
, Ibtissem Ben Makhlouf
, Erika Ábrahám
, Goran Frehse
, Stefan Kowalewski

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Since about two decades, formal methods for continuous and hybrid systems enjoy increasing interest in the research community. A wide range of analysis techniques were developed and implemented in powerful tools. However, the lack of appropriate benchmarks make the testing, evaluation and comparison of those tools difficult. To support these processes and to ease exchange and repeatability, we present a manifold benchmark suite for the reachability analysis of hybrid systems. Detailed model descriptions, classification schemes, and experimental evaluations help to find the right models for a given purpose.

Original language	English
Title of host publication	NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings
Editors	Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Publisher	Springer Verlag
Pages	408-414
Number of pages	7
ISBN (Print)	9783319175232
DOIs	https://doi.org/10.1007/978-3-319-17524-9_29
Publication status	Published - 1 Jan 2015
Externally published	Yes
Event	7th International Symposium on NASA Formal Methods, NFM 2015 - Pasadena, United States Duration: 27 Apr 2015 → 29 Apr 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9058
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th International Symposium on NASA Formal Methods, NFM 2015
Country/Territory	United States
City	Pasadena
Period	27/04/15 → 29/04/15

Access to Document

10.1007/978-3-319-17524-9_29

Cite this

Chen, X., Schupp, S., Makhlouf, I. B., Ábrahám, E., Frehse, G., & Kowalewski, S. (2015). A benchmark suite for hybrid systems reachability analysis. In K. Havelund, G. Holzmann, & R. Joshi (Eds.), NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings (pp. 408-414). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9058). Springer Verlag. https://doi.org/10.1007/978-3-319-17524-9_29

Chen, Xin ; Schupp, Stefan ; Makhlouf, Ibtissem Ben et al. / A benchmark suite for hybrid systems reachability analysis. NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. editor / Klaus Havelund ; Gerard Holzmann ; Rajeev Joshi. Springer Verlag, 2015. pp. 408-414 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e0cb286daab9432fbcd132af24519a37,

title = "A benchmark suite for hybrid systems reachability analysis",

abstract = "Since about two decades, formal methods for continuous and hybrid systems enjoy increasing interest in the research community. A wide range of analysis techniques were developed and implemented in powerful tools. However, the lack of appropriate benchmarks make the testing, evaluation and comparison of those tools difficult. To support these processes and to ease exchange and repeatability, we present a manifold benchmark suite for the reachability analysis of hybrid systems. Detailed model descriptions, classification schemes, and experimental evaluations help to find the right models for a given purpose.",

author = "Xin Chen and Stefan Schupp and Makhlouf, \{Ibtissem Ben\} and Erika {\'A}brah{\'a}m and Goran Frehse and Stefan Kowalewski",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 7th International Symposium on NASA Formal Methods, NFM 2015 ; Conference date: 27-04-2015 Through 29-04-2015",

year = "2015",

month = jan,

day = "1",

doi = "10.1007/978-3-319-17524-9\_29",

language = "English",

isbn = "9783319175232",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "408--414",

editor = "Klaus Havelund and Gerard Holzmann and Rajeev Joshi",

booktitle = "NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings",

}

Chen, X, Schupp, S, Makhlouf, IB, Ábrahám, E, Frehse, G & Kowalewski, S 2015, A benchmark suite for hybrid systems reachability analysis. in K Havelund, G Holzmann & R Joshi (eds), NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9058, Springer Verlag, pp. 408-414, 7th International Symposium on NASA Formal Methods, NFM 2015, Pasadena, United States, 27/04/15. https://doi.org/10.1007/978-3-319-17524-9_29

A benchmark suite for hybrid systems reachability analysis. / Chen, Xin; Schupp, Stefan; Makhlouf, Ibtissem Ben et al.
NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. ed. / Klaus Havelund; Gerard Holzmann; Rajeev Joshi. Springer Verlag, 2015. p. 408-414 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9058).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A benchmark suite for hybrid systems reachability analysis

AU - Chen, Xin

AU - Schupp, Stefan

AU - Makhlouf, Ibtissem Ben

AU - Ábrahám, Erika

AU - Frehse, Goran

AU - Kowalewski, Stefan

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015/1/1

Y1 - 2015/1/1

N2 - Since about two decades, formal methods for continuous and hybrid systems enjoy increasing interest in the research community. A wide range of analysis techniques were developed and implemented in powerful tools. However, the lack of appropriate benchmarks make the testing, evaluation and comparison of those tools difficult. To support these processes and to ease exchange and repeatability, we present a manifold benchmark suite for the reachability analysis of hybrid systems. Detailed model descriptions, classification schemes, and experimental evaluations help to find the right models for a given purpose.

AB - Since about two decades, formal methods for continuous and hybrid systems enjoy increasing interest in the research community. A wide range of analysis techniques were developed and implemented in powerful tools. However, the lack of appropriate benchmarks make the testing, evaluation and comparison of those tools difficult. To support these processes and to ease exchange and repeatability, we present a manifold benchmark suite for the reachability analysis of hybrid systems. Detailed model descriptions, classification schemes, and experimental evaluations help to find the right models for a given purpose.

U2 - 10.1007/978-3-319-17524-9_29

DO - 10.1007/978-3-319-17524-9_29

M3 - Conference contribution

AN - SCOPUS:84942585695

SN - 9783319175232

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 408

EP - 414

BT - NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings

A2 - Havelund, Klaus

A2 - Holzmann, Gerard

A2 - Joshi, Rajeev

PB - Springer Verlag

T2 - 7th International Symposium on NASA Formal Methods, NFM 2015

Y2 - 27 April 2015 through 29 April 2015

ER -

Chen X, Schupp S, Makhlouf IB, Ábrahám E, Frehse G, Kowalewski S. A benchmark suite for hybrid systems reachability analysis. In Havelund K, Holzmann G, Joshi R, editors, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Springer Verlag. 2015. p. 408-414. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-17524-9_29

A benchmark suite for hybrid systems reachability analysis

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this