上下文感知系统若干性质的形式化评估
形式语言与自动机理论
2020-05-04 v1 系统与控制
系统与控制
摘要
上下文感知系统正成为自治与监测应用中有用的组件，对其性质的评估是迈向可靠实现的重要一步，尤其在安全关键应用中。本文以雪崩/滑坡预警系统为运行实例，提出一种基于布尔控制网络的技术，以验证系统动力学具有对应于恒定输入的稳定平衡态，从而不表现出振荡行为，并确立其他有用性质，以实现精确且及时的报警系统。
引用
@article{arxiv.2005.00373,
title = {Formal assessment of some properties of Context-Aware Systems},
author = {Fabio A. Schreiber and Maria Elena Valcher},
journal= {arXiv preprint arXiv:2005.00373},
year = {2020}
}