TY - GEN A1 - Griewank, Andreas A1 - Streubel, Tom A1 - Tischendorf, Caren T1 - On the abs-polynomial expansion of piecewise smooth functions N2 - Tom Streubel has observed that for functions in abs-normal form, generalized Taylor expansions of arbitrary order $\bar d-1$ can be generated by algorithmic piecewise differentiation. Abs-normal form means that the real or vector valued function is defined by an evaluation procedure that involves the absolute value function $|...|$ apart from arithmetic operations and $\bar d$ times continuously differentiable univariate intrinsic functions. The additive terms in Streubel's expansion are abs-polynomial, i.e. involve neither divisions nor intrinsics. When and where no absolute values occur, Moore's recurrences can be used to propagate univariate Taylor polynomials through the evaluation procedure with a computational effort of $\mathcal O({\bar d}^2)$, provided all univariate intrinsics are defined as solutions of linear ODEs. This regularity assumption holds for all standard intrinsics, but for irregular elementaries one has to resort to Faa di Bruno's formula, which has exponential complexity in $\bar d$. As already conjectured we show that the Moore recurrences can be adapted for regular intrinsics to the abs-normal case. Finally, we observe that where the intrinsics are real analytic the expansions can be extended to infinite series that converge absolutely on spherical domains. T3 - ZIB-Report - 20-14 KW - Nonsmooth Taylor polynomial/series KW - forward mode propagation KW - abs-normal form KW - abs-linear form KW - absolute convergence KW - Moore recurrences KW - quadratic complexity Y1 - 2020 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-78448 SN - 1438-0064 ER - TY - CHAP A1 - Streubel, Tom A1 - Strohm, Christian A1 - Trunschke, Philipp A1 - Tischendorf, Caren T1 - Generic Construction and Efficient Evaluation of Network DAEs and Their Derivatives in the Context of Gas Networks T2 - Operations Research Proceedings 2017 N2 - We present a concept that provides an efficient description of differential-algebraic equations (DAEs) describing flow networks which provides the DAE function f and their Jacobians in an automatized way such that the sparsity pattern of the Jacobians is determined before their evaluation and previously determined values of f can be exploited. The user only has to provide the network topology and local function descriptions for each network element. The approach uses automatic differentiation (AD) and is adapted to switching element functions via the abs-normal-form (ANF). KW - compressed sparse row format KW - algorithmic differentiation KW - abs-normal form KW - piecewise linear tangent approximation KW - piecewise smooth Y1 - 2018 SN - 978-3-319-89920-6 U6 - https://doi.org/10.1007/978-3-319-89920-6_83 SP - 627 EP - 632 PB - Springer International Publishing ER - TY - GEN A1 - Streubel, Tom A1 - Strohm, Christian A1 - Trunschke, Philipp A1 - Tischendorf, Caren T1 - Generic Construction and Efficient Evaluation of Network DAEs and Their Derivatives in the Context of Gas Networks N2 - We present a concept that provides an efficient description of differential-algebraic equations (DAEs) describing flow networks which provides the DAE function f and their Jacobians in an automatized way such that the sparsity pattern of the Jacobians is determined before their evaluation and previously determined values of f can be exploited. The user only has to provide the network topology and local function descriptions for each network element. The approach uses automatic differentiation (AD) and is adapted to switching element functions via the abs-normal-form (ANF). T3 - ZIB-Report - 17-41 KW - compressed sparse row format KW - algorithmic differentiation KW - abs-normal form KW - piecewise linear tangent approximation KW - piecewise smooth Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-64582 SN - 1438-0064 ER -