Skip to main content

Taylor Model

Definition​

T≔{P(x)+y ∣ y∈I}{\cal T} \coloneqq \left\{ P(x)+y \ \big| \ y \in I \right\}

where P:Rp→RnP: \mathbb{R}^{p} \rightarrow \mathbb{R}^{n} is a polynomial function and I⊂RnI \subset \mathbb{R}^{n} is an interval.

Example​

from pyrat.geometry import TaylorModel
from pyrat.util.visualization import plot

# TODO

Operations​

Arithmetic​

addition or '+'

References​

[1]: Althoff, M., Grebenyuk, D., & Kochdumper, N. (2018). Implementation of Taylor models in CORA 2018. In Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems.