Dynamical System Algorithm Specification Analysis and Stabilization. - Charles C. Phiri; János Botzheim; Cristina Valle; Zhaojie Ju; Honghai Liu 001 (ICIRA (1), 2017)