混合系统的形式验证原理

摘要

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