基于MCMAS的BCNs可观测性判定法
首发时间:2018-12-10
摘要:为了改进布尔控制网络(Boolean Control Networks)的可观测性问题,本文提出了一种基于MCMAS(Model Checker for Multi-Agent Systems)的判定方法。该方法使用三种智能体来表述布尔控制网络的状态转移情况,并对他们进行对比,从而检测到布尔控制网络的可观测性。布尔控制网络有四种可观测性,在之前的研究当中,需要为四种可观测性分别构造不同的自动机,并且每种自动机都需要构造多个,才能表征其可观测性。在本文中,只需构造一个自动机,便可表征四种可观测性,并且使用模型检测工具MCMAS验证该方法的正确性
For information in English, please click here
BCNs Observability Judgment Method Based on MCMAS
Abstract:In order to improve the observability of Boolean Control Networks, a decision method based on MCMAS (Model Checker for Multi-Agent Systems) is proposed. This method uses three agents to describe the state transition of Boolean control network, and compares them to detect the observability of Boolean control network. Boolean control network has four kinds of observability. In previous studies, different automata need to be constructed for four kinds of observability, and each automaton needs to construct more than one to characterize its observability. In this paper, we only need to construct one automaton to characterize four observability, and use Model Checking tool MCMAS to verify the correctness of this method.
Keywords: Boolean Control Network Automata Observability
引用
No.****
同行评议
勘误表
基于MCMAS的BCNs可观测性判定法
评论
全部评论0/1000