DESIGN OF HYBRID CONTROLLER BASED ON HIOA⁺

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.