KOPS - The Institutional Repository of the University of Konstanz

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

ARCH-COMP19 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.

IMMLER, Fabian, Matthias ALTHOFF, Luis BENET, Alexandre CHAPOUTOT, Xin CHEN, Marcelo FORETS, Luca GERETTI, Niklas KOCHDUMPER, David P. SANDERS, Christian SCHILLING, 2019. ARCH-COMP19 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Montreal, Apr 15, 2019. In: FREHSE, Goran, ed., Matthias ALTHOFF, ed.. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Manchester:EasyChair, pp. 41-61. ISSN 2398-7340. Available under: doi: 10.29007/m75b

@inproceedings{Immler2019ARCHC-52987, title={ARCH-COMP19 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics}, year={2019}, doi={10.29007/m75b}, number={61}, issn={2398-7340}, address={Manchester}, publisher={EasyChair}, series={EPiC Series in Computing}, booktitle={ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems}, pages={41--61}, editor={Frehse, Goran and Althoff, Matthias}, author={Immler, Fabian and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Forets, Marcelo and Geretti, Luca and Kochdumper, Niklas and Sanders, David P. 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/52987"> <dc:contributor>Althoff, Matthias</dc:contributor> <dc:contributor>Kochdumper, Niklas</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T14:59:27Z</dc:date> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:creator>Kochdumper, Niklas</dc:creator> <dc:contributor>Chapoutot, Alexandre</dc:contributor> <dcterms:issued>2019</dcterms:issued> <dc:creator>Sanders, David P.</dc:creator> <dc:creator>Chen, Xin</dc:creator> <dc:contributor>Chen, Xin</dc:contributor> <dc:language>eng</dc:language> <dc:creator>Benet, Luis</dc:creator> <dcterms:title>ARCH-COMP19 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics</dcterms:title> <dc:contributor>Schilling, Christian</dc:contributor> <dc:creator>Immler, Fabian</dc:creator> <dc:contributor>Sanders, David P.</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52987"/> <dc:contributor>Immler, Fabian</dc:contributor> <dc:creator>Althoff, Matthias</dc:creator> <dc:creator>Geretti, Luca</dc:creator> <dc:contributor>Geretti, Luca</dc:contributor> <dc:contributor>Benet, Luis</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <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 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with 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:contributor>Forets, Marcelo</dc:contributor> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T14:59:27Z</dcterms:available> <dc:creator>Forets, Marcelo</dc:creator> <dc:rights>terms-of-use</dc:rights> <dc:creator>Schilling, Christian</dc:creator> <dc:creator>Chapoutot, Alexandre</dc:creator> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account