psorlab / sourcecodemccormick.jl Goto Github PK

Create a function that given an Assignment, will create a list of Assignments such that each Assignment either: assigns a variable, assigns a number, assigns a unitary function evaluation, or assigns a binary function evaluation.

DifferentialInequality.jl to using DifferentialEquations to solve the trained model.
Also, compare batch data run times to Ensemble model using GPUs or multithreading.

Adapt definitions from McCormick and IntervalArithmetic to transform rules for IntervalOverload, McCormickOverload, McCormickIntervalOverload transformation types.

• Plus
• Minus
• Multiplication
• Power

Function should take an input x::ODESystem and an t::AbstractTransform and then transform x to create an auxiliary system of ODEs specified used to compute a quality indicated by t.