Publikation:

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

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)
https://doi.org/10.29007/zkf6
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

European Union (EU): 754411

Projekt

Open Access-Veröffentlichung

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

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

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

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