KOPS - The Institutional Repository of the University of Konstanz

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis : C2E2, HyST, and TuLiP

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis : C2E2, HyST, and TuLiP

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

DUGGIRALA, Parasara Sridhar, Chuchu FAN, Matthew POTOK, Bolun QI, Sayan MITRA, Mahesh VISWANATHAN, Stanley BAK, Sergiy BOGOMOLOV, Taylor T. JOHNSON, Christian SCHILLING, 2016. Tutorial: Software tools for hybrid systems verification, transformation, and synthesis : C2E2, HyST, and TuLiP. 2016 IEEE Conference on Control Applications (CCA). Buenos Aires, Sep 19, 2016 - Sep 22, 2016. In: 2016 IEEE Conference on Control Applications (CCA) : part of 2016 IEEE Multi-Conference on Systems and Control : September 19-22, 2016, Buenos Aires, Argentina. Piscataway, NJ:IEEE, pp. 1024-1029. ISBN 978-1-5090-0756-1. Available under: doi: 10.1109/CCA.2016.7587948

@inproceedings{Duggirala2016Tutor-53263, title={Tutorial: Software tools for hybrid systems verification, transformation, and synthesis : C2E2, HyST, and TuLiP}, year={2016}, doi={10.1109/CCA.2016.7587948}, isbn={978-1-5090-0756-1}, address={Piscataway, NJ}, publisher={IEEE}, booktitle={2016 IEEE Conference on Control Applications (CCA) : part of 2016 IEEE Multi-Conference on Systems and Control : September 19-22, 2016, Buenos Aires, Argentina}, pages={1024--1029}, author={Duggirala, Parasara Sridhar and Fan, Chuchu and Potok, Matthew and Qi, Bolun and Mitra, Sayan and Viswanathan, Mahesh and Bak, Stanley and Bogomolov, Sergiy and Johnson, Taylor T. and Schilling, Christian} }

<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/rdf/resource/123456789/53263"> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53263"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-03-25T14:20:56Z</dcterms:available> <dc:contributor>Duggirala, Parasara Sridhar</dc:contributor> <dc:creator>Potok, Matthew</dc:creator> <dc:creator>Bak, Stanley</dc:creator> <dc:contributor>Bak, Stanley</dc:contributor> <dcterms:issued>2016</dcterms:issued> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Potok, Matthew</dc:contributor> <dc:contributor>Qi, Bolun</dc:contributor> <dc:creator>Viswanathan, Mahesh</dc:creator> <dc:contributor>Fan, Chuchu</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Mitra, Sayan</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Johnson, Taylor T.</dc:contributor> <dc:creator>Fan, Chuchu</dc:creator> <dc:contributor>Viswanathan, Mahesh</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-03-25T14:20:56Z</dc:date> <dc:contributor>Bogomolov, Sergiy</dc:contributor> <dcterms:abstract xml:lang="eng">Hybrid systems have both continuous and discrete dynamics and are useful for modeling a variety of control systems, from air traffic control protocols to robotic maneuvers and beyond. Recently, numerous powerful and scalable tools for analyzing hybrid systems have emerged. Several of these tools implement automated formal methods for mathematically proving a system meets a specification. This tutorial session will present three recent hybrid systems tools: C2E2, HyST, and TuLiP. C2E2 is a simulated-based verification tool for hybrid systems, and uses validated numerical solvers and bloating of simulation traces to verify systems meet specifications. HyST is a hybrid systems model transformation and translation tool, and uses a canonical intermediate representation to support most of the recent verification tools, as well as automated sound abstractions that simplify verification of a given hybrid system. TuLiP is a controller synthesis tool for hybrid systems, where given a temporal logic specification to be satisfied for a system (plant) model, TuLiP will find a controller that meets a given specification.</dcterms:abstract> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:contributor>Mitra, Sayan</dc:contributor> <dc:creator>Bogomolov, Sergiy</dc:creator> <dc:language>eng</dc:language> <dc:creator>Johnson, Taylor T.</dc:creator> <dcterms:title>Tutorial: Software tools for hybrid systems verification, transformation, and synthesis : C2E2, HyST, and TuLiP</dcterms:title> <dc:contributor>Schilling, Christian</dc:contributor> <dc:creator>Schilling, Christian</dc:creator> <dc:creator>Duggirala, Parasara Sridhar</dc:creator> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Qi, Bolun</dc:creator> <dc:rights>terms-of-use</dc:rights> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account