期刊文献+

混合系统在Matlab环境下的建模、仿真与自动验证 被引量:8

Modeling, Simulation and Automatic Verification of Hybrid Systems under Matlab Environment
在线阅读 下载PDF
导出
摘要 针对混合系统既包含连续变量又存在离散事件的特点,给出了混合系统在Matlab环境下的建模方法、仿真过程,为克服仿真的固有局限性,文中给出自动验证原理及其实现,并以化工过程控制中的应用实例对整个过程作了介绍。 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.
出处 《系统仿真学报》 EI CAS CSCD 2001年第2期195-198,共4页 Journal of System Simulation
关键词 混合系统 混合自动机 仿真 自动验证 MATLAB hybrid systems hybrid automata simulation automatic verification interface
  • 相关文献

同被引文献46

引证文献8

二级引证文献34

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部