Publikation:

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

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2020

Autor:innen

Althoff, Matthias
Bak, Stanley
Bao, Zongnan
Forets, Marcelo
Frehse, Goran
Freire, Daniel
Kochdumper, Niklas
Li, Yangge
Mitra, Sayan
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/7dt2
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. 16-18. EPiC Series in Computing. 74. ISSN 2398-7340. Available under: doi: 10.29007/7dt2

Zusammenfassung

We present the results of the ARCH1 2020 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its fourth edition, eight tools have been applied to solve eight different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, C2E2, HyDRA, Hylaa, Hylaa-Continuous, JuliaReach, SpaceEx, and XSpeed. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

ARCH-COMP, C2E2, CORA, hybrid systems, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, SpaceEx, XSpeed

Konferenz

ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems - 12. Juli 2020, Berlin
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690ALTHOFF, Matthias, Stanley BAK, Zongnan BAO, Marcelo FORETS, Goran FREHSE, Daniel FREIRE, Niklas KOCHDUMPER, Yangge LI, Sayan MITRA, Christian SCHILLING, 2020. ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems. Berlin - 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. 16-18. EPiC Series in Computing. 74. ISSN 2398-7340. Available under: doi: 10.29007/7dt2
BibTex
@inproceedings{Althoff2020ARCHC-52977,
  year={2020},
  doi={10.29007/7dt2},
  title={ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Linear Continuous 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={16--18},
  editor={Frehse, Goran and Althoff, Matthias},
  author={Althoff, Matthias and Bak, Stanley and Bao, Zongnan and Forets, Marcelo and Frehse, Goran and Freire, Daniel and Kochdumper, Niklas and Li, Yangge and Mitra, Sayan 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/52977">
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:title>ARCH-COMP20 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics</dcterms:title>
    <dc:creator>Freire, Daniel</dc:creator>
    <dc:creator>Althoff, Matthias</dc:creator>
    <dc:contributor>Freire, Daniel</dc:contributor>
    <dc:contributor>Schilling, Christian</dc:contributor>
    <dc:contributor>Mitra, Sayan</dc:contributor>
    <dc:contributor>Li, Yangge</dc:contributor>
    <dc:creator>Frehse, Goran</dc:creator>
    <dc:creator>Bao, Zongnan</dc:creator>
    <dc:creator>Schilling, Christian</dc:creator>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52977"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Bao, Zongnan</dc:contributor>
    <dc:language>eng</dc:language>
    <dc:contributor>Althoff, Matthias</dc:contributor>
    <dc:creator>Li, Yangge</dc:creator>
    <dc:contributor>Frehse, Goran</dc:contributor>
    <dc:rights>terms-of-use</dc:rights>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Forets, Marcelo</dc:creator>
    <dc:contributor>Kochdumper, Niklas</dc:contributor>
    <dc:creator>Kochdumper, Niklas</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:contributor>Forets, Marcelo</dc:contributor>
    <dc:contributor>Bak, Stanley</dc:contributor>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T11:34:12Z</dcterms:available>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T11:34:12Z</dc:date>
    <dcterms:abstract xml:lang="eng">We present the results of the ARCH1 2020 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its fourth edition, eight tools have been applied to solve eight different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, C2E2, HyDRA, Hylaa, Hylaa-Continuous, JuliaReach, SpaceEx, and XSpeed. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.</dcterms:abstract>
    <dc:creator>Bak, Stanley</dc:creator>
    <dc:creator>Mitra, Sayan</dc:creator>
    <dcterms:issued>2020</dcterms:issued>
  </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