一种基于状态空间的混成系统设计方法的理论基础研究  

ON THEORETICAL BASIS OF A STATE SPACE BASED APPROACH TO THE DESIGN OF HYBRID SYSTEM

作　　者：吴定豪[1] 吕建[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室

出　　处：《南京大学学报（自然科学版）》1999年第5期564-572,共9页Journal of Nanjing University（Natural Science）

基　　金：国家杰出青年科学基金

摘　　要：主要研究了一种基于状态空间的混成系统设计方法的理论基础．首先，在引入相关的ＣＯＮＴＲＯＬ语言的基础上，给出了其用“演化机”定义的操作语义和用扩展的Ｈｏａｒｅ 逻辑形式系统Ｈ′定义的公理语义．然后证明了Ｈ′是以演化机为模型的，即论证了Ｈ′的合理性．从而，在某种程度上保证了设计过程的正确性。Nowadays, the study of hybrid control systems has already become an important topic in the field of computer science and control engineering. Hybrid control system(HCS) usually contains 2 distinct kinds of subsystems, namely time evolving and event driven subsystems, which interact with each other and oppular in real time. In the field of control systems, this kind of hybridity is become more and more popular, as exemplified by robots, redundant flight control systems, and intelligent control systems, etc.In hybrid control systems we not only need to control the time evolving subsystems, but also need to control the event driven subsystems. Therefore, the control in a hybrid control system usually contains two corresponding parts: Digital Controllers and Decision Maker. In this paper, we discuse the design methodology of control systems, and its theoretical foundation as well. We apply the principle of stepwise refinement to the design and analysis of hybrid control systems and propose a state space based method for the design of digital controllers and synthesis of the decision maker through decomposition of the corresponding control laws. The main procedure includes problem description, determination of state space, partition of state space and control refinement. The central idea of this method is illustrated by applying it to a typical example of hybrid systems: a water level monitoring system. The important properties of control laws are their entering points, leaving points and changing ranges. These 3 aspects can be specified by making general assertions about the values which the relevant state variables constituting state space will take before, after and during the action of control laws. To describe control laws in this sense, we introduce a new notation P{C｜W}R, where P,R, W,C are precondition, postcondition, duration condition and control law, respectively. Furthermore, in order to specify and verify the design procedure, the classical Hoare system is extended as the axiomatic basi

关 键 词：混成系统 状态空间 可靠性 控制系统 系统集成 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置] TP13[自动化与计算机技术—控制科学与工程]