×
尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈

混合系统的安全和鲁棒可达性分析。 （英语） Zbl 1400.68140号

西奥。计算。科学。 747, 75-99 (2018).
总结：混合系统——更准确地说，其数学模型——可以表现出如下行为Zeno行为，这在纯离散或纯连续系统中是不存在的。首先，我们注意到，在这种情况下可达性也就是说，转换关系的自反和传递闭包可以是不安全的也就是说，它可以计算状态集的适当子集有限时间内可达从一组初始状态开始。因此，我们建议安全可达性，它总是计算可达状态集的超集。
其次，在混合和连续系统的安全分析中，确保可达性分析也是很重要的坚固耐用的由于系统及其数学模型之间的差异是不可避免的，因此w.r.t.对初始状态集和系统本身的小扰动。我们表明，在某些条件下最佳斯科特连续近似分析的（A）也是它的最佳稳健近似最后，我们举例说明了可达状态集与通过安全可达性及其最佳鲁棒逼近计算的超集之间的差距。

引用于5文件

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
06B35号 连续格和偏序集，应用
18B20型 机器、自动机的类别
93B25型 代数方法

关键词：

混合系统;可达性;稳健性;领域理论

软件：

d到达
PDF格式BibTeX公司 XML格式引用
\textit{E.Moggi}等人，Theor。计算。科学。747，75-99（2018；Zbl 1400.68140）
全文： 内政部 arXiv公司

参考文献：

[1] Abramsky，S。；Jung，A.，《领域理论》（Abramsky，S.；Gabbay，D.M.；Maibaum，T.S.E.，《计算机科学逻辑手册》，第3卷，（1994），克拉伦登出版社，牛津），1-168·Zbl 0829.68111号
[2] 阿鲁尔（Alur，R.）。；Courcoubetis，C。；Halbwachs，N。；Henzinger，T.A。；Ho，P.-H。；尼克林，X。；奥利维罗，A。；Sifakis，J。；Yovine，S.，混合系统的算法分析，理论。计算。科学。，138, 1, 3-34, (1995) ·Zbl 0874.68206号
[3] Asperti，A。；Longo，G.，《类别、类型和结构：工作计算机科学家的范畴理论导论》（1991），麻省理工学院出版社·Zbl 0783.18001号
[4] Awodey，S.，《范畴理论》（2010），牛津大学出版社·Zbl 1194.18001号
[5] 克拉克，E。；Fehnker，A。；韩，Z。；Krogh，B。；俄勒冈州斯特斯伯格。；Theobald，M.，《基于反例引导抽象精化的混合系统验证》（TACAS，（2003），Springer），192-207·Zbl 1031.68078号
[6] 克拉克，E。；格伦伯格，O。；Jha，S。；卢，Y。；Veith，H.，反例引导的抽象精化（Computer Aided Verification，（2000），Springer），154-169·兹伯利0974.68517
[7] Conway，J.B.，函数分析课程，（1990年），施普林格·Zbl 0706.46003号
[8] 库索特，P。；库索特，R.，抽象解释框架，J.逻辑计算。，2, 4, 511-547, (1992) ·Zbl 0783.68073号
[9] Cuijpers，P.J.L.，《关于双连续互模拟和稳定性保持》，（Bemporad，A.；Bicchi，A.；Buttazzo，G.，《混合系统：计算与控制》，计算机科学讲义，第4416卷，（2007），Springer），676-679·Zbl 1221.93208号
[10] Cuijpers，P.J.L。；Reniers，M.A.，拓扑（双）模拟，电子。注释Theor。计算。科学。，100, 49-64, (2004) ·Zbl 1271.68177号
[11] Damm，W。；平托，G。；Ratschan，S.，非线性鲁棒离散时间混合系统LTL特性验证中的保证终止，国际。J.找到。计算。科学。，18, 01, 63-86, (2007) ·Zbl 1109.68064号
[12] Edalat，A.，通过领域理论的动力学系统、测度和分形，Inform。和计算。，120、1、32-48（1995年7月）·Zbl 0834.58029号
[13] Fränzle，M.，《混合系统分析：一盎司的现实主义可以拯救无限多的状态》，（计算机科学逻辑，（1999），施普林格），126-139·Zbl 0944.68119号
[14] Gierz，G。；霍夫曼，K.H。；Keimel，K。；劳森，J.D。；米斯洛夫，M.W。；Scott，D.S.，《连续格和域》，《数学及其应用百科全书》，第93卷，（2003年），剑桥大学出版社·Zbl 1088.06001号
[15] Goebel，R。；Sanfelice，R.G。；Teel，A.，混合动力系统，IEEE控制系统。Mag.，29，2，28-93，（2009）·Zbl 1395.93001号
[16] Henzinger，T.A。；Ho，P.-H。；Wong-Toi，H.，非线性混合系统的算法分析，IEEE Trans。自动化。控制，43，4，540-554，（1998）·Zbl 0918.93019号
[17] Keimel，K.，畴理论及其分支和相互作用，第七届畴理论及应用国际研讨会（ISDT），电子。注释Theor。计算。科学。，333，补遗C，3-16，（2017）·Zbl 1376.68012号
[18] Kelley，J.L.，《一般拓扑学》（1975），斯普林格·Zbl 0306.54002号
[19] 孔，S。；高，S。；Chen，W。；Clarke，E.和Dreach：δ-混合系统的可达性分析，（国际系统构建和分析工具和算法会议，（2015），Springer），200-205
[20] Lee，E.A.，《网络物理系统：设计挑战》，（第11届IEEE面向对象实时分布式计算国际研讨会，ISORC 2008，（2008），IEEE），363-369
[21] Platzer，A.，《混合系统的微分动态逻辑》，J.Automat。原因。，41, 2, 143-189, (2008) ·Zbl 1181.03035号
[22] Rajkumar，R.R。；李，I。；Sha，L。；Stankovic，J.，网络物理系统：下一次计算革命，（第47届设计自动化会议论文集，（2010），美国计算机学会），731-736
[23] 张杰。；约翰逊，K.H。；莱格罗斯，J。；Sastry，S.，《重访动态系统：具有Zeno执行的混合系统》，（混合系统国际研讨会：计算与控制，（2000），Springer），451-464·Zbl 0982.93046号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。