×

基于模型抽象和引导搜索的混合系统监控。 (英语) Zbl 1121.93046号

概要:计算监控控制器的任务,通过该任务,在满足安全规范的情况下,将具有非线性连续动力学的混合系统驱动到目标集。对于这类系统,可达状态的(保守近似)确定是控制器综合的一个重要但计算量大的步骤。该贡献提出了一种技术,旨在通过使用抽象模型和引导搜索来减少到达集计算。对于混合模型的离散抽象,候选路径被确定为满足给定规范的可能受控进化。采用包含三种不同技术的验证方案来确定候选路径是否代表混合系统的可行控制策略。如果违反了规范,则根据验证结果细化抽象模型。候选路径的确定、路径验证和模型细化的迭代应用指导了控制策略的搜索,因此通常只需探索可到达状态空间的相对较小部分。通过两个例子说明了合成过程。

MSC公司:

93立方65 离散事件控制/观测系统
65年第68季度 形式语言和自动机
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿萨林,E。;波内兹,O。;Dang,T。;马勒,O。;Pnueli,A.,线性系统开关控制器的有效综合,IEEE学报,88,7,1011-1025(2000)
[2] Asarin,E。;马勒,O。;Pnueli,A.,离散和定时系统的符号控制器综合,(混合系统II。混合系统II,LNCS,第999卷(1995),Springer),1-20
[3] Bayen,A.M。;克鲁克,E。;Tomlin,C.,连续系统和混合系统的不安全集的保证过逼近,(混合系统-补偿和控制混合系统-控制和补偿,LNCS,第2289卷(2002),Springer),90-104·Zbl 1046.49026号
[4] 托姆林,C。;Lygeros,J。;Sastry,S.,混合系统控制器设计的博弈论方法,IEEE学报,88,7,949-970(2000)
[5] Chutinan,A。;Krogh,B.H.,使用多边形流管近似验证混合系统,(混合系统:计算和控制。混合系统:计算机和控制,LNCS,第1569卷(1999),Springer),76-90·Zbl 0954.93020号
[6] 克拉克,E.M。;Fehnker,A。;韩,Z。;Krogh,B.H。;俄勒冈州斯特斯伯格。;Theobald,M.,《基于反例引导的抽象精化的混合系统验证》(Tools and Algor.for the Constr.and Analysis of systems.Tools and Algor.for the Constr and Analysis for the systems,LNCS,vol.2619(2003),Springer),192-207年·Zbl 1031.68078号
[7] Cury,J.E.R。;Krogh,B.H。;Nionini,T.,基于近似自动机的混合系统监控,IEEE自动控制汇刊,43564-568(1998)·Zbl 0905.93023号
[8] Dang,T。;Maler,O.,通过面部提升进行可达性分析,(混合系统:计算和控制。混合系统:计算机和控制,LNCS,第1386卷(1998年),Springer),96-109
[9] Franke,D。;穆尔,T。;Raisch,J.,切换线性系统的离散监督控制,见Automatisierungstechnik,48,9,461-467(2000)
[10] 冈萨雷斯,J.M.E。;库尼亚,A.E.C;Cury,J.E.R。;Krogh,B.H.,《事件驱动混合系统的监管:建模与合成》,(混合系统-补偿与控制混合系统-控制与补偿,LNCS,第2034卷(2001),Springer),247-260·Zbl 0991.93003号
[11] Koo,T.-J。;帕帕斯,G.J。;Sastry,S.,可达性规范的模式切换综合,(混合系统-补偿和控制混合系统-控制,LNCS,第2034卷(2001),Springer),333-346·Zbl 0996.93501号
[12] Koutsoukos,X。;Antsaklis,P.J。;Stiver,J.A。;Lemmon,M.D.,混合系统的监控,IEEE会议录,88,7,1026-1049(2000)
[13] A.Kurzhanski,I.Valyi,用于估计和控制的椭球微积分,1997年;A.Kurzhanski,I.Valyi,用于估计和控制的椭球微积分,1997·兹比尔0865.93001
[14] 拉弗里尔,G。;帕帕斯,G.J。;Yovine,S.,一类新的可判定混合系统,(混合系统:计算和控制。混合系统:计算机和控制,LNCS,第1569卷(2000),Springer),137-151·Zbl 0926.93036号
[15] 医学博士莱蒙。;他,K.X。;Markovsky,I.,监管混合系统,IEEE控制系统杂志,19,8,42-55(1999)
[16] 林,F。;Wonham,W.M.,部分观测下时间离散事件系统的监督控制,IEEE自动控制汇刊,40,3,558-562(1995)·Zbl 0821.93002号
[17] 马勒,O。;普努利,A。;Sifakis,J.,《关于定时系统离散控制器的合成》,(第12交响曲,《计算机科学的理论方面》,第12交响,《计算机学科的理论方面,LNCS》,第900卷(1995),施普林格),229-242·Zbl 1379.68227号
[18] 穆尔,T。;Raisch,J。;O'Young,S.D.,基于l-完全近似的混合系统离散监督控制,离散事件动态系统杂志,12,1,83-107(2002)·Zbl 1002.93016号
[19] T.Moor,J.M.Davoren,J.Raisch,混合系统基于抽象的监督控制的战略改进,摘自:Proc。第六届离散事件系统国际研讨会,2002年,第329-334页;T.Moor,J.M.Davoren,J.Raisch,混合系统基于抽象的监督控制的战略改进,摘自:Proc。第六届离散事件系统国际研讨会,2002年,第329-334页
[20] Ramadge,P.J.G。;Wonham,W.M.,《离散事件系统的控制》,IEEE会议录,77,1,81-98(1989)
[21] 莎士比亚,O。;帕帕斯,G.J。;Sastry,S.,线性系统类的可判定控制器综合,(混合系统:计算和控制。混合系统:计算机和控制,LNCS,第1790卷(2000),Springer),407-420·Zbl 0944.93010号
[22] O.Stursberg,混合系统最优控制的图搜索算法,收录于:Proc。第43届IEEE决策与控制会议,2004年,第1412-1417页;O.Stursberg,混合系统最优控制的图搜索算法,收录于:Proc。第43届IEEE决策与控制会议,2004年,第1412-1417页
[23] O.Stursberg,使用抽象精化的混合系统监控控制器综合,收录于:Proc。第十六届国际会计师联合会世界大会,2005年,编号We-M12-TO/2;O.Stursberg,使用抽象精化的混合系统监控控制器综合,收录于:Proc。第十六届国际会计师联合会世界大会,2005年,编号We-M12-TO/2
[24] O.Stursberg,A.Fehnker,Z.Han,B.H.Krogh,使用验证方法层次结构对混合系统进行规范指导分析,见:Proc。第15届IFAC混合动力系统分析与设计会议。,2003年,第289-295页;O.Stursberg,A.Fehnker,Z.Han,B.H.Krogh,使用验证方法层次结构对混合系统进行规范指导分析,见:Proc。第15届IFAC混合动力系统分析与设计会议。,2003年,第289-295页
[25] 斯特斯伯格,O。;Fehnker,A。;韩,Z。;Krogh,B.H.,使用反例引导搜索验证巡航控制系统,控制工程实践,12,10,1291-1303(2004)
[26] 斯特斯伯格,O。;Krogh,B.H.,混合系统可达集的有效表示和计算,(混合系统-补偿和控制,混合系统-控制,LNCS,第2623卷(2003),Springer),482-497·Zbl 1032.93037号
[27] O.Stursberg,S.Lohmann,《混合非线性系统安全监督控制器的综合》,摘自:Proc。第17届IMACS世界大会科学计算、应用数学和模拟,2005年,编号T5-I-76-0654;O.Stursberg,S.Lohmann,《混合非线性系统安全监督控制器的综合》,摘自:Proc。第17届IMACS世界大会科学计算、应用数学和模拟,2005年,编号T5-I-76-0654
[28] 俄勒冈州斯特斯伯格。;Panek,S。;Till,J。;Engell,S.,《切换混合动态系统的最优控制策略生成》,(混合系统的模型、分析和设计),《混合系统的建模、分析与设计》,LNCIS,第279卷(2002),Springer),337-352
[29] Trontis,A。;Spathopoulos,M.P.,《使用水平集方法的偶然性规范的混合控制合成》,《国际控制杂志》,76,16,1599-1627(2003)·Zbl 1040.93035号
[30] Trontis,A。;Spathopoulos,M.P.,混合系统的监控目标控制,国际控制杂志,76,11,1142-1158(2003)·Zbl 1047.93004号
[31] H.Wong-Toi,线性混合自动机控制器的综合,in:Proc。第36届IEEE Conf.Decision and Control,1997年,第4607-4612页;H.Wong-Toi,线性混合自动机控制器的综合,in:Proc。第36届IEEE Conf.Decision and Control,1997年,第4607-4612页
[32] H.Xia,Y.Pang,A.Trontis,M.Spathopoulos,受控线性自动机的事件合成,in:Proc。美国控制会议,2002年,第160-165页;H.Xia,Y.Pang,A.Trontis,M.Spathopoulos,受控线性自动机的事件合成,in:Proc。美国控制会议,2002年,第160-165页
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。