基于布尔控制网络的反馈上下文感知普适系统形式化验证方法
系统与控制
2020-07-08 v1 系统与控制
摘要
在自主、监测和安全关键应用领域中，上下文感知系统的出现要求定义一些方法来形式化评估其正确性与可靠性属性。这些属性中有许多是自动控制系统所共有的，而该领域已发展出成熟的分析与设计技术来形式化并研究它们。在本文中，我们使用布尔控制网络，在一个基于医疗健康管理示例的案例研究中讨论反馈上下文感知系统的若干属性。
引用
@article{arxiv.2007.03065,
title = {A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems},
author = {Fabio A. Schreiber and Maria Elena Valcher},
journal= {arXiv preprint arXiv:2007.03065},
year = {2020}
}