DIGIT Department of Engineering Aarhus University Aarhus Denmark;
University of Antwerp Antwerp Belgium Flanders Make Lommel Belgium;
Polytech Nice Sophia Biot France;
Verified Systems International GmbH Bremen Germany;
University of Antwerp Antwerp Belgium McGill University Montreal Canada Flanders Make Lommel Belgium;
Hybrid co-simulation; Hybrid systems; Model checking;
机译:集中式,分布式和混合自适应PEV充电算法之间性能折衷的联合仿真研究
机译:通过使用验证的子模型的共模,开发用于分析混合动力电动车辆的冷却负载的模型
机译:PHAVer:HyTech之后的混合系统的算法验证
机译:探讨混合共仿算法的验证
机译:从MetroII到Metronomy,设计用于网络物理系统时序验证的基于合同的功能-架构协同仿真框架。
机译:蛋白质结构预测的混合全局优化算法:交替杂交
机译:通过使用经过验证的子模型的协同仿真,开发用于分析混合动力汽车冷却负荷的模型