Hybrid systems; Event-B; Hybrid programs Differential dynamic logic; Proofs; Refinement;
机译:基于证明的使用不变量不变的混合系统开发方法
机译:基于MR阻尼器的半主动生物启发混沌果蝇和轨道车辆系统模糊逻辑混合悬架控制的多体动力学
机译:基于逻辑动态方法的多连杆机械手电动伺服执行器故障识别系统的开发
机译:基于证明的混合系统开发方法:动态逻辑和事件-B
机译:模糊逻辑框架中动态系统的面向控制的建模:熵方法
机译:系统集成的热力学建模方法揭示了增强剂的逻辑
机译:重叠产品开发进度中通过系统动力学方法进行返工影响评估重叠产品开发进度中通过系统动力学方法进行返工影响评估