Publikation:

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

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2018

Autor:innen

Althoff, Matthias
Bak, Stanley
Chen, Xin
Fan, Chuchu
Forets, Marcelo
Frehse, Goran
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/73mb
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.. ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. Manchester: EasyChair, 2018, pp. 23-52. EPiC Series in Computing. 54. ISSN 2398-7340. Available under: doi: 10.29007/73mb

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 2018. In its second edition, 9 tools have been applied to solve six different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, CORA/SX, C2E2, Flow*, 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 probably provide the most complete assessment 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

ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 13. Juli 2018, Oxford
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690ALTHOFF, Matthias, Stanley BAK, Xin CHEN, Chuchu FAN, Marcelo FORETS, Goran FREHSE, Niklas KOCHDUMPER, Yangge LI, Sayan MITRA, Christian SCHILLING, 2018. ARCH-COMP18 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. Oxford, 13. Juli 2018. In: FREHSE, Goran, ed.. ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. Manchester: EasyChair, 2018, pp. 23-52. EPiC Series in Computing. 54. ISSN 2398-7340. Available under: doi: 10.29007/73mb
BibTex
@inproceedings{Althoff2018ARCHC-52988,
  year={2018},
  doi={10.29007/73mb},
  title={ARCH-COMP18 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics},
  number={54},
  issn={2398-7340},
  publisher={EasyChair},
  address={Manchester},
  series={EPiC Series in Computing},
  booktitle={ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  pages={23--52},
  editor={Frehse, Goran},
  author={Althoff, Matthias and Bak, Stanley and Chen, Xin and Fan, Chuchu and Forets, Marcelo and Frehse, Goran 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/52988">
    <dc:contributor>Frehse, Goran</dc:contributor>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52988"/>
    <dc:contributor>Mitra, Sayan</dc:contributor>
    <dc:contributor>Chen, Xin</dc:contributor>
    <dc:contributor>Li, Yangge</dc:contributor>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T15:48:33Z</dc:date>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Bak, Stanley</dc:contributor>
    <dc:creator>Bak, Stanley</dc:creator>
    <dc:contributor>Fan, Chuchu</dc:contributor>
    <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 2018. In its second edition, 9 tools have been applied to solve six different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, CORA/SX, C2E2, Flow*, 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 probably provide the most complete assessment of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.</dcterms:abstract>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-02-24T15:48:33Z</dcterms:available>
    <dcterms:issued>2018</dcterms:issued>
    <dc:creator>Fan, Chuchu</dc:creator>
    <dc:creator>Li, Yangge</dc:creator>
    <dc:creator>Althoff, Matthias</dc:creator>
    <dcterms:title>ARCH-COMP18 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics</dcterms:title>
    <dc:rights>terms-of-use</dc:rights>
    <dc:creator>Forets, Marcelo</dc:creator>
    <dc:contributor>Schilling, Christian</dc:contributor>
    <dc:contributor>Kochdumper, Niklas</dc:contributor>
    <dc:creator>Kochdumper, Niklas</dc:creator>
    <dc:creator>Chen, Xin</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Frehse, Goran</dc:creator>
    <dc:creator>Schilling, Christian</dc:creator>
    <dc:contributor>Forets, Marcelo</dc:contributor>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:language>eng</dc:language>
    <dc:creator>Mitra, Sayan</dc:creator>
    <dc:contributor>Althoff, Matthias</dc:contributor>
  </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
Nein
Begutachtet
Diese Publikation teilen