PROCESS FOR DEFINING THE APPLICATION-DEPENDENT LOGIC OF A FREELY PROGRAMMABLE SEQUENTIAL LOGIC SYSTEM, DEVICE FOR IMPLEMENTING THIS PROCESS AND DEVICE FOR OPERATING A CONTROL SYSTEM USING A PROGRAM THUS DEFINED

摘要

The sequential logic system used to control the running of a process is modelled as a finite logic controller (AUT). The logic controller table (AT), however, does not contain sequence statuses and results arising through the use of an input symbol on the momentary status of an object, but rather status transition functions with which the actual sequence statuses and results can be calculated. In order to determine these functions, the problems to be dealt with by the individual objects are expressed in technical language in terms of object types, which makes it possible to express logic conditions of elementary statuses of the objects. This language is then applied to the concrete objects and the language elements used are replaced by the logical links of the elementary object statuses contained therein. This is done using a computer. The computer also determines the object-related transient functions from all the conditions laid down for the objects and the individual input symbols and enters them in the logic controller table according to the rules of the binary decision diagrams.