混合系统形式验证中的问题研究-控制理论与控制工程专业论文.docxVIP

The The Research Oil Formal Verification of Hybrid Systems ABSTRACT Hybrid system theory lies at the intersection of the fields of engineering control theory and computer science verification．It i3 defined as the modeling，analysis。 con缸-ol and verification of systems that involve the interaction of both discrete sca姆 system,represented by finite automata,and continuous state dynamics，represented by differential equations．To understand the behavior of hybrid systems and to verify whether the hybrid systems operate safely in some conditions,theoretical advances and analyses tools are needed．For