简介概要

离散事件动态系统的事件驱动状态空间模型

来源期刊：控制与决策1993年第3期

论文作者：刘永欣韩崇昭李人厚

文章页码：193 - 197

关键词：离散事件动态系统;事件驱动状态空间;死锁;能达性;

摘要：本文对一类离散事件动态系统(DEDS)提出了一种基于形式化描述的事件驱动状态空间模型,从而把系统运行过程的状态轨迹、驱动事件序列以及状态转移有机地结合起来。由于这种模型可以描述事件的并发,所以可用来分析诸如能达性、稳定性和死锁等性态;该模型具有高度的概括性,所以也适用于系统性能评价和综合。

详情信息展示

刘永欣，韩崇昭，李人厚

关键词：离散事件动态系统;事件驱动状态空间;死锁;能达性;