混合过程控制系统基于广义对象的形式化开发
外文标题 | Formalizing a General Plant for Developing Hybrid Process System |
文献类型 | 期刊 |
作者 | 杨振宇[1];高建平[2];陈宗基[3];李宣东[4] |
机构 | [1]北京航空航天大学自动控制系,南京大学计算机科学系 [2]北京航空航天大学自动控制系,南京大学计算机科学系 [3]北京航空航天大学自动控制系,南京大学计算机科学系 [4]北京航空航天大学自动控制系,南京大学计算机科学系 ↓ |
来源信息 | 年:1999期:1页码范围:61-67 |
期刊信息 | 系统工程与电子技术ISSN:1001-506X |
关键词 | 控制系统;系统分析;控制器 |
摘要 | 许多过程控制系统可以看作混合控制系统.为使设计的控制器满足整个系统一定的过程需求 ,对象的信息是不可缺少的.本文为这类系统的开发提出了广义对象的形式化模型.基于这样的模型,可以从目标要求中直接提取系统需求,控制器也可以根据基于对象的形式化方法进行设计.我们以一个工业过程控制的实例来说明我们的方法和模型,采用时段演算来描述系统的特性并进行控制器的开发. |
收录情况 | CSCD |
所属部门 | 计算机学院 |
链接地址 | http://d.g.wanfangdata.com.cn/Periodical_xtgcydzjs199901015.aspx |
DOI | 10.3321/j.issn:1001-506X.1999.01.015 |
基金 | 国家科技攻关项目 |
全文
影响因子:
dc:title:混合过程控制系统基于广义对象的形式化开发
dc:creator:杨振宇;高建平;陈宗基,等
dc:date: publishDate:1999-01-20
dc:type:期刊
dc:format: Media:系统工程与电子技术
dc:identifier: LnterrelatedLiterature:系统工程与电子技术.1999,61-67.
dc:identifier:DOI:10.3321/j.issn:1001-506X.1999.01.015
dc: identifier:ISBN:1001-506X