Loading...
Please wait, while we are loading the content...
Compositional Taylor Model Based Validated Integration
| Content Provider | Semantic Scholar |
|---|---|
| Author | Liiva, Kristjan |
| Copyright Year | 2018 |
| 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 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://homepages.inf.ed.ac.uk/pbj/papers/synasc18-conf.pdf |
| Alternate Webpage(s) | https://www.research.ed.ac.uk/portal/files/76156409/Compositional_taylor_model_based_validated_integration.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Biological system DNA Integration Formal verification Nonlinear system Preconditioner Solutions Verification of Theories Version |
| Content Type | Text |
| Resource Type | Article |
