Controller synthesis for the “production cell” case study

1. ABSTRACT Controller Synthesis is an approach to solving reactive control problems by using a compiler (synthesizer) which automatically generates a control program from a description of requirements and a description of the system to be controlled (control problem). We describe the approach and explain its specific properties. An important advantage of Controller Synthesis when compared with other approaches is that the following programs and tools are automatically synthesized from the control problem specification: a correct controller prototype, a simulation covering both environment and controller behavior, a test environment aud au environment observer. The environment observer makes sure that the controller is used in the environment which it is specified for. Another advantage is that the presupposed behavior of the system to be controlled is made explicit and documented as part of the control problem. Controller Synthesis can be applied to a given problem, if it can be specified in the form of a control problem and processed by an existing compiler (synthesizer) for the specification language in use. We explain how Controller Synthesis can be used both as an alternative and a supplement to other approaches. CSLxt is a language for specifying and solving