| 混合系统在Matlab环境下的建模、仿真与自动验证 |
| |
| 引用本文： | 张学军,谢剑英.混合系统在Matlab环境下的建模、仿真与自动验证[J].系统仿真学报,2001,13(2):195-198. |
| |
| 作者姓名： | 张学军 谢剑英 |
| |
| 作者单位： | 上海交通大学自动化系! 上海 200030，上海交通大学自动化系! 上海 200030 |
| |
| 摘 要： | 针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法，仿真过程、为克服仿真的固有局限性，文中出自动验证原理及其实现，并以化工过程控制中的应用实例对整个过程作了介绍。
|
| 关 键 词： | 混合系统 混合自动机 仿真 自动验证 Matlab |
Modeling, Simulation and Automatic Verification of Hybrid Systems under Matlab Environment |
| |
| ZHANG Xue-jun, XIE Jian-ying.Modeling, Simulation and Automatic Verification of Hybrid Systems under Matlab Environment[J].Journal of System Simulation,2001,13(2):195-198. |
| |
| Authors: | ZHANG Xue-jun XIE Jian-ying |
| |
| Abstract: | According to the features of the hybrid systems including both continuous variables and discrete events, we give their modeling and simulation procedure under the Matlab environment. The principle and implementation of automatic verification, which provides a novel way to overcome the inherent limitation of simulation are presented. The method is illustrated by an example of chemical process control. |
| |
| Keywords: | hybrid systems hybrid automata simulation automatic verification interface |
| 本文献已被 CNKI 维普 等数据库收录！ |
