保证监视器模式
信号处理
2020-01-08 v1
摘要
某些应用要求保证某些准则仅以低概率被违反。当当前行动方案可能违反保证准则时生成警报，该警报引发纠正措施。保证监视器融合来自传感器及其他源生成的多个数据流的信息，以估计系统轨迹的概率分布。该分布用于判断保证约束是否可能被违反。数据获取需要能量、计算能力和通信带宽等资源，而这些资源在许多应用中是稀缺的。系统必须在每个时刻决定是否消耗这些资源以获取更多数据，从而提高轨迹概率分布的置信度。本文提出了一种用于保证监视的软件设计模式，并给出了其使用的示例，包括将该模式应用于无人机自主导航问题，该无人机需在有限资源下避开禁飞区。
引用
@article{arxiv.2001.02075,
title = {The Assurance Monitor Pattern},
author = {Adam Duracz and K. Mani Chandy and Mohamed Abdelrahman and Juan Jose Gonzalez España and Ryuichi Sai and Yao-Hsiang Yang and Robert Cartwright and Krishna V. Palem},
journal= {arXiv preprint arXiv:2001.02075},
year = {2020}
}