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

Modeling, Simulation and Automatic Verification of Hybrid Systems under Matlab Environment

作　　者：张学军[1] 谢剑英[1] 

机构地区：[1]上海交通大学自动化系,上海200030

出　　处：《系统仿真学报》2001年第2期195-198,共4页Journal of System Simulation

摘　　要：针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在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.

关 键 词：混合系统 混合自动机 仿真 自动验证 MATLAB 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]