<div class="csl-bib-body">
<div class="csl-entry">Kong, H., Bartocci, E., Jiang, Y., & Henzinger, T. A. (2019). Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. In É. André & M. Stoelinga (Eds.), <i>Formal Modeling and Analysis of Timed Systems</i> (pp. 123–141). Springer. https://doi.org/10.1007/978-3-030-29662-9_8</div>
</div>
-
dc.identifier.isbn
9783030296612
-
dc.identifier.isbn
9783030296629
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/57898
-
dc.description.abstract
Piecewise Barrier Tubes (PBT) is a new technique for flowpipe overapproximation for nonlinear systems with polynomial dynamics, which leverages a combination of barrier certificates. PBT has advantages over traditional time-step based methods in dealing with those nonlinear dynamical systems in which there is a large difference in speed between trajectories, producing an overapproximation that is time independent. However, the existing approach for PBT is not efficient due to the application of interval methods for enclosure-box computation, and it can only deal with continuous dynamical systems without uncertainty. In this paper, we extend the approach with the ability to handle both continuous and hybrid dynamical systems with uncertainty that can reside in parameters and/or noise. We also improve the efficiency of the method significantly, by avoiding the use of interval-based methods for the enclosure-box computation without loosing soundness. We have developed a C++ prototype implementing the proposed approach and we evaluate it on several benchmarks. The experiments show that our approach is more efficient and precise than other methods in the literature.
en
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Formal Modeling and Analysis of Timed Systems
-
dc.contributor.editoraffiliation
Université Sorbonne Paris Nord Institut Galilée
-
dc.relation.isbn
978-3-030-29661-2
-
dc.relation.doi
10.1007/978-3-030-29662-9
-
dc.relation.issn
0302-9743
-
dc.description.startpage
123
-
dc.description.endpage
141
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Formal Modeling and Analysis of Timed Systems
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/978-3-030-29662-9_8
-
dc.description.numberOfPages
19
-
tuw.editor.orcid
0000-0001-8473-9555
-
tuw.event.name
17th International Conference on Formal Modeling and Analysis of Timed Systems
-
tuw.event.startdate
27-08-2019
-
tuw.event.enddate
29-08-2019
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Amsterdam, The Netherlands
-
tuw.event.place
Amsterdam, The Netherlands
-
tuw.event.country
EU
-
tuw.event.presenter
Kong, Hui
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairetype
Konferenzbeitrag
-
item.openairetype
Inproceedings
-
item.grantfulltext
restricted
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems