This paper discusses the design of hybrid controller based on hybrid I/O automata s.

• 探讨了基于模型实现关系和并行合并的混合控制系统的设计和验证问题。