KOPS - The Institutional Repository of the University of Konstanz

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

KONG, Hui, Sergiy BOGOMOLOV, Christian SCHILLING, Yu JIANG, Thomas A. HENZINGER, 2017. Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. HSCC '17: 20th International Conference on Hybrid Systems: Computation and Control. Pittsburgh, Pennsylvania, Apr 18, 2017 - Apr 20, 2017. In: FREHSE, Goran, ed., Sayan MITRA, ed.. HSCC '17: proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week) : April 18-20, 2017, Pittsburgh, PA, USA. New York:ACM, pp. 163-172. ISBN 978-1-4503-4590-3. Available under: doi: 10.1145/3049797.3049814

@inproceedings{Kong2017Safet-53070, title={Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters}, year={2017}, doi={10.1145/3049797.3049814}, isbn={978-1-4503-4590-3}, address={New York}, publisher={ACM}, booktitle={HSCC '17: proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week) : April 18-20, 2017, Pittsburgh, PA, USA}, pages={163--172}, editor={Frehse, Goran and Mitra, Sayan}, author={Kong, Hui and Bogomolov, Sergiy and Schilling, Christian and Jiang, Yu and Henzinger, Thomas A.} }

<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/53070"> <dc:contributor>Henzinger, Thomas A.</dc:contributor> <dc:contributor>Schilling, Christian</dc:contributor> <dc:contributor>Bogomolov, Sergiy</dc:contributor> <dc:language>eng</dc:language> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-03-03T12:56:47Z</dcterms:available> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Jiang, Yu</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-03-03T12:56:47Z</dc:date> <dc:creator>Schilling, Christian</dc:creator> <dc:creator>Henzinger, Thomas A.</dc:creator> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53070"/> <dcterms:issued>2017</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:contributor>Kong, Hui</dc:contributor> <dc:rights>terms-of-use</dc:rights> <dc:creator>Kong, Hui</dc:creator> <dcterms:abstract xml:lang="eng">In this paper, we propose an approach to automatically compute invariant clusters for nonlinear semialgebraic hybrid systems. An invariant cluster for an ordinary differential equation (ODE) is a multivariate polynomial invariant g(u, x)=0, parametric in u, which can yield an infinite number of concrete invariants by assigning different values to u so that every trajectory of the system can be overapproximated precisely by the intersection of a group of concrete invariants. For semialgebraic systems, which involve ODEs with multivariate polynomial right-hand sides, given a template multivariate polynomial g(u, x), an invariant cluster can be obtained by first computing the remainder of the Lie derivative of g(u,x) divided by g(u, x) and then solving the system of polynomial equations obtained from the coefficients of the remainder. Based on invariant clusters and sum-of-squares (SOS) programming, we present a new method for the safety verification of hybrid systems. Experiments on nonlinear benchmark systems from biology and control theory show that our approach is efficient.</dcterms:abstract> <dc:creator>Jiang, Yu</dc:creator> <dc:creator>Bogomolov, Sergiy</dc:creator> <dcterms:title>Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters</dcterms:title> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account