一类混杂系统的推广自动机模型及其仿真

通过分析混杂系统的特点,以混杂系统自动机建模理论为基础,结合一种特殊的并行投影结构（Projection Construct）,提出了针对混杂系统的推广自动机模型。该模型着眼于连续状态空间的划分。并行投影结构有效的处理了离散事件动态子系统和连续变量动态子系统之间的接口问题。该方法获得的混杂系统模型由图形的方式表示,简单直观。最后用两个实例介绍了推广自动机模型的建模过程,并借助Matlab环境中的Stateflow工具箱,对模型进行了仿真,结果表明该模型能够很好地解决混杂系统中离散部分和连续部分的同步协调问题。

Extended Automata Model and Simulation for a Class of Hybrid Systems

Based on the characters of the hybrid system and the automata modeling theory, an extended automata model for the hybrid system was developed. It is combined with a special parallel projection construct and focused on the partition of the continuous state space. The projection construct was used to solve the interface problem between the discrete event dynamic subsystems and the continuous variable dynamic subsystems. The model obtained by this way was described by graphs, so it is easy to understand. The modeling process was illustrated by two examples and the stateflow toolbox in matlab was introduced for simulation. The simulation results show the extended automata model is good at solving the synchronous problem between the two subsystems of hybrid systems.