离散事件系统(Discrete-Event Systems)和监控控制理论(Supervisory Control Theory)为指定正确性行为提供了严谨框架,但它们在群体机器人(Swarm Robotics)中的实际应用尚未被充分探索。该论文旨在解决无人机在故障或攻击事件后如何安全恢复并重新进入受控区域的问题。
提出了一种混合架构(Hybrid Architecture),结合了高层离散事件系统监控器(High-Level Discrete Event Systems Supervisor)与低层连续控制器(Low-Level Continuous Controller),通过拓扑恢复方法(Topological Recovery Method)实现无人机恢复。方法在py-bullet-drones框架中使用十架模拟无人机(UAVs)进行演示,并引入了二次恢复监控器(Secondary Recovery Supervisor)来管理无人机重新进入操作区域后的重组过程。
核心创新在于将离散事件系统(Discrete-Event Systems)应用于群体机器人(Swarm Robotics)的恢复场景,提出了一种混合架构(Hybrid Architecture)实现无人机从故障或攻击事件中安全恢复,并设计了二次恢复监控器(Secondary Recovery Supervisor)以处理重组过程,这在现有工作中是独特的。
该论文通过案例研究展示了离散事件系统(Discrete-Event Systems)在群体机器人(Swarm Robotics)恢复中的实际应用,验证了混合架构(Hybrid Architecture)在四种不同初始状态估计场景下的恢复性能,为无人机群体在故障或攻击后的自主恢复提供了可扩展的框架。