Palaniappan，Sucheendra K。；蒂亚加拉扬，P.S。 动态贝叶斯网络：概率动力学的因子模型。 （英语） 兹比尔1375.68087 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，17-25（2012）。 概要：概率动力学系统的建模和分析正在成为形式化方法界的一个中心话题。通常，各种马尔可夫链是这些研究中的核心数学形式。然而，在许多这种情况下，称为动态贝叶斯网络（DBN）的概率图形模型[D.科勒和N.弗里德曼概率图形模型。马萨诸塞州剑桥：麻省理工学院出版社（2009；Zbl 1183.68483号)]可以是更适合使用的模型。这是因为DBN通常是底层马尔可夫链的分解和简洁表示。我们的目标是从这个角度描述DBN。在介绍了基本形式之后，我们讨论了DBN的推理算法。然后我们考虑一个简单的概率时态逻辑以及有限时间范围内DBN的相关模型检查问题。最后，我们描述了DBN如何用于研究生化网络的行为。关于整个系列，请参见[Zbl 1251.68006号]. 引用于1文件 MSC公司： 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 引文：Zbl 1183.68483号 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Palaniappan}和\textit{P.S.Thiagarajan}，莱克特。注释计算。科学。7561，17-25（2012；Zbl 1375.68087） 全文： 内政部