机译:负荷-电压功率控制的形式验证分析
IBM Haifa Research Lab Haifa, Israel, 31905;
power control; formal verification; bounded model checking;
机译:嵌入式电源控制器的正式硬件/软件共同验证
机译:对用信号f指定的程序进行形式化验证,并将其应用到变电站控制器
机译:在正式验证驱动的设计流程中利用硬件不可观察性进行低功耗设计和安全分析
机译:基于差分动态逻辑的电网CPS柔性负荷控制的形式化建模与验证
机译:用于系统级电源优化(低功耗设计)的动态电源管理策略及其形式验证和实现的集成。
机译:微电网LCL滤波器并网逆变器新型潮流控制的分析与实验验证
机译:具有随机混合系统的分析能力和自动机形式验证能力的混合状态Petri网
机译:使用实时模型检查器UppaaL对电源控制器进行形式验证