针对ＰＬＣ等逻辑控制器控制连续对象的可靠性问题，给出了混合系统的形式验证的方法，即用混合矩形自动机建模，通过可达性分析，从而证明控制程序的正确性，最后结合化工过程控制中的应用实例做了说明。