定性/定量集成优化控制器的形式化设计方法

在化工过程中广泛存在着混杂系统的特性，即系统的信息结构由系统事件和系统状态构成。本文以时段演算为工具提出面向混合信息结构的混杂系统在定性/定量双重指标约束下的形式化设计方法，它将时段演算应用于混杂系统的需求刻划，得出控制系统的定性/定量行为和语义的定义，给出控制系统的行为描述形式化、优化描述形式化和基于时段演算的形式化设计步骤。最后结合一个应用实例，说明设计方法的有效性。