[论文解读] Fault Tolerant Stabilizability of Multi-Hop Control Networks

Maria Domenica Di Benedetto, Alessandro D’Innocenzo+1 more|arXiv (Cornell University)|Mar 22, 2011

Stability and Control of Uncertain Systems参考文献 15被引用 8

一句话总结

该论文提出了一种用于多跳控制网络（MCNs）中调度与路由的协同设计方法，以确保在任意链路故障下具备故障容错稳定性的能力。通过在组合式网络模型中引入基于权重函数的冗余数据合并机制，建立了在所有故障配置下系统可控性与可观测性的必要且充分条件，从而实现了通过混合观测器故障检测与切换控制律实现鲁棒控制网络的可构造设计，确保系统稳定。

ABSTRACT

A Multi-hop Control Network (MCN) consists of a plant where the communication between sensor, actuator and computational unit is supported by a wireless multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We address the problem of characterizing controllability and observability of a MCN, by means of necessary and sufficient conditions on the plant dynamics and on the communication scheduling and routing. We provide a methodology to design scheduling and routing, in order to satisfy controllability and observability of a MCN for any fault occurrence in a given set of configurations of failures.

研究动机与目标

• 为解决在多跳控制网络（MCNs）中任意通信链路故障下维持可控性与可观测性的挑战。
• 开发一种可构造的方法，用于配置调度与路由协议，确保在网络所有故障配置下系统保持稳定。
• 通过集成故障检测与混合观测器技术，实现控制算法与通信参数的协同设计。
• 将先前工作的组合式网络模型扩展，以包含数据流中的冗余与故障容错能力。
• 通过在数据合并过程中修改权重函数，确保即使通信链路发生故障，闭环系统仍保持可稳定化。

提出的方法

• 通过引入权重函数，扩展了Alur等人（2009年）基于自动机的模型，以建模网络中多路径的冗余数据传输与合并。
• 定义了冗余数据流的语义，使接收端能够一致地合并重复数据，从而增强对链路故障的鲁棒性。
• 采用构造性证明方法，推导出MCN在任意故障配置下的可控性与可观测性的必要且充分条件。
• 使用特征值配置技术，分别为无故障与故障状态下的网络动态设计独立的LTI控制器。
• 采用混合观测器技术，仅利用输入与输出信号实时检测正常与故障网络模式之间的切换。
• 在模式切换中引入最小驻留时间约束，以确保切换闭环系统的稳定性。

实验结果

研究问题

• RQ1 在何种植物动态、调度、路由与故障配置条件下，能够保证MCN在任何故障发生情况下的可控性与可观测性？
• RQ2 如何形式化建模数据传输中的冗余，以确保多跳控制网络的故障容错能力？
• RQ3 能否设计一个单一控制器以在多种故障配置下稳定MCN，还是必须采用切换控制律？
• RQ4 在链路故障导致极零点相消时，数据合并中的权重函数在恢复可控性方面起到何种作用？
• RQ5 如何仅利用输入与输出测量值，在无需网络状态先验知识的情况下实现实时故障检测？

主要发现

• 论文在调度周期内网络保持连通的前提下，建立了MCN在任意故障配置下的可控性与可观测性的必要且充分条件。
• 通过调整数据合并过程中的权重函数——特别是将 $ \bar{W}_{\mathcal{R}}(v_4,v_7) $ 增加0.1——即使在故障导致极零点相消的情况下，系统也能恢复可控性与可观测性。
• 基于混合观测器的故障检测机制成功地实时识别出正常与故障网络动态之间的切换，且仅依赖输入与输出信号。
• Simulink中的仿真结果表明，控制器能够检测模式切换并应用正确的控制律，确保过渡期间闭环系统的稳定性。
• 所提出的框架实现了通信参数与控制算法的协同设计，即使在罕见但具有破坏性的链路故障下，也能确保系统可稳定化。
• 该框架保持了组合式建模特性，支持扩展至更大规模的多回路MCN架构。