Hybrid Petri Nets and Analysis of Its Reachability
-
摘要: 混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统.文中建立的混合Petri网能够描述、分析确定性离散事件,以及离散事件或连续演变的并发问题;该网可以覆盖离散Petri网和赋时Petri网,从而使离散事件系统、实时离散事件系统和混合系统理论研究统一到同一理论框架中.此外还给出计算混合系统可达状态集的算法.Abstract: Hybrid system is a type of sophisticated system which consists of interactive discrete event dynamic systems and continuous variable dynamic systems. A new type of hybrid Petri net is proposed, which can not only describe and analyze deterministic discrete events, but also deal with the concurrent problem concerning discrete events or continuous evolution. If the hybrid net is simplified properly, the timed Petri net model and logic Petri net model of the original system can be obtained. Therefore, the objective systems could be researched under the same theoretic framework in DES, RTDES and HS respectively. In addition, an algorithm is presented in order to compute the set of reachable states in hybrid system.
-
Key words:
- hybrid control /
- reachability /
- continuous systems /
- discrete systems /
- Petri net
-
[1] 李惠峰,陈浩勋,孙国基. 具有硬实时上限的受控赋时Petri网的控制综合[J]. 控制与决策,1998,13(3):245~249. [2]Puri A, Varaiya P. Verification of hybrid systems using abstractions. In:Antsaklis P, Kohn W, Nerode A, et al, eds. Hybrid Systems (II). Berlin:Spring-Verlag, 1995. 359~369. [3]陈浩勋,李惠峰,孙国基. 一类混杂系统的混杂Petri网模型. 见:秦化淑主编. 97中国控制会议论文集. 武汉:武汉大学出版社,1997. 703~708.
点击查看大图
计量
- 文章访问数: 2694
- HTML全文浏览量: 141
- PDF下载量: 997
- 被引次数: 0