机译:具有大型柔性附件的卫星的面向控制的建模,并使用最坏情况分析来验证对姿态控制的不确定性建模的鲁棒性
机译:柔性卫星姿态和轨道控制系统的鲁棒性分析
机译:刚性卫星姿态控制系统参数化模型预测控制的实时实现
机译:验证和确认挠性卫星姿态控制系统的综合分析/数字框架
机译:CanX-2纳米卫星热控制系统的设计,实施和测试,以及通用纳米卫星总线的姿态确定和控制系统的初步设计。
机译:用于抑制β振荡的自调整深脑刺激控制器:分析推导和数值验证
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:高速地面运输系统的安全性:计算机控制子系统安全验证的分析方法。第1卷。安全验证/验证方法的最新技术和评估