ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics
This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with piecewise constant dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this third editi...
| Main Authors: | , , , , , , , , , , , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
EasyChair
2019
|
| _version_ | 1797095361629650944 |
|---|---|
| author | Frehse, G Abate, A Adzkiya, D Becchi, A Bu, L Cimatti, A Giacobbe, M Griggio, A Mover, S Syifa'ul Mufid, M Riouak, I Tonetta, S Zaffanella, E |
| author_facet | Frehse, G Abate, A Adzkiya, D Becchi, A Bu, L Cimatti, A Giacobbe, M Griggio, A Mover, S Syifa'ul Mufid, M Riouak, I Tonetta, S Zaffanella, E |
| author_sort | Frehse, G |
| collection | OXFORD |
| description | This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with piecewise constant dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this third edition, six tools have been applied to solve five different benchmark problems in the category for piecewise constant dynamics: BACH, Lyse, Hy- COMP, PHAVer/SX, PHAVerLite, and VeriSiMPL. Compared to last year, a new tool has participated (HyCOMP) and PHAVerLite has replaced PHAVer-lite. The result is a snap- shot 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 probably provide the most complete assessment of tools for the safety verification of continuous and hybrid systems with piecewise constant dynamics up to this date. |
| first_indexed | 2024-03-07T04:26:48Z |
| format | Conference item |
| id | oxford-uuid:ccec6497-edeb-457c-b095-f4248837ad3f |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T04:26:48Z |
| publishDate | 2019 |
| publisher | EasyChair |
| record_format | dspace |
| spelling | oxford-uuid:ccec6497-edeb-457c-b095-f4248837ad3f2022-03-27T07:25:13ZARCH-COMP19 category report: hybrid systems with piecewise constant dynamicsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:ccec6497-edeb-457c-b095-f4248837ad3fEnglishSymplectic ElementsEasyChair2019Frehse, GAbate, AAdzkiya, DBecchi, ABu, LCimatti, AGiacobbe, MGriggio, AMover, SSyifa'ul Mufid, MRiouak, ITonetta, SZaffanella, EThis report presents the results of a friendly competition for formal verification of continuous and hybrid systems with piecewise constant dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this third edition, six tools have been applied to solve five different benchmark problems in the category for piecewise constant dynamics: BACH, Lyse, Hy- COMP, PHAVer/SX, PHAVerLite, and VeriSiMPL. Compared to last year, a new tool has participated (HyCOMP) and PHAVerLite has replaced PHAVer-lite. The result is a snap- shot 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 probably provide the most complete assessment of tools for the safety verification of continuous and hybrid systems with piecewise constant dynamics up to this date. |
| spellingShingle | Frehse, G Abate, A Adzkiya, D Becchi, A Bu, L Cimatti, A Giacobbe, M Griggio, A Mover, S Syifa'ul Mufid, M Riouak, I Tonetta, S Zaffanella, E ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics |
| title | ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics |
| title_full | ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics |
| title_fullStr | ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics |
| title_full_unstemmed | ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics |
| title_short | ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics |
| title_sort | arch comp19 category report hybrid systems with piecewise constant dynamics |
| work_keys_str_mv | AT frehseg archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT abatea archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT adzkiyad archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT becchia archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT bul archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT cimattia archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT giacobbem archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT griggioa archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT movers archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT syifaulmufidm archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT riouaki archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT tonettas archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics AT zaffanellae archcomp19categoryreporthybridsystemswithpiecewiseconstantdynamics |