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

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