A computation model for semantic control (Q757085)

Application of classical control theoretical methods depends on the availability of well defined models of the plants. In large-scale control problems due to the complexity, heterogeneity and time-dependent behavior of the system to be controlled, classical control theory has only limited use. New research directions in intelligent control pursue a different approach and introduce an extended interpretation of the most fundamental concepts of control theory. A conceptual framework for these efforts is formalized in the semantic control theory by \textit{Ervin Y. Rodin} [Appl. Math. Lett. 1, 73-78 (1988; Zbl 0626.93007)]. Key elements of this theory ar the following concepts: (1) Semantic Model (SM): is a family of formal models together with rules specifying transitions among them. (2) Semantic State (S): is a particular instance of the SM together with its Q state and a G goal. The operation of a semantic control system include the following steps: (1) identification of the current semantic state, (2) selection of a goal, and (3) design of a classical control system which corresponds to the result of (1) and (2).