| 混合过程控制系统基于广义对象的形式化开发 |
| |
| 引用本文： | 杨振宇,高建平,陈宗基,李宣东.混合过程控制系统基于广义对象的形式化开发[J].系统工程与电子技术,1999(1). |
| |
| 作者姓名： | 杨振宇 高建平 陈宗基 李宣东 |
| |
| 作者单位： | 1. 北京航空航天大学自动控制系,100083
2. 南京大学计算机科学系,210093 |
| |
| 基金项目： | 国家“863”高技术计划306专题基金 |
| |
| 摘 要： | 许多过程控制系统可以看作混合控制系统。为使设计的控制器满足整个系统一定的过程需求，对象的信息是不可缺少的。本文为这类系统的开发提出了广义对象的形式化模型。基于这样的模型，可以从目标要求中直接提取系统需求，控制器也可以根据基于对象的形式化方法进行设计。我们以一个工业过程控制的实例来说明我们的方法和模型，采用时段演算来描述系统的特性并进行控制器的开发。
|
| 关 键 词： | 控制系统，系统分析，控制器 |
Formalizing a General Plant for Developing Hybrid Process System |
| |
| Yang Zhenyu,Gao Jianping,Chen Zongji,Li Xuandong.Formalizing a General Plant for Developing Hybrid Process System[J].System Engineering and Electronics,1999(1). |
| |
| Authors: | Yang Zhenyu Gao Jianping Chen Zongji Li Xuandong |
| |
| Abstract: | 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. |
| |
| Keywords: | Hybrid systems Process control systems Duration calculus |
| 本文献已被 万方数据 等数据库收录！ |
|
