closed loop systems; computability; cyber-physical systems; embedded systems; formal verification;
机译:使用ModelICA模拟网络物理系统的时序行为
机译:通过设备驱动的计算机物理系统的微体系结构感知时序分析进行最坏情况下的能耗分析
机译:使用不确定性感知方案的规范的网络物理系统定量定时分析
机译:工作进展:网络 - 物理系统中混合动态时序行为的正式分析
机译:对计算机和通信系统测试生成中时序行为的形式分析。
机译:网络物理系统中控制模块的正式验证
机译:在计算机物理系统中使用形式概念分析进行控制