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

• 作者: 李宣东 杨振宇 陈宗基 高建平
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: 控制系统 系统分析 控制器
• 年，卷（期）: 1999,（1）
• 所属期刊栏目: 控制理论与应用
• 页码范围: 61-67
• 页数: 7页
• 分类号: TP3
• 字数: 6315字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-506X.1999.01.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机科学系	72	1417	20.0	36.0
2	陈宗基	北京航空航天大学自动控制系	99	1077	19.0	29.0
3	杨振宇	北京航空航天大学自动控制系	20	349	7.0	18.0
4	高建平	北京航空航天大学自动控制系	4	0	0.0	0.0