ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics
Althoff M, Bak S, Bao Z, Forets M, Frehse G, Freire D, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 16–48.
Download (ext.)
DOI
Conference Paper
| Published
| English
Scopus indexed
Author
Althoff, Matthias;
Bak, Stanley;
Bao, Zongnan;
Forets, Marcelo;
Frehse, Goran;
Freire, Daniel;
Kochdumper, Niklas;
Li, Yangge;
Mitra, Sayan;
Ray, Rajarshi;
Schilling, ChristianISTA 
;
Schupp, Stefan
All
;
Schupp, Stefan
All
Corresponding author has ISTA affiliation
Department
Abstract
We present the results of the ARCH 2020 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its fourth edition, eight tools have been applied to solve eight different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, C2E2, HyDRA, Hylaa, Hylaa-Continuous, JuliaReach, SpaceEx, and XSpeed. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.
Publishing Year
Date Published
2020-09-25
Proceedings Title
EPiC Series in Computing
Publisher
EasyChair
Acknowledgement
The authors gratefully acknowledge financial support by the European Commission project
justITSELF under grant number 817629, by the Austrian Science Fund (FWF) under grant
Z211-N23 (Wittgenstein Award), by the European Union’s Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie grant agreement No. 754411, and by the
Science and Engineering Research Board (SERB) project with file number IMP/2018/000523.
This material is based upon work supported by the Air Force Office of Scientific Research under
award number FA9550-19-1-0288. Any opinions, finding, and conclusions or recommendations
expressed in this material are those of the author(s) and do not necessarily reflect the views of
the United States Air Force.
Volume
74
Page
16-48
Conference
ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems
Conference Date
2020-07-12 – 2020-07-12
IST-REx-ID
Cite this
Althoff M, Bak S, Bao Z, et al. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In: EPiC Series in Computing. Vol 74. EasyChair; 2020:16-48. doi:10.29007/7dt2
Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D., … Wetzlinger, M. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In EPiC Series in Computing (Vol. 74, pp. 16–48). EasyChair. https://doi.org/10.29007/7dt2
Althoff, Matthias, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” In EPiC Series in Computing, 74:16–48. EasyChair, 2020. https://doi.org/10.29007/7dt2.
M. Althoff et al., “ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics,” in EPiC Series in Computing, 2020, vol. 74, pp. 16–48.
Althoff M, Bak S, Bao Z, Forets M, Frehse G, Freire D, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 16–48.
Althoff, Matthias, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” EPiC Series in Computing, vol. 74, EasyChair, 2020, pp. 16–48, doi:10.29007/7dt2.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Link(s) to Main File(s)
Access Level
Open Access
Google Scholar