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

Event Driven State Space Model for DEDS

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

This paper presents an event driven state space (EDSS) model based on formalized description for a class of deterministic Discrete Event Dynamic Systems (DEDS). EDSS model is characterized by the combination of the discrete time trajectory, driven event sequence and the state transition of the EDSS system. Because the concurenty of events can be described by the model, the EDSS can be used to analyse and evaluate the properties of EDSS, such as reachability, stability and deadlock etc.. Some interesting results are obtained in the paper.