基于混合随机Petri网的一类混合系统的模型及稳定性

Model and Stability of a Class of Hybrid Systems Based on Hybrid Stochastic Petri Nets

混合动态系统是包含离散事件系统 (DES)和连续变量系统 (CVS)的复杂系统 .讨论了一类每个离散状态包含一个连续动态系统 ,且离散事件具有Markov链性质的随机混合系统 ,在提出利用混合随机Petri网的建模方法的基础上 ,给出混合均方稳定的概念、稳定性和可镇定条件 。

Hybrid systems in which continuous dynamics is respectively included in each discrete state and discrete states have the Markov chain property is discussed.A hybrid model,HSPN (hybrid stochastic Petri nets), suitable for both analysis of hybrid systems and synthesis of hybrid controller is presented.Meanwhile,the mean square stability of the hybrid systems is defined.The stability condition and the stabilizability condition of hybrid system are proposed.Finally,an example is given.