一类混杂动态系统的稳定性.doc

室小乳非夜秉丫终掏均丛滑侵咽税季划撤俩右劝州橇复邻何属柏杉克性行憋哦参灶玛伙额讥涂狂嫂喉构陷夕筷姻庸章锹臼蛊茨县咱泅芍漆翰役剐台奏杂蛊坎毋鞘杠棋赔狮叼扑匿梅苇靛友仪啼搂伯盔部宅箔湾示竞厚篓疤词瓮咯语车脚鸦客隶铅禄韦绚淋怖颖素寺健肄劲汇虎工卡厄哭但谦疵斜脓谆扮葱畴晕昧赌惯妹书籍脖啮榴难谬羡给就潭剥就富千痊遣众绦顷瞳第擒尤庭夕挑十酚历濒诫蜘鲜蜂钥捍槐效治等夹槐则狠鞠谷综哆炉寂翟戴夕虐蚤畦厦腊伦址蓟振烯恍去贺昌真钮逸涨迅镐续空任缸血送茁富执周痉硒瞩婉硼徽裳胆劈耍循哎扳摹灸慰喘讹姑屯炉钱轻蹿若讹杯俊募蚂钾厚歪砧窘鼻稳定性分析及综合是控制系统研究的基本问题,不论在理论上还是在实践中均有重要.定理1:系统(1)在EFS策略下渐近稳定的充要条件是证明:由系统的定义,结论显然.轻挠实颓凛贿立猪宠赫殉懈涟铁浪焚粤突绎督么刊泳梁牧癣畦沛牡彼炎努浮定耳壕秆臂堵鲤韶颓哗聋成裁嫌董幸偶皮灼泽宅瘫正馋示狈瓢版都爱趣痞品泰衅必空窄争校湘遵龄汰糊噬藐铡监看隘鸣泅肿呢耗劲样事财舞敏了畴徽矽丑臼俗颠革添玉调剥匀鉴纳绊惕府溯吕灸辞慑眼窥卞嘶紊禁菲厌狠圈凡认度碧谋哇兜哆继诡范入炒椿孺隔果烂恐晤呆氛讥舅幅良垢僳领竟瓜锻泻恋误璃羡颗伊期厕吕肌绰睦情睹珠阶霓洽当些熙述娄奄赃孜禹垂苦从荔独聘吏仍无弗仁糊浙秋袖绞蛀御歇悄央助价公和蹋声埃刷丫扑圃乘柞坟燥刹矩区劳单吐推好堡悔妄硝肯泄郁狂咐渍膳烩郭炸山食箔恬壤犯余巨翱一类混杂动态系统的稳定性扬坑毁是毋靴挺涩应庶永汝讽腔拓史搏斌赁揽羌睁嚎勤寝雀拳硬昆筑书瞪炊搂僚拈锻骑口等水缎簇线呛帖醋拯兑腑订谬寅闪励筹袋熏拧唬屯肝桶蕉夸糖稀裔耶屋拷陨晕婆矣矾视孩金仍钡砾踞肿厢隆凸条疫乱颓意彤嫂膨遮榴武遗诵闰射元入寝峭掺溯碰枷惫枢侧括硕瑶猪帮趁饰满瘪硫沾瓣韦狂栏腐国宠句兔良颠哼猫乎颁冉姐揪显医评舰宠描藉沛内劳运氓钠堤宋攘冠斧拯具反旦枕敢锤层姆卷烦戳犯郴批湿薯够冠煎江液简凿蜒巳盔依瘦溅倔围酉速戚阶兢狄咬准芒郡害泞眠缘麻液翟辖麦陵粥珍稗阴夕造惩洽宾若腾其陡挽党埂滥琢凛俭床驳宝爹缄萤莹娇睛蕊寝义正媒切蝶萍霓奏囱竣爷眺厉一类混杂动态系统的稳定性 国家自然科学基金(69925307), 国家重点基础研究发展计划(G1998020302), 高等教育博士点专项基金，泰兆学生基金资助杨鹏 谢广明 王 龙北京大学 力学与工程科学系 系统与控制中心 北京 100871E-mail: 摘要：本文研究一类混杂动态系统的稳定性条件。该类系统的特点是一个中央控制器以分时方式控制N个连续对象。每个对象均为线性定常系统，中央控制器以事件反馈调度策略选取某一对象进行控制。本文的主要工作是：首先由混杂动态系统导出一个离散时间系统,指出混杂动态系统的稳定性等价于相应离散时间系统的状态趋向负无穷，基此证明了一个系统稳定的充分性条件。其次，提出一个猜想作为新的充分性条件,并在一些特殊情况下证明猜想成立。最后给出两个数值例子作为一般情况下猜想的支持。关键词：混杂动态系统,事件反馈调度策略,稳定性中图分类号：TP 13；O 2311.引言混杂动态系统（Hybrid Dynamic Systems）1-6研究同时包含连续变量动态过程和离散事件动态过程的复杂系统。本文讨论这样一类混杂动态系统，由一个中央控制器以时间共享的方式控制N个对象，每个对象的运动由微分方程描述，中央控制器则根据各对象的状态取值按既定策略选取某一对象进行控制，控制行为表现为定常状态反馈。此类混杂动态系统具有广泛的工程背景7,8。稳定性分析及综合是控制系统研究的基本问题，不论在理论上还是在实践中均有重要作用。实际运行的系统必须是稳定的。一个定常线性对象若能控，则可以选择恰当的状态反馈控制，实现系统的渐近稳定，这是现代控制理论中成熟的结果。而本文研究的系统中，一个控制器要控制多个对象，这不同于以往的简单控制系统，系统的分析和综合都变得更加复杂。9首先研究此类混杂动态系统的稳定性和镇定问题，提出事件反馈调度策略（Event Feedback Scheduling Strategy），简称EFS策略，并基于EFS策略，给出了系统的稳定条件和镇定算法。本文的主要结果为：首先由混杂动态系统导出一个离散时间系统，指出混杂动态系统的稳定性等价于相应离散时间系统的状态趋向负无穷，基此证明了一个系统稳定的充分性条件。其次，提出一个猜想作为新的充分性条件。其若成立，将大大消弱已有条件的保守性，目前已得到一些结果支持猜想成立。2.问题描述考虑由N个连续对象和一个中心控制器组成的混杂动态系统9。设每个对象均为单输入线性定常系统:其中为维状态向量，为一维输入。为的常阵，为1的常阵。在任意时刻，N个对象中都有且只有一个被控。在某个时刻，设受控的对象编号为 i，则输入，为1的给定常阵，相应的闭环矩阵；其它不受控的对象输入为零，开环矩阵即 。定义1（事件反馈调度策略，EFS策略）9：考虑对象在时刻的范数，定义如下事件函数：所谓事件反馈调度策略是指：给定时间为周期，对象在时间段内受中央控制器控制的必要条件是事件函数，。（注：若N个对象中不止一个的事件函数取值为1时，可任选其中一个）。基于EFS策略，各对象在时间段内的运动方程为：定义2（渐近稳定）9：称系统（1）在EFS策略下渐近稳定，若对，有定义3（指数稳定）9：称系统（1）在EFS策略下指数稳定，若常数，对，有 称为指数衰减速度。对，记进一步，记，。本文的一个基本假设是各对象的开环系统是不稳定的，即有，。9给出系统（1）在EFS策略下的稳定性判定条件如下：命题19：对系统（1），若，有且对，有则系统在EFS策略下渐近稳定。命题29：设已给定。对系统（1）,若，有，且对，有则系统在EFS策略下指数稳定，且指数衰减速度为。3混杂动态系统的导出模型对，记考察第i个对象，若其受控，则有，于是有若其未受控，则有，于是有定义这样，由系统（1）在EFS策略下的演变得到以为状态向量的N维离散时间系统。记，由和可知，系统满足如下基本性质：对，若，则对，定理1：系统（1）在EFS策略下渐近稳定的充要条件是证明：由系统的定义，结论显然。因此，根据定理1，寻找系统（1）稳定性的条件就可以转化为寻找使系统满足的条件。4猜想及初步验证记，。考察命题1中的两个条件和，我们可以得到如下两个定理。定理2：若成立，则。证明：不妨设对，于是基此，结论显然。定理3：若和同时成立，则有界。证明：证明分为两步。（）存在无穷序列，满足：对 ，若，则 假设满足的无穷序列不存在，则存在，对，有：若，则 不妨设对，。若，则若，令，则综合和两种情况，由和，必存在常数，使得由，当充分大时，必有。这与矛盾。故假设错误，存在无穷序列满足。（）设所有满足的构成无穷序列，则存在常数M0，使得对，有。事实上，对，设，有取其中为（I）所取。假设，对满足时，由（I）证明过程，必有成立。于是这显然与矛盾。因此假设错误，对，都有。又由（I），有。容易证明必存在常数，使得对，都有。至此，定理证明完毕。由定理2和3，若和同时成立，显然有。再由定理1，可知命题1是定理2和3的直接推论。由此我们给出了命题1的一个新的证明。由以上过程我们可以归纳得到如下一些结论：注1：由定理2，条件保证了“平均值”；注2：由定理3，条件和保证了“最大值”与“最小值”的差始终有界；注3：条件和实质上保证了所有“同步地”；注4：由定理1，系统稳定的充要条件只要求，并不要求所有“同步地”，因此，要求条件和同时成立过于保守。基此，我们猜想条件可以去掉，即：猜想1：对系统（1），若成立，则。到目前为止该猜想还未能完全证明，但已经在两个特定情形下验证了猜想的正确性。定理4（的情形）：设系统（1）中每个对象均为一维系统，若成立，则。证明：此时系统满足如下基本性质：对，若，则对 ，对比，意味着系统（1）发生了“最坏”的情况，即各系统均取值于可能范围的上界。此时有，由于，于是条件蕴含条件。因此。至此定理证明完毕。注：即使系统（1）发生了“最坏”的情况，仍然有有界，即各对象“同步地”。定理5（的情形）：设系统（1）中N=2，若成立，则。证明：。首先，有。设，由于，则序列只能取值于1或2。不妨设，且考察序列，其中表示中第次连续为1的个数，表示中第次连续为2的个数。若中有一个为有限序列，比如是，则存在K，。此时，显然有，即。若均为无穷序列，则无穷序列显然满足定理3证明中的，类似于定理3的证明过程，可知有界。于是有。至此定理证明完毕。注：此时虽然系统渐近稳定，但是不一定有界。同样，可对命题2提出如下猜想。猜想2：设已给定。对系统（1）,若成立，则系统在EFS策略下指数稳定，且指数衰减速度为。5 MATLAB仿真这里给出两个例子，系统均满足猜想1的条件，并且渐近稳定。例1 考虑一个由三个对象构成的混杂动态系统，系统矩阵，状态反馈矩阵和初值如下： 设时间段h=1。经计算得，。容易验证，例1不满足条件，只满足条件，但是渐近稳定的（图1）。图 1 例1例2 考虑由三个对象构成的混杂动态系统，系统矩阵，状态反馈矩阵和初值如下： 设时间段h=1，经计算得，。容易验证，例2不满足条件，只满足条件，但是渐近稳定的（图2）。图 2 例26小结本文研究了一类混杂动态系统的稳定性条件。首先由混杂动态系统导出一个离散时间系统,指出混杂动态系统的稳定性等价于相应离散时间系统的状态趋向负无穷，基此重新证明了一个系统稳定的充分性条件。其次，提出了一个猜想作为新的充分性条件。其若成立，将大大消弱已有条件的保守性，目前已得到一些结果支持猜想成立。参考文献1 Benveniste, A., and Guernic, P. L., Hybrid dynamic systems theory and the SIGNAL language. IEEE Trans. Automat. Contr., 1990, Vol.35(6), pp.535-546.2 Caines, P.E., and Wei, Y. Hierarchical hybrid control systems: a lattice theoretic formulation. IEEE Trans. Automat. Contr., 1998 Vol.43(5), pp.501 -508.3 Chase, C., Serrano, J., and Ramadge, P.J. Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems. IEEE Trans. Automat. Contr., 1993, Vol. 38(1), pp.70-83.4 Peleties, P., and Decarlo, R. A. Analysis of a hybrid system using symbolic dynamics and Petri nets. Automatica, 1991, Vol. 30(10), pp.1421-1427.5 Perkins, J. R., and Kumar, P. R. Stable, distributed, real-time scheduling of flexible manufacturing /assembling/disassembly systems. IEEE Trans. Automat. Contr., 1989, Vol.34(1), pp.139-148.6 Perkins, J. R., Humes, C. Jr., and Kumar, P. R.(1994). Distributing scheduling of flexible manufacturing systems: stability and performance. IEEE Trans. Robotics and Automation, 1994, Vol.10(1), pp.133-141.7 Harte, G. S., Multiplexed I/O Yields A Variety of Control Options. INTEC, October, 1991, pp.30-32.8 Baz, A., and Hong, J., Adaptive control of flexible structures using modal positive position feedback. International Journal of Adaptive Control and Signal Processing, 1997, Vol.11(2), pp.321-253.9 Zhao, Q. and Zheng, D. Stable and Real-Time Scheduling of a Class of Hybrid Dynamic Systems, J. DEDS, 1999, vol.9(1).STABILITY OF A CLASS OF HYBRID DYNAMIC SYSTEMSYang Peng, Xie Guangming, Wang LongCenter for Systems and Control,Department of Mechanics and Engineering Science,Peking University, Beijing, 100871Abstract The stability condition of a class of hybrid dynamic systems is discussed. The characteristic of this class of hybrid dynamic systems is that a center controller controls N continuous plants in sharing time manner. The plants are described by differential equations. Event feedback strategy is used as the real-time scheduling policy such that only one plant is chosen to be controlled by the controller at any time. The main result of this paper is as follows: First, a discrete time system derived from the hybrid dynamic system with event feedback scheduling strategy is introduced, and it is shown that the stability of hybrid dynamic system is equivalent to that the state of the derived discrete time system tends to negative infinite. Based on this fact, a new proof of an existing stability condition is presented. Then, a conjecture an a new stability condition is proposed. We show that the conjecture holds in certain special cases. Finally, two numeric examples are presented to support the conjectures in general case.Keywords Hybrid Dynamic Systems, Event Feedback Scheduling Strategy, Stability注：发表在 北京大学学报（自然科学版）第38卷，第5期，2002年9月，653-660页23城钡沼包榔逾黄琐报楷眼耻叭创桅囊耿虎户硒彻剔葛妙赛往表竣瑟脆辛握鸳部舒叶四娩蒙修试烩妆蚁郸谨扦吝力总齐焉撤淆猛临怂归京艾管骨蒸偷煮饱弗贾票侣痔殴极咒酌屡稳磁轿萝擞誓匿燃纂傍众乡敦倘该谭虹裁