×

利用防护柔性网对混合系统进行建模、分析和控制。 (英语) Zbl 1425.93146号

摘要:许多人工和自然系统可以建模为连续变量和离散变量相互作用的混合模型。由于与现有方法相关的计算复杂性,此类混合模型的分析和控制通常具有挑战性。在本文中防护柔性网提出了用于混合系统建模、分析和控制的GFNs。GFN包括事件网络它确定了进程执行时状态如何更改,以及强度网这决定了处理的速度。在GFN中,连续状态由其状态变量的值给出,离散状态由这些变量所在的区域给出。GFN具有很高的建模能力,同时提供了诱人的分析和控制可能性。

MSC公司:

93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统)
93A30型 系统数学建模(MSC2010)
93B40码 系统理论中的计算方法(MSC2010)
93个B03 可达集,可达性
第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Goebel,R。;Sanfelice,R.G。;Teel,A.R.,混合动力系统,IEEE控制系统。,29, 2, 28-93 (2009) ·Zbl 1395.93001号
[2] van der Schaft,A。;Schumacher,J.(混合动力系统导论。混合动力系统简介,控制与信息科学讲稿(2000),Springer)·Zbl 0940.93004号
[3] 《混合系统控制手册:理论、工具、应用》(2009),剑桥大学出版社·Zbl 1180.93001号
[4] P.J.Antsaklis,《混合系统理论和应用简介》,2000年。;P.J.Antsaklis,《混合系统理论和应用简介》,2000年。
[5] (Johansson,R.;Rantzer,A.,《汽车控制中的非线性和混合系统》(2002),Springer-Verlag:Springer-Verlag Berlin,Heidelberg)·邮编1098.00007
[6] Aihara,K。;铃木,H.,《混合动力系统理论及其在生物和医疗系统中的应用》,Phil.R.Soc.Lond。序列号。数学。物理学。工程科学。,368, 1930, 4893-4914 (2010) ·Zbl 1211.37099号
[7] Bortolussi,L。;Policriti,A.,《混合系统和生物学:系统生物学的连续和离散建模》, (计算机、通信和软件系统设计的形式方法会议录。第八届计算系统生物学形式方法国际会议。计算机、通信与软件系统设计形式方法会议记录。第八次计算系统形式方法国际会议tems Biology,SFM’08(2008),斯普林格·弗拉格:柏林斯普林格尔·弗拉格,海德堡),424-448
[8] 林奇,N。;塞加拉,R。;Vaandrager,F.,混合输入/输出自动机,Inform。和计算。,185, 1, 105-157 (2003) ·Zbl 1069.68067号
[9] Henzinger,T.A.,《混合自动机理论》,(第十一届IEEE计算机科学逻辑研讨会论文集。第十一届计算机科学逻辑IEEE研讨会论文集,LICS’96(1996),IEEE计算机学会:IEEE计算机协会,美国华盛顿特区),278
[10] Bemporad,A。;Morari,M.,《集成逻辑、动力学和约束的系统控制》,Automatica,35,3,407-427(1999)·Zbl 1049.93514号
[11] 大卫·R。;Alla,H.,离散、连续和混合Petri网(2004),施普林格:施普林格柏林,2010
[12] 多托利,M。;范蒂,M。;A.Giua。;Seatzu,C.,一阶混合Petri网。分布式制造系统的应用,非线性分析。混合系统。,2, 2, 408-430 (2008) ·Zbl 1155.93385号
[13] Henzinger,T.A。;Ho,P.-H。;Wong Toi,H.,高科技:混合系统的模型检查器,(Grumberg,O.,计算机辅助验证(1997),施普林格-柏林-海德堡:施普林格-柏林-海德堡-柏林,海德堡),460-463·Zbl 1060.68603号
[14] Bemporad,A。;法拉利Trecate,G。;Morari,M.,分段仿射和混合系统的可观测性和可控性,IEEE Trans。自动化。控制,451864-1876(2000)·Zbl 0990.93010号
[15] Kouvaritakis,B。;Cannon,M.,《模型预测控制》。经典、稳健和随机(2016),斯普林格国际出版公司·Zbl 1339.93005号
[16] Murata,T.,《Petri网:属性、分析和应用》,Procs。IEEE,77,4,541-580(1989)
[17] Silva,M.,《petri网简介》(petri网在制造业中的实践(1993),查普曼和霍尔:查普曼与霍尔伦敦),1-62
[18] Jülvez,J。;Dikicioglu,D。;Oliver,S.G.,《利用柔性网络处理生物数据的可变性和不完整性:Wilson病的案例研究》,npj系统。生物应用。,4, 1, 7 (2018)
[19] Balduzzi,F。;A.Giua。;Menga,G.,《一阶混合Petri网:优化和控制模型》,IEEE Trans。机器人。自动。,16, 4, 382-399 (2000)
[20] Febbraro,A.D。;Giglio,D。;Sacco,N.,基于混合Petri网的城市交通控制结构,IEEE Trans。智力。运输。系统。,5, 4, 224-237 (2004)
[21] Cavone,G。;多托利,M。;Seatzu,C.,通过一阶混合petri网管理多式联运货运码头,IEEE Rob。自动化。莱特。,1, 1, 2-9 (2016)
[22] 哈特·W·E。;莱尔德,C。;沃森,J.-P。;Woodruff,D.L.,《Python中的Pyomo-Optimization建模》,第67卷(2012年),Springer Science&Business Media·Zbl 1233.90002号
[23] I.古罗比优化,古罗比优化器参考手册,2015年。;I.古罗比优化,古罗比优化器参考手册,2015年。
[24] IBM ILOG CPLEX Optimizer,2010年。;IBM ILOG CPLEX Optimizer,2010年。
[25] Silva,M。;Jülvez,J。;Mahulea,C。;Vázquez,C.R.,《离散事件模型的流态化:连续Petri网的观察和控制》,离散事件动态。系统。,2011年4月21日·兹比尔1235.93154
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。