Publikation:

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

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2019

Autor:innen

Althoff, Matthias
Bak, Stanley
Forets, Marcelo
Frehse, Goran
Kochdumper, Niklas
Ray, Rajarshi
Schupp, Stefan

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

Internationale Patentnummer

Angaben zur Forschungsförderung

European Union (EU): 643921

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. 14-40. EPiC Series in Computing. 61. ISSN 2398-7340. Available under: doi: 10.29007/bj1w

Zusammenfassung

This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In its third edition, seven tools have been applied to solve six different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, CORA/SX, HyDRA, Hylaa, 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

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 690ALTHOFF, Matthias, Stanley BAK, Marcelo FORETS, Goran FREHSE, Niklas KOCHDUMPER, Rajarshi RAY, Christian SCHILLING, Stefan SCHUPP, 2019. ARCH-COMP19 Category Report : Continuous and Hybrid Systems with Linear Continuous 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. 14-40. EPiC Series in Computing. 61. ISSN 2398-7340. Available under: doi: 10.29007/bj1w
BibTex
@inproceedings{Althoff2019ARCHC-52986,
  year={2019},
  doi={10.29007/bj1w},
  title={ARCH-COMP19 Category Report : Continuous and Hybrid Systems with Linear Continuous 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={14--40},
  editor={Frehse, Goran and Althoff, Matthias},
  author={Althoff, Matthias and Bak, Stanley and Forets, Marcelo and Frehse, Goran and Kochdumper, Niklas and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan}
}
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/52986">
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Schilling, Christian</dc:contributor>
    <dc:creator>Forets, Marcelo</dc:creator>
    <dc:creator>Schupp, Stefan</dc:creator>
    <dcterms:issued>2019</dcterms:issued>
    <dc:contributor>Kochdumper, Niklas</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T14:56:39Z</dcterms:available>
    <dc:creator>Schilling, Christian</dc:creator>
    <dc:creator>Kochdumper, Niklas</dc:creator>
    <dc:creator>Bak, Stanley</dc:creator>
    <dc:contributor>Forets, Marcelo</dc:contributor>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T14:56:39Z</dc:date>
    <dc:contributor>Ray, Rajarshi</dc:contributor>
    <dc:creator>Ray, Rajarshi</dc:creator>
    <dcterms:title>ARCH-COMP19 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics</dcterms:title>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52986"/>
    <dcterms:abstract xml:lang="eng">This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In its third edition, seven tools have been applied to solve six different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, CORA/SX, HyDRA, Hylaa, 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>Frehse, Goran</dc:creator>
    <dc:contributor>Frehse, Goran</dc:contributor>
    <dc:contributor>Bak, Stanley</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Schupp, Stefan</dc:contributor>
    <dc:language>eng</dc:language>
    <dc:contributor>Althoff, Matthias</dc:contributor>
    <dc:rights>terms-of-use</dc:rights>
    <dc:creator>Althoff, Matthias</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