混合系统的分析

Analysis of Hybrid Systems

在人们日常生活中,混合系统(Hybrid Sstem)应用的实例很多,如汽车中的计算机控制系统、飞机中的平稳飞行痤制系统等都属于混合系统的范畴,并且随着计算机技术的发展,混合系统的应用范围会更加广泛,入们的生活会更加依赖于混合系统,固此社会应用的需求要求研究人员对混合系统进行比较深入的研究,保证混合系统运行的正确性。

The paper first provides the definition of hybrid system. It then defines syntax structure of hybrid automaton in detail and fully analyses the automaton that is a model of the hybrid system. Thirdly,It introduces some verification problems of hybrid automaton and transformation algorithms to timed automaton. At last,it gives some future research directions for hybrid automaton.