Formal Verification of Hybrid Systems and Its Application on Chemical Process Control
Jiaxiang Xue · Huagong zidonghua ji yibiao · 2000
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.