尼古拉·贝内什;卢博什·布里姆;贾库布·卡德莱卡;塞缪尔·帕斯特瓦;萨夫拉内克，大卫 AEON：参数化布尔网络的吸引子分支分析。 （英文） Zbl 1478.68085号 Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12224, 569-581 (2020). 摘要：布尔网络（BN）为科学和工程中的各种现象提供了有效的建模工具。BN的任何长期行为最终都会收敛到所谓的吸引子。根据不同的逻辑参数，吸引子的结构和质量可能会发生重大变化，称为分岔。我们提出了一种分析异步参数化布尔网络中分岔的工具。为了解决状态空间和参数空间爆炸问题，该工具使用了并行半符号算法。关于整个系列，请参见[兹比尔1453.68017]. 引用于9文件 MSC公司： 2006年第68季度 作为计算模型的网络和电路；电路复杂性 37B35型 梯度行为；孤立（局部极大）不变集；拓扑动力系统的吸引子、排斥子 37G35型 吸引子及其分支的动力学方面 关键词：布尔网络;吸引子;分叉分析 软件：漫长的时期 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Lect。注释计算。科学。12224569--581（2020年；Zbl 1478.68085） 全文： 内政部