Theoretical Analyses and Results of Taylor-Zhang Discretization Formula and ZeaD4Ig2_Y Formula Generating Discrete-Time Solutions of ODE Dynamic Systems | IEEE Conference Publication | IEEE Xplore