FADBAD++

swMATH4863MaRDI QIDQ17018

No author found.

Related Items (59)

Unnamed Item ⋮ A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations ⋮ An integrodifferential approach to modeling, control, state estimation and optimization for heat transfer systems ⋮ ADiJaC -- Automatic Differentiation of Java Classfiles ⋮ Generative Programming for Automatic Differentiation ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ Interval modeling of dynamics for multibody systems ⋮ Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics ⋮ A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP ⋮ Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties ⋮ Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems ⋮ Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems ⋮ Sensitivities of effective properties computed using micromechanics differential schemes and high-order Taylor series: application to piezo-polymer composites ⋮ Solving differential-algebraic equations by Taylor series. II: Computing the system Jacobian ⋮ Computing of B-series by automatic differentiation ⋮ Adjoint concepts for the optimal control of Burgers equation ⋮ Error bounds for initial value problems by optimization ⋮ Deterministic global optimization of process flowsheets in a reduced space using McCormick relaxations ⋮ Solution of third grade thin film flow using algorithmic differentiation ⋮ Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances ⋮ Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard ⋮ A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure ⋮ Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering ⋮ An Hermite-Obreschkoff method for stiff high-index DAE ⋮ Analysis of nano-plates by atomistic-refined models accounting for surface free energy effect ⋮ A new algorithm for index determination in DAEs using algorithmic differentiation ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Parallel fluid flow control and optimisation with lattice Boltzmann methods and automatic differentiation ⋮ Unnamed Item ⋮ Deterministic global optimization of steam cycles using the IAPWS-IF97 model ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Interval methods for real-time capable robust control of solid oxide fuel cell systems ⋮ Optimal control of fluid force around a circular cylinder located in incompressible viscous flow using automatic differentiation ⋮ Deterministic global optimization with artificial neural networks embedded ⋮ Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties ⋮ Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation ⋮ Optimal Control of Fluid Forces Using Second Order Automatic Differentiation ⋮ Computations for the familial analysis of binary traits ⋮ Tighter McCormick relaxations through subgradient propagation ⋮ Unnamed Item ⋮ Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques ⋮ On the effectiveness of the fast automatic differentiation methodology ⋮ Expression templates for primal value taping in the reverse mode of algorithmic differentiation ⋮ Divide-and-conquer checkpointing for arbitrary programs with no user annotation ⋮ Unnamed Item ⋮ A backward automatic differentiation framework for reservoir simulation ⋮ Automatic Differentiation for MATLAB Programs ⋮ Application of techniques of computational differentiation to a cooling system ⋮ Performance of convex underestimators in a branch-and-bound framework ⋮ p-kernel Stein variational gradient descent for data assimilation and history matching ⋮ Stepsize selection in the rigorous defect control of Taylor series methods ⋮ The complex-step derivative approximation ⋮ \(F\) and \(G\) Taylor series solutions to the Stark and Kepler problems with Sundman transformations ⋮ Deterministic global optimization with Gaussian processes embedded ⋮ Automatic differentiation for electromagnetic models used in optimization ⋮ On the implementation of automatic differentiation tools ⋮ Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients ⋮ Fast Reverse-Mode Automatic Differentiation using Expression Templates in C++ ⋮ Some recent advances in validated methods for IVPs for ODEs

This page was built for software: FADBAD++