Publikation:

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

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2019

Autor:innen

Althoff, Matthias
Benet, Luis
Chapoutot, Alexandre
Chen, Xin
Forets, Marcelo
Geretti, Luca
Kochdumper, Niklas
Sanders, David P.

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/m75b
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

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.. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Manchester: EasyChair, 2019, pp. 41-61. EPiC Series in Computing. 61. ISSN 2398-7340. Available under: doi: 10.29007/m75b

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

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Konferenz

ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, 15. Apr. 2019, Montreal
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690IMMLER, 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, 15. Apr. 2019. In: FREHSE, Goran, ed., Matthias ALTHOFF, ed.. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Manchester: EasyChair, 2019, pp. 41-61. EPiC Series in Computing. 61. ISSN 2398-7340. Available under: doi: 10.29007/m75b
BibTex
@inproceedings{Immler2019ARCHC-52987,
  year={2019},
  doi={10.29007/m75b},
  title={ARCH-COMP19 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics},
  number={61},
  issn={2398-7340},
  publisher={EasyChair},
  address={Manchester},
  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: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/52987">
    <dc:creator>Chen, Xin</dc:creator>
    <dc:contributor>Chapoutot, Alexandre</dc:contributor>
    <dc:creator>Chapoutot, Alexandre</dc:creator>
    <dcterms:title>ARCH-COMP19 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics</dcterms:title>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T14:59:27Z</dc:date>
    <dc:creator>Althoff, Matthias</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Geretti, Luca</dc:contributor>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T14:59:27Z</dcterms:available>
    <dc:contributor>Chen, Xin</dc:contributor>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52987"/>
    <dc:creator>Benet, Luis</dc:creator>
    <dcterms:issued>2019</dcterms:issued>
    <dc:contributor>Kochdumper, Niklas</dc:contributor>
    <dc:creator>Kochdumper, Niklas</dc:creator>
    <dc:creator>Immler, Fabian</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 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:rights>terms-of-use</dc:rights>
    <dc:contributor>Immler, Fabian</dc:contributor>
    <dc:contributor>Benet, Luis</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:creator>Geretti, Luca</dc:creator>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Forets, Marcelo</dc:creator>
    <dc:contributor>Schilling, Christian</dc:contributor>
    <dc:contributor>Sanders, David P.</dc:contributor>
    <dc:creator>Sanders, David P.</dc:creator>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:language>eng</dc:language>
    <dc:contributor>Althoff, Matthias</dc:contributor>
    <dc:contributor>Forets, Marcelo</dc:contributor>
    <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