摘要
F.奥伦海默。 1991年,沃罗诺伊图表; 基本几何数据结构综述。 ACM计算。 调查。 23, 3 (1991), 345--405. 谷歌学者 数字图书馆 A.Aydin-Gol、E.Bartocci和C.Belta。 2014.反应扩散系统中模式合成的形式化方法。 在 程序。 CDC:第53届IEEE决策与控制会议。 电气与电子工程师协会,108-113。 谷歌学者 E.Bartocci、E.Aydin-Gol、I.Haghai和C.Belta。 2016.反应扩散网络中模式识别和合成的形式方法。 IEEE网络系统控制汇刊 PP,99(2016),1--1。 谷歌学者 B.Bennett、A.G.Cohn、F.Wolter和M.Zakharyaschev。 多维模态逻辑作为时空推理框架。 应用智能 17、3(2002年9月),239--251。 谷歌学者 数字图书馆 S.Bistarelli、U.Montanari和F.Rossi。 1997.基于半环的约束满足和优化。 美国临床医学杂志 44, 2 (1997), 201--236. 谷歌学者 数字图书馆 D.Bresolin、P.Sala、D.Della Monica、A.Montanari和G.Sciavicco。 2010.度量区间时间逻辑的可判定空间泛化。 在 程序。 2010年:第17届时间表征与推理国际研讨会。 95--102. 谷歌学者 数字图书馆 L.Caires和L.Cardelli。 2003.并发的空间逻辑(第一部分)。 信息与计算 186,2(2003),194-235。 谷歌学者 数字图书馆 V.Ciancia、D.Latella、M.Loreti和M.Massink。 2016.封闭空间的空间逻辑和空间模型检查。 在 SFM 2016:第16届实习生。 计算机、通信和软件系统(LNCS)设计形式方法学院 第9700卷。 斯普林格,156--201。 谷歌学者 数字图书馆 B.德劳奈。 1934年,《巴黎市政厅》。 城市科学院科学通报,数学与自然科学类 6 (1934), 793--800. 谷歌学者 J.V.Deshmukh、A.Donzé、S.Ghosh、X.Jin、G.Juniwal和S.A.Seshia。 2015.信号时序逻辑的稳健在线监测。 在 程序。 RV 2015:第六届运行时验证国际会议(LNCS) ,第9333卷。 斯普林格,55-70。 谷歌学者 A.Donzé、T.Ferrer和O.Maler。 2013.STL的高效鲁棒监控。 在 程序。 2013年第25届计算机辅助验证国际会议(LNCS) . 264--279. 谷歌学者 R.Grosu、S.A.Smolka、F.Corradini、A.Wasilewska、E.Entcheva和E.Bartocci。 2009年。学习和检测心肌细胞网络中的紧急行为。 Commun公司。 ACM公司 52, 3 (2009), 97--105. 谷歌学者 数字图书馆 I.Haghhi、A.Jones、J.Z.Kong、E.Bartocci、Grosu R.和C.Belta。 2015年,SpaTeL:一种新型时空逻辑及其在网络系统中的应用。 在 程序。 HSCC 2015:第18届混合系统国际会议:计算与控制。 美国医学会,189-198。 谷歌学者 数字图书馆 A.Lluch-Lafuente和U.Montanari,2005年。 约束半环上定义的定量微积分和CTL。 西奥。 计算。 科学。 346, 1 (2005), 135--160. 谷歌学者 数字图书馆 O.Maler和D.Nickovic。 2013年,监测模拟和混合信号电路的特性。 STTT公司 15, 3 (2013), 247--268. 谷歌学者 数字图书馆 M.马克思和M.雷诺兹。 1999.罗盘逻辑的不确定性。 J逻辑计算 9, 6 (1999), 897--914. 谷歌学者 交叉引用 L.Mottola、M.Moretta、K.Whitehouse和C.Ghezzi。 2014.无人机传感器网络的团队级编程。 在 程序。 第十二届ACM嵌入式网络传感器系统会议,SenSys’14,美国田纳西州孟菲斯,2014年11月3-6日。 美国医学会,177-190。 谷歌学者 数字图书馆 L.Nenzi、L.Bortolussi、V.Ciancia、M.Loreti和M.Massink。 2015.时空特性的定性和定量监测。 在 程序。 RV 2015:第六届运行时验证国际会议(LNCS) ,第9333卷。 施普林格,21-37。 谷歌学者 C.L.Talcott。 2008年,网络物理系统和事件。 在 软件集成系统和新计算范式——挑战和愿景。 LNCS,第5380卷。 施普林格,101-115。 谷歌学者 数字图书馆 Y.Tan、M.C.Vuran和S.Goddard。 2009.网络物理系统的时空事件模型。 在 2009年第29届IEEE分布式计算系统国际会议研讨会。 IEEE标准,44-50。 谷歌学者 数字图书馆
索引术语
监测移动和空间分布式网络物理系统
建议
网络物理系统的运行时监测:合作自适应巡航控制案例研究 ISDEA’12:2012第二届智能系统设计与工程应用国际会议论文集 网络物理系统(CPS)涉及计算核心、通信网络和物理环境之间的深层交互。 这些系统固有的复杂性和高度不确定性。 这使得传统的形式验证。。。 基于模型工程的网络物理系统多级运行时安全监测 计算机安全、可靠性和安全性。 SAFECOMP 2020研讨会 摘要 网络物理系统(CPS)本质上是异构的,由众多组件和嵌入式子系统组成,这些组件和子系统相互作用,并与物理世界相互作用。 硬件和软件组件在每个。。。