A Type of Hybrid Automata Model Using in Laboratory Optimal Management | IEEE Conference Publication | IEEE Xplore