KOPS - The Institutional Repository of the University of Konstanz

ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics

ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

GERETTI, Luca, Julien Alexandre DIT SANDRETTO, Matthias ALTHOFF, Luis BENET, Alexandre CHAPOUTOT, Xin CHEN, Pieter COLLINS, Marcelo FORETS, Daniel FREIRE, Christian SCHILLING, 2020. ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems. Berlin, Jul 12, 2020 - Jul 12, 2020. In: FREHSE, Goran, ed., Matthias ALTHOFF, ed.. ARCH20 : 7th International Workshop on Applied Verification of Continuous and Hybrid Systems. Manchester:EasyChair, pp. 49-75. ISSN 2398-7340. Available under: doi: 10.29007/zkf6

@inproceedings{Geretti2020ARCHC-52978, title={ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics}, year={2020}, doi={10.29007/zkf6}, number={74}, issn={2398-7340}, address={Manchester}, publisher={EasyChair}, series={EPiC Series in Computing}, booktitle={ARCH20 : 7th International Workshop on Applied Verification of Continuous and Hybrid Systems}, pages={49--75}, editor={Frehse, Goran and Althoff, Matthias}, author={Geretti, Luca and dit Sandretto, Julien Alexandre and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Collins, Pieter and Forets, Marcelo and Freire, Daniel and Schilling, Christian} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/52978"> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:abstract xml:lang="eng">We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2020. This year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on six benchmark problems, two of them featuring hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.</dcterms:abstract> <dc:creator>Schilling, Christian</dc:creator> <dc:contributor>Schilling, Christian</dc:contributor> <dc:contributor>Althoff, Matthias</dc:contributor> <dc:creator>Benet, Luis</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T11:48:21Z</dcterms:available> <dc:contributor>Geretti, Luca</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52978"/> <dc:creator>Chapoutot, Alexandre</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T11:48:21Z</dc:date> <dc:contributor>Chen, Xin</dc:contributor> <dc:contributor>Forets, Marcelo</dc:contributor> <dc:rights>terms-of-use</dc:rights> <dc:language>eng</dc:language> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Chapoutot, Alexandre</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Collins, Pieter</dc:creator> <dc:creator>Geretti, Luca</dc:creator> <dc:creator>Freire, Daniel</dc:creator> <dc:contributor>Benet, Luis</dc:contributor> <dc:creator>Althoff, Matthias</dc:creator> <dc:creator>Chen, Xin</dc:creator> <dc:contributor>Collins, Pieter</dc:contributor> <dcterms:title>ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics</dcterms:title> <dc:creator>Forets, Marcelo</dc:creator> <dc:contributor>dit Sandretto, Julien Alexandre</dc:contributor> <dc:contributor>Freire, Daniel</dc:contributor> <dcterms:issued>2020</dcterms:issued> <dc:creator>dit Sandretto, Julien Alexandre</dc:creator> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account