带扰动控制系统的形式化设计  

Formal design of control systems with disturbances

作　　者：张晋津[1] 张严[2] 朱朝晖[2] 

机构地区：[1]南京审计学院计算机科学与技术系,江苏南京211815 [2]南京航空航天大学计算机科学与技术学院,江苏南京210016

出　　处：《控制理论与应用》2015年第2期178-186,共9页Control Theory & Applications

基　　金：国家自然科学基金项目(11426136;60973045);江苏省自然科学基金项目(BK20130735);江苏省高校自然科学基金项目(13KJB520012;13KJB520011)资助~~

摘　　要：利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法.本文提出两种方法,使用有限抽象,构造出两种控制器,使带扰动的控制系统满足时序逻辑规范.为此,首先在时序逻辑规范上引入"弱化"转换函数和"强化"转换函数.进而,利用"弱化"转换函数提出一种方法用于构造控制器,使原系统近似满足给定规范;利用"强化"转换函数,提出另一种方法用于构造控制器,使原系统严格满足给定规范.本文分析比较上述两种方法与文献中已有的方法,指出各自的优缺点和适用范围.最后给出仿真实验,说明上述两种方法的有效性并展示这些方法的不同适用范围.Adopting finite abstraction for the formal analysis and design of control systems is prevailing recently. By applying finite abstractions, we develop two methods for constructing the controller for systems with disturbances so that these systems will satisfy temporal logical specifications. To this end, we first introduce the ＂weaken＂ transformation function and the ＂strengthen＂ transformation function for the temporal logical specifications. By using the ＂weaken＂ transformation function, we develop a method to construct the controller forcing the controlled systems with disturbances to approximately satisfy the specifications. Then, we use the ＂strengthen＂ transformation function to develop another method to construct the other controller enforcing the controlled system to exactly satisfy the specifications. We compare these two methods with some existing methods in modem literature, and find out the advantages and application scopes of these methods. Finally, a simulation example is presented to demonstrate the validity and different application scopes of these two methods.

关 键 词：反馈控制 控制系统设计 带扰动控制系统 时序逻辑 有限抽象 

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