Modelling Concepts Towards Automation: Merging the Methodology of Computer Science and Feedback-control Theory

Abstract This paper deals with a methodology to structure problems, so that thoy oan bo modelled with tho aid ef a sot of formulae. Tho representation concept using the first order predicate calculus allows one to use the results of the field of Feedback-Control by including functions. The vocabulary in which the models are represented can be more less directly used as input for specific built expert-system-snells.