通过机载控制程序将主动诊断应用于空间系统
人工智能
2019-03-06 v1
摘要
真实系统的仪表化通常出于控制目的而设计,且控制输入旨在实现标称控制目标。因此,可用测量可能不足以确定地隔离故障,诊断存在歧义。主动诊断将一个规划问题形式化,以生成作用于系统的一系列动作,强制可诊断性并允许迭代细化歧义诊断。本文分析了将主动诊断应用于空间系统的需求,并提出 ActHyDiag 作为解决该问题的有效框架。文中给出了将 ActHyDiag 应用于真实空间案例研究并以机载控制程序形式实现所生成计划的结果。该案例研究是一个冗余 Spacewire 网络,其中最多 6 台仪器由卫星管理单元中托管的机载软件监控和控制,并通过 Spacewire 路由器将科学数据传输到海量存储器单元。在泰雷兹阿莱尼亚航天公司(Thales Alenia Space)开发的真实物理基准上进行的实验证明了 ActHyDiag 所提出计划的有效性。
引用
@article{arxiv.1903.01710,
title = {Applying Active Diagnosis to Space Systems by On-Board Control Procedures},
author = {Elodie Chanthery and Louise Travé-Massuyès and Yannick Pencolé and Régis De Ferluc and Brice Dellandrea},
journal= {arXiv preprint arXiv:1903.01710},
year = {2019}
}
备注
IEEE Transactions on Aerospace and Electronic Systems, Institute of Electrical and Electronics Engineers, In press