...
机译:DSVerifier辅助的验证应用于无人机姿态控制软件
Federal University of Amazonas, Manaus, Brazil;
Department of Electricity, Federal University of Amazonas, Manaus, Brazil;
Graduate Program in Electrical Engineering, Federal University of Amazonas, Manaus, Brazil;
Federal University of Amazonas, Manaus, Brazil;
University of Manchester, Manchester, U.K.;
Graduate Program in Electrical Engineering, Federal University of Amazonas, Manaus, Brazil;
Tools; Software; Unmanned aerial vehicles; Model checking; Attitude control; Reliability; Limit-cycles;
机译:DSiferifier-辅助验证应用于无人驾驶飞行器中的姿态控制软件
机译:全向视觉应用于无人机(UAV)姿态和航向估计
机译:LL神经网络自适应容错控制器,用于无人驾驶飞行器姿态控制系统
机译:循环软件在无人飞行器中的控制器设计
机译:微型飞行翼无人机的多个同时规格姿态控制。
机译:虚拟电动偶极场应用于无人机航空车辆的自主地层飞行控制
机译:固定翼无人机飞行动力学模型和飞行控制仿真的软件和硬件在环验证