Estimation and synthesis of reachable set for delta operator systems. (May 2019)