摘要
介绍了混合输入输出自动机形式规范和行为规则．探讨了基于模型实现关系和并行合并的混合控制系统的设计和验证问题．并以一过程控制系统为例，阐明设计思想的具体运用．
This paper discusses the design of hybrid controller based on hybrid I/O automata s. Firstly, the specification and operating rules of the automata are introduced. Secondly, the implementation relationship and parallel composition are defined, and their application in design and verification of hybrid control systems is explored. At last, a binarytank process control system is used to illustrate the main ideas.
出处
《信息与控制》
CSCD
北大核心
1998年第3期172-178,共7页
Information and Control
基金
国家863项目智能计算机系统主题资助
