摘要
针对PLC等逻辑控制器控制连续对象的可靠性问题 ,给出了混合系统的形式验证的方法 ,即用混合矩形自动机建模 ,通过可达性分析 ,从而证明控制程序的正确性 ,最后结合化工过程控制中的应用实例做了说明。
Aiming at reliability of Programmable Logic Controller for continuous plants,an approach by hybrid systems’ formal verification is presented,i.e.,modeling using hybrid rectangular automata and analysis of its reachability.The principles of verification is given,the method is illustrated by an example of chemical process control.
出处
《化工自动化及仪表》
EI
CAS
2000年第3期44-47,共4页
Control and Instruments in Chemical Industry
关键词
逻辑控制器
混合系统
形式验证
hybrid systems
rectangular automata
formal verification
reachability
