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

Lade...
Vorschaubild
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
2020
Autor:innen
Geretti, Luca
dit Sandretto, Julien Alexandre
Althoff, Matthias
Benet, Luis
Chapoutot, Alexandre
Chen, Xin
Collins, Pieter
Forets, Marcelo
Freire, Daniel
et al.
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
DOI (zitierfähiger Link)
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
European Union (EU): 754411
Projekt
Open Access-Veröffentlichung
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published
Erschienen in
FREHSE, Goran, ed., Matthias ALTHOFF, ed.. ARCH20 : 7th International Workshop on Applied Verification of Continuous and Hybrid Systems. Manchester: EasyChair, 2020, pp. 49-75. EPiC Series in Computing. 74. ISSN 2398-7340. Available under: doi: 10.29007/zkf6
Zusammenfassung

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.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
competition, formal verification, hybrid systems, nonlinear dynamics, tools
Konferenz
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, 12. Juli 2020 - 12. Juli 2020, Berlin
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690GERETTI, 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, 12. Juli 2020 - 12. Juli 2020. In: FREHSE, Goran, ed., Matthias ALTHOFF, ed.. ARCH20 : 7th International Workshop on Applied Verification of Continuous and Hybrid Systems. Manchester: EasyChair, 2020, pp. 49-75. EPiC Series in Computing. 74. ISSN 2398-7340. Available under: doi: 10.29007/zkf6
BibTex
@inproceedings{Geretti2020ARCHC-52978,
  year={2020},
  doi={10.29007/zkf6},
  title={ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics},
  number={74},
  issn={2398-7340},
  publisher={EasyChair},
  address={Manchester},
  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: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/server/rdf/resource/123456789/52978">
    <dc:contributor>Benet, Luis</dc:contributor>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52978"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T11:48:21Z</dc:date>
    <dc:creator>Chen, Xin</dc:creator>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:title>ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics</dcterms:title>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>dit Sandretto, Julien Alexandre</dc:creator>
    <dc:creator>Althoff, Matthias</dc:creator>
    <dc:creator>Forets, Marcelo</dc:creator>
    <dc:contributor>Geretti, Luca</dc:contributor>
    <dc:contributor>Chapoutot, Alexandre</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T11:48:21Z</dcterms:available>
    <dc:creator>Chapoutot, Alexandre</dc:creator>
    <dc:contributor>Collins, Pieter</dc:contributor>
    <dc:contributor>Forets, Marcelo</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>dit Sandretto, Julien Alexandre</dc:contributor>
    <dc:contributor>Chen, Xin</dc:contributor>
    <dc:language>eng</dc:language>
    <dc:contributor>Althoff, Matthias</dc:contributor>
    <dc:creator>Geretti, Luca</dc:creator>
    <dc:creator>Freire, Daniel</dc:creator>
    <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:contributor>Freire, Daniel</dc:contributor>
    <dcterms:issued>2020</dcterms:issued>
    <dc:contributor>Schilling, Christian</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:creator>Benet, Luis</dc:creator>
    <dc:creator>Collins, Pieter</dc:creator>
    <dc:creator>Schilling, Christian</dc:creator>
  </rdf:Description>
</rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen