%0 Journal Article
%T 混合系统的形式验证技术及其在化工过程控制中的应用
%A 张学军
%A 谢剑英
%A 张苗苗
%J 控制与决策
%P 203-206
%D 2001
%X 针对PLC等逻辑控制器控制连续对象的可靠性问题,给出了混合系统的形式验证的方法,即用混合矩形自动机建模,通过其商迁移的可达性分析,证明了控制程序的正确性。应用实例表明该方法是可行和有效的。
%K 混合系统
%K 矩形自动机
%K 形式验证
%K 可达性
%U http://www.kzyjc.net:8080/CN/abstract/abstract11610.shtml