×
保罗·塔布阿达

互仿真等效的控制器综合。 （英语） Zbl 1154.93324号

系统。控制信函。 57，第6号，443-452（2008）.
摘要：本文的目标是解决各种场景下的互仿真等价控制器综合问题，包括离散事件系统、非线性控制系统、行为系统、混合系统等。这将通过证明存在性证明所依据的论点和控制器构造方法与所考虑的特定系统类别无关来实现，因此可以更普遍地表示。

引用于7文件

MSC公司：

93B11号机组 系统结构简化
93亿B50 合成问题
93年2月28日 操作员理论方法
93B17号机组 转型

关键词：

互模拟;控制器综合;范畴理论

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Tabuada}，系统。控制Lett。57，第6号，443--452（2008；Zbl 1154.93324）
全文： 内政部 arXiv公司

参考文献：

[1] 阿鲁尔（Alur，R.）。；Henzinger，T。；库普夫曼，O。；Vardi，M.，交替求精关系，（第八届并行理论国际会议论文集，第八届并发理论国际会议文献集，计算机科学讲稿，第1466卷（1998），Springer），163-178·Zbl 1070.68524号
[2] 艾姆斯，A.D。；Sangiovanni-Vincentelli，A。；Sastry，S.，《嵌入式系统异构网络的同构语义保持部署》（Antsaklis，Panos J.；Tabuada，Paulo，《网络化嵌入式传感与控制》，《控制与信息科学讲义》，第331卷（2006），Springer:Springer-Notre-Dame，in），127-154·Zbl 1112.68395号
[3] Bednarczyk，医学硕士。；Bernardinello，L。；凯劳德，B。；Pawlowski，W。；Pomello，L.，带回调的模块化系统开发，（Cortadella，J.；Reisig，W.，《第24届国际Petri网应用和理论会议论文集》，第24届Petri网国际应用和理论大会论文集，《计算机科学讲义》，第2679卷（2003），Springer-Verlag），140-160·Zbl 1274.68220号
[4] 布鲁姆，B。；Paige，R.，《现成模拟问题新有效解决方案的转换设计与实现》，《计算机程序设计科学》，24,3189-220（1995）·Zbl 0832.68050号
[5] 克拉克，E.M。；格伦伯格，O。；Peled，D.，《模型检验》（1999），麻省理工学院出版社
[6] 卡桑德拉斯，C。；Lafortune，S.，《离散事件系统导论》（1999），Kluwer学术出版社：Kluwer学术出版社，马萨诸塞州波士顿·Zbl 0934.93001号
[7] Davoren，J。；Tabuada，P.，《关于一般流动系统的模拟和互模拟》，（Bemporad，A.；Bicchi，A.；Buttazzo，G.，《混合系统：计算和控制2006》。混合系统：计算与控制2006，计算机科学讲义，第4416卷（2007），Springer-Verlag:Springer-Verlag Pisa，意大利），145-158·Zbl 1221.93113号
[8] Elkin，V.I.，《仿射控制系统：它们的等价性、分类、商系统和子系统》，《数学科学杂志》，88，5，675-721（1998）·Zbl 0953.93020号
[9] Grasse，K.A.，具有容许输入和干扰类的非线性控制系统的仿真与互仿真，SIAM控制与优化杂志，46，2，562-584（2007）·Zbl 1141.93009号
[10] M.R.Henzinger，T.A.Henzinger，P.W.Kopke，有限和无限图的计算模拟，收录于：Proc。交响乐团。计算机科学基础，1995年，第453-462页；M.R.Henzinger，T.A.Henzinger，P.W.Kopke，有限和无限图的计算模拟，收录于：Proc。交响乐团。计算机科学基础，1995年，第453-462页·Zbl 0938.68538号
[11] Haghverdi，E。；塔布瓦达，P。；Pappas，G.J.，动态、控制和混合系统的互模拟关系，理论计算机科学，34，2-3，387-392（2005）
[12] 乔亚尔，A。；尼尔森，M。；Winskel，G.，《开放地图的双模拟》，信息与计算，127164-185（1996）·Zbl 0856.68067号
[13] 库马尔，R。；Garg，V.K.，《逻辑离散事件系统的建模与控制》（1995），Kluwer学术出版社·Zbl 0875.68980号
[14] Mac Lane，S.，《工作数学家的类别》（1971），斯普林格·弗拉格·Zbl 0232.18001号
[15] 米尔纳，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号
[16] Madhusudan，P。；Thiagarajan，P.S.，离散事件系统的分支时间控制器，理论计算机科学，274，3月，117-149（2002）·Zbl 0992.68148号
[17] Park，David，无限序列上的并发和自动机，理论计算机科学（1981），第167-183页·Zbl 0457.68049号
[18] 帕帕斯，G.J。；拉弗里尔，G。；Sastry，S.，分层一致控制系统，IEEE自动控制汇刊，45，6，1144-1160（2000）·Zbl 0971.93004号
[19] G.Pola，A.J.van der Schaft，M.D.Di Benedetto，抽象系统的可实现双相似行为，摘自：第44届IEEE决策与控制联合会议和欧洲控制会议CDC-ECC’05，塞维利亚，2005年12月，第814-819页；G.Pola，A.J.van der Schaft，M.D.Di Benedetto，抽象系统的可实现双相似行为，收录于：第44届IEEE决策与控制联合会议和欧洲控制会议CDC-ECC’05，塞维利亚，2005年12月，第814-819页
[20] Pola，G。；van der Schaft，A.J。；di Benedetto，M.D.，通过互模拟切换线性系统的等效性，国际控制杂志，79，1，74-92（2006）·Zbl 1122.93319号
[21] Polderman，J.W。；Willems，J.C.，（数学系统理论导论：行为方法。数学系统理论简介：行为方法，应用数学文本，第26卷（1998），Springer-Verlag:Springer-Verlag New York）
[22] Ramadge，P.J。；Wonham，W.M.，一类离散事件系统的监督控制，SIAM控制与优化杂志，25，1，206-230（1987）·Zbl 0618.93033号
[23] Ramadge，P.J。；Wonham，W.M.，《离散事件系统的控制》，IEEE学报，77，1，81-98（1989）·Zbl 0595.93047号
[24] Tabuada，P.，《开放地图、交替模拟和控制器合成》，（Gardner，Philippa；Yoshida，Nobuko，《第15届并行理论国际会议论文集》，《第十五届并行理论会议论文集，计算机科学讲义》，第3170卷（2004），Springer:Springer London，UK）， 466-480 ·Zbl 1099.68073号
[25] Tabuada，P。；Pappas，G.J.，双相似控制仿射系统，系统与控制快报，52，1，49-58（2004）·Zbl 1157.93300号
[26] Tabuada，P。；Pappas，G.J.，完全非线性控制系统的商，SIAM控制与优化杂志，43，5，1844-1866（2005）·Zbl 1116.93024号
[27] van der Schaft，A.J.，《一般系统的可实现行为》，《系统与控制快报》，49，141-149（2003）·Zbl 1157.93309号
[28] van der Schaft，A.，通过互模拟实现动态系统的等价性，IEEE自动控制汇刊，49，121160-2172（2004）·Zbl 1365.93212号
[29] 温斯克尔，G。；Nielsen，M.（Abramsky；Gabbay；Maibaum，并发模型。并发模型，逻辑和理论计算机科学基础手册，第4卷（1994年），牛津大学出版社：牛津大学出版社伦敦）
[30] 周，C。；库马尔，R。；蒋，S.，非确定性离散事件系统的互模拟等效控制，IEEE自动控制汇刊，51，5，754-765（2006）·Zbl 1366.93372号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。