《混合系统在Matiab环境下的建模、仿真与自动验证》.pdfVIP

第13卷第2期 系统仿真学报 Volume13 2 Number 2001年3月 RNALOFSYSTEMSⅡ讧UL枷ON March200l 024)195—04 文●■母：1004-731X(2000 混合系统在Matlab环境下的建模、仿真与自动验证 张学军．谢剑英 (上海交通大学自动化系．上海200030) 摘要：针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下 的建模方法，仿真过程，为克服仿真的固有局限性，文中给出自动验证原理及其实现，并以化工 过程控制中的应用实例对整个过程作了介绍。 关■词：混舍系统；混合自动机；仿真；自动验证；接口 9