Department of Computer Science University of Kaiserslautern, Germany;
Department of Computer Science University of Kaiserslautern, Germany;
Hybrid Systems; Synchronous Languages; Symbolic Repre-sentation of Transition Systems;
机译:学习混合动力系统的符号表示
机译:复杂动力系统中信息传递的热力学方面,动力系统符号表示的因果熵,基于歧义表示的量子认知,理解和判断的表达,基本认知
机译:复杂动力系统中信息传递的热力学方面,动力系统符号表示的因果熵,基于歧义表示的量子认知,理解和判断的表达,基本认知
机译:约束逻辑编程中混合系统符号仿真的框架
机译:具有同步电源的并联混合动力车辆的顺序二次规划监督控制优化。
机译:改变学龄前儿童近似数字系统表示形式的精度会改变他们的符号数学成绩
机译:符号正交投影:混合系统可达性分析的一种新的多面体表示