逻辑控制器的形式验证及其应用

摘要

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