Edinburgh Research Archive logo

Edinburgh Research Archive

University of Edinburgh homecrest
View Item 
  •   ERA Home
  • Informatics, School of
  • Informatics thesis and dissertation collection
  • View Item
  •   ERA Home
  • Informatics, School of
  • Informatics thesis and dissertation collection
  • View Item
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Compositional Taylor model based validated integration

View/Open
Liiva2020.pdf (1.524Mb)
Date
25/06/2020
Author
Liiva, Kristjan
Metadata
Show full item record
Abstract
Validated integration is a family of methods that compute enclosures for sets of initial conditions in the Initial Value Problems. The Taylor model based validated integration methods use truncated Taylor series to approximate the solution to the Initial Value Problem and often give better results than other validated integration methods. Validated integration methods, and especially Taylor model based ones, become increasingly more impractical as the number of variables in the system get higher. In this thesis, we develop techniques that mitigate the issues related to the dimension of the system in Taylor model based validated integration methods. This is done by taking advantage of the compositional structure of the problem when possible. More precisely, the main contribution of this thesis is to enable computing an enclosure to a higher dimensional system by using enclosures for smaller lower dimensional subsystem that are contained in the larger system. The techniques called shrink wrapping and preconditioning are used in the Taylor model based validated integration to improve accuracy. We also analyse these techniques from a compositional viewpoint and present their compositional counterparts. We accompany compositional version of the Taylor model based validated integration with implementation of our tool CFlow* and experiments using our tool. The experimental results show performance gains for some systems with non-trivial compositional structure. This work was motivated by interest in formally analysing biological systems and we use biological systems examples in a number of our systems.
URI
https://hdl.handle.net/1842/37158

http://dx.doi.org/10.7488/era/459
Collections
  • Informatics thesis and dissertation collection

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page

 

 

All of ERACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisorsThis CollectionBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisors
LoginRegister

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page