混合自动机用来建立混合系统的数学模型.混合系统包括时间驱动部分和事件驱动部分.事件驱动部分就是几种模式,事件驱动部分就是微分方程.一个例子是汽车换挡,一档二档三档这些挡位就是事件驱动部分,时间驱动部分就是电机齿轮那些的数学模型(不同挡位是不一样的). 混合自动机(H)严谨定义如下:(C.G,Cassandras)H=[q,x,e,u,g,f,invariant,guard,reset,q0,x0].举个例子,换挡系统可以建模为H=[挡位,车速,(司机手动换挡)事件,油门,换挡时的切换函数(比如一…