文章

动态、控制和混合系统的互模拟关系

作者:

埃斯凡迪亚尔哈格沃尔迪,

保罗塔布阿达,

乔治·J·。帕帕斯作者信息和声明

理论计算机科学,体积342,问题2-3

页229-261

https://doi.org/10.1016/j.tcs.2005.03.045

出版:2005年9月7日出版历史

摘要

并发过程的互模拟等价性的基本概念已经脱离了连续系统以及随后的混合系统的世界。受Joyal、Nielsen和Winskel的分类框架的启发，我们发展了动力系统和控制系统的互模拟等价的新概念。我们证明，这些概念可以被乔亚尔、尼尔森和温斯克提出的互模拟的抽象概念所捕获。这是第一个超越离散和连续系统的统一系统等价概念。此外，这也为混合系统的互仿真开发了一种新颖而自然的概念，这也是本文的最终目标。

工具书类

[1]

{1} R.Abraham，J.Marsden，T.Ratiu，流形，张量分析和应用，应用数学科学，Springer，1988年。

[2]

{2} P.J.Antsaklis，《混合系统理论和应用简介》，Proc。IEEE 88（7）（2000）879-887混合系统专题：理论和应用。

[3]

{3} P.J.Antsaklis，A.Nerode，《混合控制系统：对特殊问题的介绍性讨论》，IEEE Trans。自动控制43（4）（1998）501-508混合动力系统专刊。

[4]

{4} R.Blute，J.Desharnais，A.Edalat，P.Panangaden，标记马尔可夫过程的互模拟，收录于：计算机科学中的逻辑，IEEE出版社，马里兰州银泉出版社，1997年，第149-158页。

[5]

{5} W.Boothby，《可微流形和黎曼几何导论》，爱思唯尔科技图书，1986年。

[6]

{6} J.Burch，R.Passerone，A.L.Sangiovanni-Vincentelli，《克服异类恐惧：异构系统中的并发建模》，摘自：Proc。第二国际学院。2001年6月于英国泰恩河畔纽卡斯尔举行的系统设计并发应用会议。

[7]

{7} A.Cheng，M.Nielsen，开放映射，行为等价和同余，理论。计算。科学。190 (1) (1998) 87-112.

数字图书馆

[8]

{8} E.Haghverdi，P.Tabuada，G.J.Pappas，动力学和控制系统的互模拟关系，收录于：R.Blute，P.Selinger（编辑），范畴理论和计算机科学，第69卷，理论计算机科学中的电子笔记，爱思唯尔科学出版社，阿姆斯特丹，2003年。

[9]

{9} M.Hennessy，《过程代数理论》，麻省理工学院出版社，《计算基础丛书》，1988年。

[10]

{10} A.Isidori，《非线性控制系统》，第二版，施普林格出版社，柏林，1989年。

[11]

{11} B.Jacobs，J.J.M.M.Rutten（编辑），《计算机科学中的协同代数方法》，第19卷，ENTCS，Elsevier Science，阿姆斯特丹，1999年。

[12]

{12} A.Joyal、M.Nielsen、G.Winskel，《开放地图的双向模拟》，Inform。计算。127 (2) (1996) 164-185.

数字图书馆

[13]

{13} R.E.Kalman、P.L.Falb、M.A.Arbib，《数学系统理论专题》，麦格劳-希尔出版社，纽约，1969年。

[14]

{14} I.Kolar、P.W.Michor、J.Slovak，《微分几何中的自然运算》，柏林斯普林格出版社，1993年。

[15]

{15} J.Komenda，Coalgebra and supervisory control with partial observations，in：《网络和系统的数学理论》，印第安纳州圣母院，2002年8月。

[16]

{16} Kim G.Larsen，A.Skou，通过概率测试的相互模拟，Inform。计算。94 (1991) 1-28.

数字图书馆

[17]

{17} E.A.Lee，A.Sangiovanni-Vincentelli，计算模型比较框架，IEEE Trans。计算。辅助设计17（12）（1998）1217-1229。

数字图书馆

[18]

{18} H.Lorenco，A.Sernadas，《混合系统研究所》，载于：D.Bert，C.Choppy（编辑），《代数开发技术的最新趋势》，《计算机科学讲义》，第1827卷，柏林斯普林格出版社，2000年，第219-236页。

[19]

{19} R.Milner，《沟通与并发》，Prentice Hall，新泽西州恩格尔伍德悬崖，1989年。

[20]

{20} R.Milner，D.Sangiorgi，Barbed bisimulation，收录于《自动化、语言与编程》，第19期国际。科洛克（Proc.ICALP’92），1992年，第685-695页。

[21]

｛21｝G.J.Pappas，双相似线性系统，Automatica 39（12）（2003）2035-2047。

数字图书馆

[22]

{22}G.J.Pappas，G.Lafferierre，S.Sastry，分层一致控制系统，IEEE Trans。自动控制45（6）（2000）1144-1160。

[23]

{23}J.J.M.M.Rutten，《宇宙余代数：系统理论》，理论。计算。科学。249 (1) (2000) 3-80.

数字图书馆

[24]

{24}S.S.Sastry、A.S.Morse、C.C.Pantelides、J.M.H.Schumaker，《混合动力系统专题介绍》，Automatica 35（3）（1999）347-348《混合动力系统专题》。

数字图书馆

[25]

{25}J.P.Serre，李代数和李群，数学讲义，第二版，第1500卷，施普林格，柏林，海德堡，1992年。

[26]

{26}M.Spivak，《微分几何综合导论》，Publish or Perish，加州伯克利，1979年。

[27]

{27}P.Tabuada，G.J.Pappas，双相似控制仿射系统，系统。控制信函。(2004) 49-58.

[28]

{28}A.J.van der Schaft，J.M.Schumacher，离散、连续和混合系统中的组成问题，国际。J.鲁棒与非线性控制11（5）（2001）417-434。

[29]

{29}J.H.van Schuppen，离散事件系统和混合系统的等价性，收录于：V.D.Blondel等人（编辑），数学系统和控制理论中的开放问题，Springer，柏林，1999年，第251-257页。

[30]

{30}G.Winskel，M.Nielsen，作为过渡系统的预升，收录于：《离散数学和理论计算机科学中的DIMACS系列》，第29卷，DIMACS，1997年，第129-140页。

引用人

萨贝里法尔FGhasemlou S公司外壳D奥凯恩J(2019)规划和过滤的语言理论基础国际机器人研究杂志10.1177/027836491880150338:2-3(236-259)在线发布日期：2019年3月1日
https://dl.acm.org/doi/10.1177/0278364918801503
罗姆·HOehlerking J公司沃尔·M阿尔霍夫M(2019)网络物理系统的模型一致性ACM网络物理系统事务10.1145/3306157三:3(1-26)在线发布日期：2019年8月20日
https://dl.acm.org/doi/10.1145/3306157
拉赫玛尼H奥凯恩J(2018)论互模拟与组合滤波器归约的关系2018 IEEE机器人与自动化国际会议（ICRA）10.1109/ICRA.2018.8460507年10月10日(7314-7321)在线发布日期：2018年5月21日
https://dl.acm.org/doi/10.109/ICRA.2018.8460507
显示更多引用者

索引术语

动态、控制和混合系统的互模拟关系
1. 计算方法
  1. 人工智能
    1. 控制方法
      1. 计算控制理论
2. 计算理论
  1. 计算模型
    1. 可计算性
      1. 图灵机器
    2. 并发
      1. 并行计算模型

建议

一般随机混合系统的互模拟
HSCC’05：第八届混合系统国际会议论文集：计算与控制

本文定义了随机混杂系统（一般随机混杂系统）的一些非常一般的模型的互模拟概念。相互模拟的定义建立在Edalat、Larsen和Skou以及Joyal、Nielsen和。。。
速度互模拟：统一方法

为了比较两个互模拟等效过程的速度，开发了两种过程代数方法：一种是Moller/Tofts为动作设置了较低的时间界限，另一种是Lüttgen/Vogler考虑了较高的时间界限。。。
加权自动机的互模拟关系

互模拟是离散事件系统的一种众所周知的等价关系，并已扩展到概率和随机系统。本文介绍了互模拟的一般定义，该定义可应用于权重。。。

评论

信息和贡献者

问询处

发布于

出版商

爱思唯尔科学出版有限公司。

大不列颠联合王国

出版历史

出版：2005年9月7日

作者标记

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章度量标准

18
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

反映截至2024年9月18日的下载量

其他指标

查看作者指标

引文

引用人

萨贝里法尔FGhasemlou S公司外壳D奥凯恩J(2019)规划和过滤的语言理论基础国际机器人研究杂志10.1177/027836491880150338:2-3(236-259)在线发布日期：2019年3月1日
https://dl.acm.org/doi/10.1177/0278364918801503
罗姆·HOehlering公司J沃尔·M阿尔霍夫M(2019)网络物理系统的模型一致性ACM网络物理系统事务10.1145/3306157三:3(1-26)在线发布日期：2019年8月20日
https://dl.acm.org/doi/10.1145/3306157
拉赫玛尼H奥凯恩J(2018)论互模拟与组合滤波器归约的关系2018 IEEE机器人与自动化国际会议（ICRA）10.1109/ICRA.2018.8460507(7314-7321)在线发布日期：2018年5月21日
https://dl.acm.org/doi/10.109/ICRA.2018.8460507
德斯穆赫J马朱姆达尔R帕布五世(2017)使用斯科罗霍德度量量化一致性系统设计中的形式化方法2007年10月10日/10703-016-0261-850:2-3(168-206)在线发布日期：2017年6月1日
https://dl.acm.org/doi/10.1007/s10703-016-0261-8
哈索一世(2017)系统设计的元数学新一代计算2007年10月10日/00354-017-0023-135:3(271-305)在线发布日期：2017年7月1日
https://dl.acm.org/doi/10.1007/s00354-017-0023-1
弗里堡L古堡EPutot S型穆罕默德·S阿巴特A法涅科斯G(2016)寻找切换系统不变集的拓扑方法第19届混合系统国际会议论文集：计算与控制10.1145/2883817.2883822(61-70)在线发布日期：2016年4月11日
https://dl.acm.org/doi/10.1145/2883817.2883822
刘菲赵R棕褐色T张Q(2016)互模拟等价下分散非确定性离散事件系统的存在性与验证亚洲控制杂志10.1002/asjc.125318:5(1679-1687)在线发布日期：2016年9月1日
https://dl.acm.org/doi/10.1002/asjc.1253
加尔平五世博托鲁西L希尔斯顿J(2013)HYPE：通过流量组成进行混合建模计算的形式方面2007年10月10日/00165-011-0189-025:4(503-541)在线发布日期：2013年7月1日
https://dl.acm.org/doi/10.1007/s00165-011-0189-0
布拉曼J默里·R(2011)基于目标的控制系统的互模拟转换和验证程序系统设计中的形式化方法2007年10月10日/10703-010-0109-638:1(62-95)在线发布日期：2011年2月1日
https://dl.acm.org/doi/10.1007/s10703-010-0109-6
围带A朱利叶斯A帕帕斯G(2008)混合系统的近似仿真关系离散事件动态系统2007年10月10日/10626-007-0029-918:2(163-179)在线发布日期：2008年6月1日
https://dl.acm.org/doi/10.1007/s10626-007-0029-9
显示更多引用者

视图选项

查看选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子

查看问题目录