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

• Formal Verification of Hybrid Systems and Its Application on Chemical Process Control