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

Formal design method of optimal controllers for hybrid systems with integrated qualitative/quantitative performance

作　　者：吴锋[1] 

机构地区：[1]杭州电子科技大学信息与控制研究所,浙江杭州310018

出　　处：《化工学报》2010年第8期1960-1964,共5页CIESC Journal

基　　金：浙江省科技计划重大项目(2008C11017)~~

摘　　要：在化工过程中广泛存在着混杂系统的特性,即系统的信息结构由系统事件和系统状态构成。本文以时段演算为工具提出面向混合信息结构的混杂系统在定性/定量双重指标约束下的形式化设计方法,它将时段演算应用于混杂系统的需求刻划,得出控制系统的定性/定量行为和语义的定义,给出控制系统的行为描述形式化、优化描述形式化和基于时段演算的形式化设计步骤。最后结合一个应用实例,说明设计方法的有效性。Dynamic systems with a mix of continuous and discrete components called hybrid systems frequently arise in chemical engineering applications.Information structure of those systems consists of discrete events and continuous variables.Since many of these applications are safety critical,it is important to use reliable methods to simulate hybrid systems.In this paper,a formal design method based on duration calculi to study modeling and design of such systems with integrated qualitative/quantitative performance is proposed.It is shown that duration calculi represents a very powerful tool in the analysis and design of simple hybrid control systems.The duration calculi can be used to capture and define interval temporal logic requirements for hybrid systems,to define qualitative/quantitative behavior and semantics of hybrid control systems.It also offers the formal description of the behavior of hybrid systems,the formal description of optimizing of hybrid systems and formal methods,and the formal description of design steps based on duration calculi.Finally,an example shows that the design method is effective.

关 键 词：混杂系统 时段演算 定性/定量性能 集成优化 

分 类 号：TP202[自动化与计算机技术—检测技术与自动化装置]