Hybrid Automata 混合自动机入门