基于Simulink的液压冲击器动态仿真

机译：基于线性时变Simulink的建筑热性能动态仿真模型的开发和验证

机译：基于SIMULINK和AMESim联合仿真的一自由度径向主动电磁轴承的动态仿真

机译：基于Simulink的带式浮桥动态仿真

机译：基于Simulink / Aerosim的无人机动态仿真模型建立方法

机译：使用Boogie =自动验证离散时间Matlab Simulink模型的框架，用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架

机译：基于OpenSim和Matlab的动态仿真与控制平台

机译：使用MATLAB Simulink三相感应电动机和速度控制的动态仿真

机译：simulink代码生成：使用simulink Coder从simulink模型生成C代码的教程。

机译：基于组件的集成仿真环境与MATLAB / SIMULINK传统仿真程序之间的交互方法以及交互接口设计方法

机译：针对SIMULINK /状态流模型的基于有效分区细化的可达性检查

机译：从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例