时序逻辑论文

飞机配电系统的快速时序逻辑控制方法
论文摘要为优化飞机配电系统的供电模式转换过程,缩短因故障引起的汇流条断电时间,提出了一种飞机配电系统的快速时序逻辑控制方法,通过优化供电模式转换的触发事件,实现配电系统中关联接...
基于多值决策过程的广义可能性多值时序逻辑模型检测
论文摘要模型检测（ModelChecking）是一种重要的形式化验证方法,广泛用于软硬件系统行为的自动验证.为了使包含非确定性信息、不完全信息和不一致信息的并发系统得到有效验证...