FADBAD++

FADBAD++ implements the forward, backward and Taylor methods utilizing C++ templates and operator overloading. These AD-templates enable the user to differentiate functions that are implemented in arithmetic types, such as doubles and intervals. One of the major ideas in FADBAD++ is that the AD-template types also behave like arithmetic types. This property of the AD-templates enables the user to differentiate a C++ function by replacing all occurrences of the original arithmetic type with the AD-template version. This transparency of behavior also makes it possible to generate high order derivatives by applying the AD-templates on themselves, enabling the user to combine the AD methods very easily.


References in zbMATH (referenced in 33 articles )

Showing results 1 to 20 of 33.
Sorted by year (citations)

1 2 next

  1. Guzman, Yannis A.; Faruque Hasan, M.M.; Floudas, Christodoulos A.: Performance of convex underestimators in a branch-and-bound framework (2016)
  2. Bartha, Ferenc A.; Munthe-Kaas, Hans Z.: Computing of B-series by automatic differentiation (2014)
  3. Cyranka, Jacek: Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (2014)
  4. Giunta, G.; Koutsawa, Y.; Belouettar, S.; Hu, H.: Analysis of nano-plates by atomistic-refined models accounting for surface free energy effect (2014)
  5. Maïga, Moussa; Ramdani, Nacim; Travé-Massuyès, Louise; Combastel, Christophe: A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (2014)
  6. Pellegrini, Etienne; Russell, Ryan P.; Vittaldev, Vivek: $F$ and $G$ Taylor series solutions to the Stark and Kepler problems with Sundman transformations (2014)
  7. Rauh, Andreas; Senkel, Luise; Auer, Ekaterina; Aschemann, Harald: Interval methods for real-time capable robust control of solid oxide fuel cell systems (2014)
  8. Dötschel, Thomas; Auer, Ekaterina; Rauh, Andreas; Aschemann, Harald: Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control (2013)
  9. Fazal, Qaisra; Neumaier, Arnold: Error bounds for initial value problems by optimization (2013)
  10. Krause, Mathias J.; Heuveline, Vincent: Parallel fluid flow control and optimisation with lattice Boltzmann methods and automatic differentiation (2013)
  11. Dyllong, Eva; Kiel, Stefan: A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (2012)
  12. Nehmeier, Marco: Generative programming for automatic differentiation (2012)
  13. Nehmeier, Marco: Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard (2012)
  14. Rauh, Andreas; Auer, Ekaterina; Dötschel, Thomas; Aschemann, Harald: Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances (2012)
  15. Lamour, René; Monett, Dagmar: A new algorithm for index determination in DAEs using algorithmic differentiation (2011)
  16. Aschemann, H.; Minisini, J.; Rauh, A.: Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics (2010)
  17. Koutsawa, Yao; Belouettar, Salim; Makradi, Ahmed; Nasser, Houssein: Sensitivities of effective properties computed using micromechanics differential schemes and high-order Taylor series: application to piezo-polymer composites (2010)
  18. Rauh, Andreas; Minisini, Johanna; Hofer, Eberhard P.: Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamical systems with uncertainties (2010)
  19. Enciu, P.; Wurtz, F.; Gerbaud, L.; Delinchant, B.: Automatic differentiation for electromagnetic models used in optimization (2009)
  20. Freihold, Mareile; Hofer, Eberhard P.: Derivation of physically motivated constraints for efficient interval simulations applied to the analysis of uncertain dynamical systems (2009)

1 2 next