基于HIOA+模型的混合控制设计
DESIGN OF HYBRID CONTROLLER BASED ON HIOA+
-
摘要: 介绍了混合输入输出自动机形式规范和行为规则.探讨了基于模型实现关系和并行合并的混合控制系统的设计和验证问题.并以一过程控制系统为例,阐明设计思想的具体运用.Abstract: 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 relation-ship and parallel composition are defined, and their application in design and verification of hybrid control systems is explored. At last, a binary-tank process control system is used to illustrate the main ideas.