Compositional Taylor Model Based Validated Integration

Kristjan Liiva; Paul Jackson; Grant Passmore; Christoph M.  Wintersteiger

doi:10.1109/SYNASC.2018.00020

Compositional Taylor Model Based Validated Integration

Kristjan Liiva, Paul Jackson, Grant Passmore, Christoph M. Wintersteiger

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

We present a compositional validated integration method based on Taylor models. Our method combines solutions for lower dimensional subsystems into solutions for a higher dimensional composite system, rather than attempting to solve the higher dimensional system directly. We have implemented the method in an extension of the Flow* tool. Our preliminary results are promising, suggesting significant gains for some biological systems with nontrivial compositional structure.

Original language	English
Title of host publication	2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Place of Publication	Timisoara, Romania
Publisher	Institute of Electrical and Electronics Engineers
Pages	45-52
Number of pages	8
ISBN (Electronic)	978-1-7281-0625-0
ISBN (Print)	978-1-7281-0626-7
DOIs	https://doi.org/10.1109/SYNASC.2018.00020
Publication status	Published - 1 Jul 2019
Event	20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Department of Computer Science, West University of Timisoara, Timisoara, Romania Duration: 20 Sept 2018 → 23 Sept 2018 https://synasc.ro/2018/

Conference

Conference	20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Abbreviated title	SYNASC 2018
Country/Territory	Romania
City	Timisoara
Period	20/09/18 → 23/09/18
Internet address	https://synasc.ro/2018/

Keywords / Materials (for Non-textual outputs)

validated integration
formal verification
Taylor models
nonlinear systems

Access to Document

10.1109/SYNASC.2018.00020Licence: All Rights Reserved

Compositional taylor model based validated integrationAccepted author manuscript, 238 KB

https://ieeexplore.ieee.org/document/8750706Licence: All Rights Reserved

Cite this

@inproceedings{1592bf1b0dae44e49ad47a62d3d1f78a,

title = "Compositional Taylor Model Based Validated Integration",

abstract = "We present a compositional validated integration method based on Taylor models. Our method combines solutions for lower dimensional subsystems into solutions for a higher dimensional composite system, rather than attempting to solve the higher dimensional system directly. We have implemented the method in an extension of the Flow* tool. Our preliminary results are promising, suggesting significant gains for some biological systems with nontrivial compositional structure.",

keywords = "validated integration, formal verification, Taylor models, nonlinear systems",

author = "Kristjan Liiva and Paul Jackson and Grant Passmore and Wintersteiger, {Christoph M.}",

year = "2019",

month = jul,

day = "1",

doi = "10.1109/SYNASC.2018.00020",

language = "English",

isbn = "978-1-7281-0626-7",

pages = "45--52",

booktitle = "2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018 ; Conference date: 20-09-2018 Through 23-09-2018",

url = "https://synasc.ro/2018/",

}

Liiva, K, Jackson, P, Passmore, G & Wintersteiger, CM 2019, Compositional Taylor Model Based Validated Integration. in 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Institute of Electrical and Electronics Engineers, Timisoara, Romania, pp. 45-52, 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 20/09/18. https://doi.org/10.1109/SYNASC.2018.00020

Compositional Taylor Model Based Validated Integration. / Liiva, Kristjan; Jackson, Paul; Passmore, Grant et al.
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Timisoara, Romania: Institute of Electrical and Electronics Engineers, 2019. p. 45-52.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Compositional Taylor Model Based Validated Integration

AU - Liiva, Kristjan

AU - Jackson, Paul

AU - Passmore, Grant

AU - Wintersteiger, Christoph M.

PY - 2019/7/1

Y1 - 2019/7/1

N2 - We present a compositional validated integration method based on Taylor models. Our method combines solutions for lower dimensional subsystems into solutions for a higher dimensional composite system, rather than attempting to solve the higher dimensional system directly. We have implemented the method in an extension of the Flow* tool. Our preliminary results are promising, suggesting significant gains for some biological systems with nontrivial compositional structure.

AB - We present a compositional validated integration method based on Taylor models. Our method combines solutions for lower dimensional subsystems into solutions for a higher dimensional composite system, rather than attempting to solve the higher dimensional system directly. We have implemented the method in an extension of the Flow* tool. Our preliminary results are promising, suggesting significant gains for some biological systems with nontrivial compositional structure.

KW - validated integration

KW - formal verification

KW - Taylor models

KW - nonlinear systems

UR - https://synasc.ro/2018/publication/

U2 - 10.1109/SYNASC.2018.00020

DO - 10.1109/SYNASC.2018.00020

M3 - Conference contribution

SN - 978-1-7281-0626-7

SP - 45

EP - 52

BT - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

PB - Institute of Electrical and Electronics Engineers

CY - Timisoara, Romania

T2 - 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Y2 - 20 September 2018 through 23 September 2018

ER -

Compositional Taylor Model Based Validated Integration

Abstract / Description of output

Conference

Keywords / Materials (for Non-textual outputs)

Access to Document

Other files and links

Fingerprint

Cite this