Language Solving Using Simulation Relations
An important application coming from discrete control theory is the so-called model matching problem. It asks to design a controller M B so that the composition of a plant M A with the controller M B matches a given model M C (see the controller’s topology in Fig. 1.1e). Versions of the problem where the closed-loop system is required to be simulation-equivalent to the model have been studied in the literature [68, 12].