An integrated environment for the design of procedural controllers

摘要

This paper describes a new CAD environment that has been developed for designing procedural controllers. The proposed approach permits a straightforward description of elementary components and methods to instantiate them. Formulae containing language-like descriptions can be then defined to constrain the behaviour of the model so that it corresponds to the behaviour of the actual plant. Further constraints can be defined to specify the behaviour that is desired from the system. Once the model and the specification are entered, various solvers can be invoked to consider the model/specification interaction. The solutions can be displayed textually as well as graphically.