混合系统的逻辑

混合系统是由相互作用的连续和离散动态特性所表征的异构动力系统。此类数学模型在空中交通管制、自动化制造和化工过程控制等极其多样的工程应用中被证明卓有成效。这些应用领域备受瞩目且关乎安全，促进了大量且不断增长的混合系统形式化方法研究：支持混合系统性能需求的形式化规范与验证的数理逻辑、计算模型与方法，以及计算机辅助推理工具，并支持设计与综合出在形式化规范下具有可证明正确性的混合系统控制程序。本文对逻辑和形式化方法在混合系统分析中的应用进行了综合概述并作出了原创性贡献。