In the modelic control paradigm, the first step is to establish a dynamic model through system identification. This model offers a continuous but inaccurate description of state transition information ...