离散事件动态系统

离散事件动态系统（discrete event dynamic system）简称DEDS，是控制工程中的名词，是指离散状态、事件驱动的系统，其状态演变完全和异步离散事件出现的顺序有关。离散事件动态系统类似连续变数动态系统（continuous-variable dynamic system, CVDS），但也有其特殊的离散状态空间以及事件驱动的变换机制。

离散事件动态系统要探讨的有：

• 自动机理论：有限状态机（FSM）的数学模型，以及其所能解决问题的研究。
• 监督控制理论：自动合成监督器的方法，可以生成限制系统行为，尽可能满足给定规格的监督器。
• Petri网：离散并列系统的数学表示法。
• 离散事件系统规格（英语：Discrete event system specification）：将离散事件系统规格化的作法。
• 布林微分（英语：Boolean differential calculus）：探讨布林变数以及布林函数变化的布林代数。
• 马尔可夫链：分别状态空间中经过从一个状态到另一个状态的转换的随机过程。
• 等候理论：研究服务系统中排队现象随机规律的学科。
• 离散事件仿真：将系统随时间的变化抽象成一系列离散时间点上的事件，以此进行的仿真。
• 同时估计法：离散事件仿真中使用的技术，估计离散事件动态系统下，不同参数设定的效果。

参考资料

• IEEE CSS Technical Committee on Discrete Event Systems. [2017-11-04]. （原始内容存档于2021-04-24）.
• Cassandras, C. G.; Lafortune, S. Introduction to Discrete Event Systems. Springer. 2008. ISBN 0-387-33332-0.
• Kumar, Ratnesh; Garg, Vijay K. Modeling and Control of Logical Discrete Event Systems. Springer. 1995. ISBN 978-0-7923-9538-6.