未找到相关数据
离散事件动态系统的事件驱动状态空间模型
被引：3
作者：
刘永欣
韩崇昭
李人厚
机构：
[1] 西安交通大学系统工程研究所
来源：
关键词：
离散事件动态系统;
事件驱动状态空间;
死锁;
能达性;
D O I：
10.13195/j.cd.1993.03.37.liuyx.007
中图分类号：
学科分类号：
摘要：
本文对一类离散事件动态系统(DEDS)提出了一种基于形式化描述的事件驱动状态空间模型,从而把系统运行过程的状态轨迹、驱动事件序列以及状态转移有机地结合起来。由于这种模型可以描述事件的并发,所以可用来分析诸如能达性、稳定性和死锁等性态;该模型具有高度的概括性,所以也适用于系统性能评价和综合。
引用
收藏
页码：193 / 197
页数：5
相关论文