基于混合Petri网的一类混合系统的动态分析

被引:4
作者
谢东
韩曾晋
机构
[1] 清华大学自动化系!北京
关键词
混合系统; Petri网; 动态分析;
D O I
10.13195/j.cd.1997.05.16.xied.003
中图分类号
TP11 [自动化系统理论];
学科分类号
0711 ; 071102 ; 0811 ; 081101 ; 081103 ;
摘要
利用混合Petri网对一类典型的混合系统——模式切换系统进行建模和分析;提出模式切换系统动态平稳性的概念;给出了二维模式切换系统的平稳条件以及求解平稳点的算法,并用实例进行了说明。
引用
收藏
页码:542 / 547+553 +553
页数:7
相关论文
共 1 条
[1]  
Reachability analysis of dynamical systems piecewise-constant derivatives .2 Asarin E,Maler O,Pnueli A. Theoretical Computer Science . 1995