A Type of Hybrid Automata Model Using in Laboratory Optimal Management

摘要

Hybrid automata is a formal model of hybrid system. It essentially makes the continuous state jump when the discrete state changes, which makes the discrete state automata have the ability to describe the continuous behavior. In this paper, the five tuple model of hybrid automata is used to describe the optimal management of open laboratories in Colleges and universities, that is, to meet the matching requirements of the number of students and the number of open laboratories with the minimum cost of laboratory use. The model divides the optimal management requirements into five continuous state spaces, which are driven by discrete events. Finally, the process of lab optimization management is analyzed by simulation, which shows the ideal effect of hybrid automata model in solving the problem of synchronous coordination between discrete and continuous parts of multi open lab optimization management.