Computer-aided discretization of continuous data control systems