<div class="csl-bib-body">
<div class="csl-entry">Gruenbacher, S., Cyranka, J., Islam, M. A., Tschaikowski, M., Smolka, S., & Grosu, R. (2019). Under the Hood of a Stand-Alone Lagrangian Reachability Tool. In G. Frehse & M. Althoff (Eds.), <i>ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems</i> (Vol. 61, pp. 211–219). EasyChair. https://doi.org/10.29007/ns8p</div>
</div>
-
dc.identifier.issn
2398-7340
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/143224
-
dc.description.abstract
Tool presentation: We present work in progress on a stand-alone implementation of Lagrangian reachability, a recently introduced over-approximation technique for nonlinear continuous systems. Unlike the previous prototype, the current implementation does not depend on the over-approximation tool CAPD, and invokes an improved Lohner's QR method to tame the infamous wrapping effect.
en
dc.language.iso
en
-
dc.relation.ispartofseries
EPiC Series in Computing
-
dc.title
Under the Hood of a Stand-Alone Lagrangian Reachability Tool
en
dc.type
Beitrag in Tagungsband
de
dc.type
Inproceedings
en
dc.description.startpage
211
-
dc.description.endpage
219
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
2398-7340
-
tuw.booktitle
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
-
tuw.container.volume
61
-
tuw.relation.publisher
EasyChair
-
tuw.relation.publisherplace
Manchester
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.29007/ns8p
-
dc.description.numberOfPages
9
-
tuw.editor.orcid
0000-0002-5441-0481
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
