张建华;夏佳军;王鲁宾 混合动力系统的模糊完全逼近建模与监督控制。 （英语） Zbl 1378.93007号 非线性分析。，混合系统。 27, 390-415 (2018). 摘要：针对一类具有符号输入和量化测量的混合系统，提出了一种基于Willems行为系统理论的模糊完全逼近方法。离散控制器（或监督器）是基于抽象（或近似）系统和高级规范设计的。此外，我们证明了基于“保护状态”概念的模糊完全近似的外部行为集（即状态集）包含或至少等于传统完全离散抽象生成的行为集。最后，通过几个仿真实例验证了所提方法对一类特殊混合系统的监督控制的有效性。 MSC公司： 93甲13 层次系统 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 93立方厘米 模糊控制/观测系统 93A30型 系统数学建模（MSC2010） 关键词：混合动力系统;有限状态自动机;行为系统理论;模糊集;\（l）-完全近似 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等，非线性分析。，混合系统。27390--415（2018年；Zbl 1378.93007） 全文： 内政部 参考文献： [1] 张，L。；Yang，G.H.，具有未知死区的切换非线性大系统的自适应模糊输出约束分散控制，非线性分析。混合系统。，23, 61-75 (2017) ·Zbl 1351.93087号 [2] 胡，S。；张，Y。；尹，X。；Du，Z.，T-S基于模糊模型的一类非线性离散时间网络控制系统的鲁棒镇定，非线性分析。混合系统。，8，69-82（2013）·Zbl 1258.93094号 [3] Gomez-Skarmeta，A.F。；Jimenez，F.，混合系统的模糊建模，模糊集与系统，104，2，199-208（1999） [4] 巴努，L.J。；Balasubramaniam，P.，具有已知逗留概率的离散随机切换模糊系统的鲁棒稳定性和稳定性分析，非线性分析。混合系统。，17128-143（2015）·Zbl 1326.93125号 [5] Sankaranarayanan，S.，非线性混合系统的变基抽象，非线性分析。混合系统。，19, 107-133 (2016) ·Zbl 1329.93046号 [6] 刘杰。；Ozay，N.，基于时间逻辑的控制综合的具有鲁棒性裕度的有限抽象，非线性分析。混合系统。，22, 1-15 (2016) ·Zbl 1344.93046号 [7] 懒惰，C。；Wisniewski，R.，用时间自动机完成动力学系统的抽象，非线性分析。混合系统。，7, 80-100 (2013) ·Zbl 1271.68146号 [8] 费内科斯，G.E。；Girard，A。；Kress-Gazit，H。；Pappas，G.J.，动态机器人的时序逻辑运动规划，Automatica，45，2，343-352（2009）·Zbl 1158.93369号 [9] 刘杰。；Ozay，N。；托普库，美国。；Murray，R.M.，《从时序逻辑规范合成反应式交换协议》，IEEE Trans。自动化。控制，58,1771-1785（2013）·Zbl 1369.93307号 [10] 巴特·G。；Jong，H。；Page，M。；Geiselmann，J.，使用离散抽象对遗传调控网络进行符号可达性分析，Automatica，44，4，982-989（2008）·Zbl 1283.93046号 [11] Schmidt，K.，离散事件系统基于抽象的故障诊断，系统控制快报。，59，1，42-47（2010）·Zbl 1186.93044号 [12] Schmidt，K.，《基于抽象的离散事件系统协同可诊断性验证》，Automatica，46，9，1489-1494（2010）·Zbl 1201.93076号 [13] Raisch，J。；O'Young，S.D.，连续系统的离散近似和监督控制，IEEE Trans。自动化。控制，43，4，569-573（1998）·兹比尔0917.93005 [14] 卡梅内瓦，T。；Nesic，D.，带量化反馈的非线性控制系统的鲁棒性，非线性分析。混合系统。，4, 306-318 (2010) ·Zbl 1201.93032号 [15] 库根，S。；Arcak，M.，具有离散和连续输入的混合单调系统的有限抽象，非线性分析。混合系统。，23, 254-271 (2017) ·Zbl 1351.93052号 [16] Reissig，G.，非线性系统的计算抽象，IEEE Trans。自动化。控制，56，11，2583-2598（2011）·Zbl 1368.93178号 [17] 施穆克，A.-K。；Raisch，J.，《异步l-完全近似》，《系统控制快报》。，73, 67-75 (2014) ·Zbl 1297.93044号 [18] Raisch，J.，《连续系统的离散抽象——输入/输出观点》，数学。计算。模型。动态。系统。，6, 1, 6-29 (1999) ·Zbl 0938.93565号 [19] Ramadge，P.J。；Wonham，W.M.，一类离散事件系统的监督控制，SIAM J.控制优化。，25, 206-230 (1987) ·Zbl 0618.93033号 [20] Ramadge，P.J。；Wonham，W.M.，《离散事件系统的控制》，Proc。IEEE，77，81-98（1989） [21] 林，F。；瓦兹，A.F。；Wonham，W.M.，《离散事件系统的监督规范和综合》，《国际控制杂志》，48，1，321-332（1988）·Zbl 0652.93017号 [22] Shanmugham，S.G。；Roberts，C.A.，实时监控规范的验证方法，计算。Ind.Eng.，29，1-4705-709（1995年） [23] Inan，Kemal，分布式系统的监督控制和形式化方法，Progr。系统与控制理论，13，29-41（1993）·Zbl 0801.68073号 [24] Altamiranda，E。；托雷斯，H。；科琳娜，E。；Chacon，E.，基于混合系统和模糊事件检测的监控设计。氧氯化反应器的应用。，ISA事务。，41, 485-499 (2002) [25] Tamani，K。；Boukezzoula，R。；Habchi，G.，连续监督模糊控制在制造系统离散调度中的应用，工程应用。Artif公司。智力。，24, 1162-1173 (2011) [26] Liu，C.L.，《使用模糊逻辑模型对抗监督控制中过度警惕的丧失》，国际期刊。，39, 924-933 (2009) [27] Tamani，K。；Boukezzoula，R。；Habchi，G.，生产系统的智能分布式和监督流量控制方法，工程应用。Artif公司。智力。，22, 1104-1116 (2009) [28] Karer，G。；音乐，G。；斯科尔扬克，I。；Zupancic，B.，采用混合模糊模型的离散输入非线性混合系统的模型预测控制，非线性分析。混合系统。，2, 491-509 (2008) ·Zbl 1155.93378号 [29] Kempowsky，T。；Subias，A。；Aguilar-Martin，J.，《过程态势评估：从模糊划分到有限状态机》，《工程应用》。Artif公司。智力。，19, 461-477 (2006) [30] Willems，J.C.，《动态系统理论中的范式和困惑》，IEEE Trans。自动化。控制，36，3，259-294（1991）·Zbl 0737.93004号 [31] T.Moor，J.Raisch，S.D.O'Young，通过l-完全近似对混合系统进行监督控制，Proc。WODES98，IEE，1998年，第426-431页。；T.Moor，J.Raisch，S.D.O'Young，通过l-完全近似对混合系统进行监督控制，Proc。WODES98，IEE，1998年，第426-431页。 [32] 赖施，J。；O'Young，S.D.，给定混合或连续系统的全序离散抽象集，（Antsaklis，P.；Kohn，W.；Nerode，A.；Sastry，S.，hybrid Systems IV.HS 1996。Hybrid Systems IV.HS 1996，计算机科学讲义（1997），施普林格：施普林格-柏林-海德堡），342-360 [33] 穆尔，T。；Raisch，J.，行为框架内混合系统的监督控制，系统控制快报。，38, 157-166 (1999) ·Zbl 0948.93037号 [34] 摩尔，T。；Raisch，J。；O'Young，S.D.，基于l-完全近似的混合系统离散监督控制，离散事件动态。系统。，12, 83-107 (2002) ·Zbl 1002.93016号 [35] Thomas，J.，仅具有离散输入的混合系统的分析非线性模型预测控制，IET控制理论应用。，1080-1088年6月8日（2012年） [36] 李毅。；Tong，S.，一类切换非严格反馈非线性系统的自适应模糊输出反馈镇定控制，IEEE Trans。在Cybern上。，47, 4, 1007-1016 (2017) [37] 李毅。；隋，S。；Tong，S.，具有任意切换和未建模动态的随机非线性切换系统的自适应模糊控制设计，IEEE Trans。赛博。，47, 2, 403-414 (2017) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。