混合过程控制系统基于广义对象的形式化开发

Formalizing a General Plant for Developing Hybrid Process System

许多过程控制系统可以看作混合控制系统。为使设计的控制器满足整个系统一定的过程需求，对象的信息是不可缺少的。本文为这类系统的开发提出了广义对象的形式化模型。基于这样的模型，可以从目标要求中直接提取系统需求，控制器也可以根据基于对象的形式化方法进行设计。我们以一个工业过程控制的实例来说明我们的方法和模型，采用时段演算来描述系统的特性并进行控制器的开发。

Many process control systems are a kind of hybrid systems.In order to develop a satisfied control strategy,i.e.,to make the whole system satisfy some processing requirements,the knowledge of plant is indispensable.This paper proposes a formal model for the general plant for a kind of process control systems. Based on the model, requirements for the system can be specified from goals, and the controller can be designed according to the plant based formal approach. An industrial process control system is used to illustrate our model and method. Duration Calculus, a real time interval logic, is utilized to specify some characters of the model and develop control program for the exemplified system.