具身智能走向真实场景,但算法“能训练”不等于“可验证”:仿真真机脱节、迭代周期长、试错成本高,是无人智能科研瓶颈。飞思实验室以全栈自研技术为核心,构建以RflySim、天枢产品体系为代表的核心技术底座。依托Sim2Real、Swarm、边缘AI识别决策、异构具身智能体协同等关键技术优势,构建集群智能研发全周期的闭环体系,形成从关键技术研发到系统部署及产业生态构建的坚实技术根基。
基于此,实验室推出具身智能算法研发与验证方案:让强化学习、集群协同算法在训练-复现-飞控闭环-实机检验中形成可核查证据链,推动算法研发从经验试错走向工程化可信,大幅降低科研门槛与试错成本,赋能高校与科研院所创新研究,助力具身智能与低空无人产业高质量发展。
《打通仿真与真机:飞思实验室具身智能算法研发框架》已介绍飞思实验室具身智能算法研发与验证方案的平台分工与联合架构。本篇转向具体实践:通过五个来自不同项目的案例,观察策略训练、飞控闭环、并行试验与实机检验的阶段性进展,并进一步讨论验证结果如何获得可信依据。
它们来自三条线:RflySim有例程、RflySim-MuJoCo阶段性原型、强化学习对抗训练与真机攻防。放在一起看,正好是标题里那条路:Isaac Lab训练→RflySim软件在环→多机与并行→动捕与实机。文中数字只在各自的测试条件下成立。
案例1:Isaac Lab训练的策略进入RflySim飞控闭环
这个例程在同一架无人机、同一套飞控闭环下跑了两条控制链。第一条是强化学习:在Isaac Lab中训练四旋翼目标跟踪策略,观测是机体系速度、角速度、重力方向和目标相对位置,动作是推力与三轴力矩;到了RflySim,脚本从PX4的状态估计中重建同一组观测,把策略输出映射成姿态与推力设定值,交给PX4姿态内环执行——策略不再直接驱动刚体,而是经由真实飞控栈起作用。
图:Isaac Lab 中的四旋翼并行训练与训练日志
第二条是视觉伺服:RflySim3D的机载相机图像经共享内存回传,检测红色靶板的位置与大小,按比例控制转成机体系速度指令,让无人机跟随移动的靶板。两条链共用PX4 SITL、CopterSim与 RflySim3D,差别只在控制量从哪里来。它证明训练权重能进入RflySim/PX4控制链;但训练与验证仍是两次独立运行,动作接口的等价性尚未经过系统辨识。
图:验证环节在RflySim中进行:RflySim3D场景与回传的相机图像
案例2:四机协同吊运:四套PX4进入同一个MuJoCo世界
MuJoCo作为唯一物理权威,统一求解四架四旋翼、四根绳索和一个载荷;RflySim的无人机模型按责任重构接入,四套PX4通过四套CopterSim保持真实飞控闭环。一次186 s的软件在环任务完成了起飞、起吊、平移、放置、降落和上锁的全流程,飞控状态、载荷运动、绳索张力与任务过程进入同一条数据链,可同屏观察、同步记录。它证明的是多机飞控与强耦合物理可以在一个世界里闭环,不是真实吊运作业能力。
四机吊运软件在环同屏:MuJoCo物理世界、实时观测、QGroundControl与CopterSim
案例3:四环境并行训练与Go2步态优化:脱离实时约束
面向训练,RflySim-MuJoCo可以切换到无PX4的快速后端,去掉墙钟约束。四个吊运世界并行,相当于同时仿真16架无人机,累计实时倍率 26.83 倍;PPO采样、更新与模型保存链路已经打通,完整吊运策略仍在迭代。同一后端接入Unitree Go2 模型后,通过1152次并行试跑优化步态参数,平均速度由−0.02m/s提高到1.757m/s,6次扰动评估均未跌倒。这是参数优化,不是端到端学会行走。
四个MuJoCo吊运世界并行推进,底部为采样吞吐与累计实时倍率
Unitree Go2步态优化前(左)后(右)同步对比
案例4:单机对抗策略的课程式强化学习:让高精度模型跑在GPU上
RflySim的Simulink高精度无人机模型被重构为GPU批量张量动力学,采样与PPO更新在同一块GPU上闭环,参考配置为2048个并行环境;分层地形观测和多速率刷新进一步提高有效经验比例。策略按五个阶段串行训练:听令跟随→静态地形→伙伴与敌机→部署级对抗→安全巩固。在室内对抗场景中,进攻机从第1轮试错走到第8轮稳定获胜,任务从1V1扩展到2V2、3V3。
单机策略的四个能力阶段:基础1V1→稀疏地形→稠密地形→3V3
案例5:真机攻防:策略在室内动捕场地上飞起来
在室内动捕场地中,进攻机依据实时环境状态自主评估障碍、目标与可通行空间,输出绕障或越障行为,直至扎破代表防御方的气球。没有人工指定路径,策略依据环境反馈在线决策。在仿真中训练与验证的策略,在真实飞控与真实场地中被检验。
四个MuJoCo吊运世界并行推进,底部为采样吞吐与累计实时倍率
五个案例分别触及策略迁移、多机绳索耦合、并行训练、足式接触、课程式强化学习和实机验证。它们共同证明:联合仿真的抽象命题,已经可以被拆解为多实例飞控接入、复杂约束表达、GPU并行训练、任务日志和实飞检验等具体工程问题。
这些结果验证的是各条路径的阶段性可行性,不等同于完整的Isaac Sim×RflySim×MuJoCo在线联合框架已经全部交付。
6 真正的难点不在“连上”,而在“可信”
上面的案例能跑起来,靠的不是把进程连上。ROS 2、UDP和MAVLink负责传数据,真正决定结果可信与否的,是两件看不见的事。
01时间与坐标:多速率之下的同一条因果链
物理引擎可能以1 kHz步进,飞控以250 Hz更新,策略以10~20 Hz推理,相机按另一帧率输出。若各模块只按自身最快速度运行,控制指令会作用于过期状态,视觉结果会对应错误时刻。系统必须明确采样、保持、时间戳、超时和陈旧数据的处理规则:训练可以超实时,软件在环要接近墙钟,视觉闭环还要处理渲染延迟。
坐标是同一类问题。飞控常用NED/FRD,机器人和图形系统常见ENU/FLU,四元数顺序、角速度和单位约定也各不相同。一次未发现的轴向或符号错误,在单机悬停中并不明显,却会在编队、吊运和末端接触时被放大。时间和坐标都应成为可测试的接口契约,而不是散落在代码里的经验处理。
02物理:一个对象只有一份真值,强耦合进同一个求解器
如果RflySim、MuJoCo和Isaac Sim同时积分同一架无人机,再互相回写位姿,就会出现抖动、穿透和非物理能量。正确做法是为每类对象指定唯一物理权威,其他平台只消费状态、生成传感器或输出控制量。四机吊运中MuJoCo是唯一权威、RflySim模型按责任接入,正是这个原则。
绳索吊运、刚性连接、抓取和足地接触会传递约束力、接触力和动量,仅交换位置与姿态无法重现这种双向作用。所有直接强耦合的对象应进入同一求解器,或者使用经过能量与稳定性验证的接口模型。
结语
上述案例分别以策略迁移、多机绳索耦合、并行训练、足式接触、课程式强化学习和实机验证的工程实践落地,证明联合仿真的抽象命题已可被拆解为多实例飞控接入、复杂约束表达、GPU并行训练、任务日志和实飞检验等具体工程问题。
真正有价值的案例,跑通只是开始,能回答策略在哪些条件下有效、在什么边界上失效、结果能否被重复验证,才算立得住。训练日志、飞控响应、动力学约束与实机表现连成可核查的证据,具身智能算法由此从阶段性突破走向可靠应用。而飞思实验室具身智能算法研发与验证方案所做的,正是以自主可控的国产化工具链,让“能训练”真正变为“可验证”,让科研人员回归算法创新本身,让具身智能与低空无人产业在可信的基石上加速生长。