fault-tolerance; real-time; bounded-time recovery; phased recovery; synthesis; transformation; formal methods;
机译:综合限时两相故障恢复
机译:软件工具结合了故障屏蔽和用户定义的恢复策略
机译:重合闸系统按故障类型分析三相变压器SFCL的恢复特性
机译:提供有限时间分阶段恢复的同时屏蔽故障
机译:开路故障和多相DC-DC功率转换器下的多相永磁电动机驱动器的控制技术。
机译:前向恢复和推断耳蜗压缩的时间掩蔽曲线方法的假设
机译:在提供限时分阶段恢复的同时掩盖故障
机译:数字飞行控制系统的故障屏蔽和瞬态恢复模型的正式规范和验证