Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering

混合控制系统的数学、逻辑和计算基础及其在控制工程设计和综合问题中的应用。混合控制系统是由数字计算机组件与连续物理过程实时交互组成的异构系统的数学模型。它们的许多工程应用包括空中交通管制、医疗技术和自动运输。在这种安全关键和高可信度应用的激励下，该项目旨在开发一个统一的数学逻辑框架，足以正式表示和推理混合控制系统的结构、行为和属性，并使用它来开发自动合成混合控制程序的方法，这些方法可以证明是正确的。其他成果包括混合控制器设计工具的原型软件实现。

Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence applications, the project aims to develop a unified framework of mathematical logics adequate to formally represent and reason about the structure, behaviour, and properties of hybrid control systems, and use this to develop methodologies for automatically synthesising hybrid control programs that are provably correct with respect to their specifications. Other outcomes include prototype software implementations of hybrid controller design tools.