Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

A higher order method for input-affine uncertain systems

“…Currently, we are working towards component-wise derivations of the local error, in order to better address systems whose variables have scaling of different orders of magnitude. Some of the other extensions on differential inclusions that we plan to accomplish are outlined in our paper [40]. These include constraint set representation of uncertainties including representation via affine and more general convex constraints.…”