摘要
摘要
ACH93型 混合自动机：混合系统规范和验证的算法方法 1993 柏林 施普林格 209 229 谷歌学者 
AHH96型 嵌入式系统的自动符号验证 IEEE Trans软件工程 1996 22 三 181 201 10.1109/32.489079 谷歌学者 数字图书馆 
ABD00公司 线性系统切换控制器的有效综合 程序IEEE 2000 88 7 1011 1025 10.1109/5.871306 谷歌学者 交叉引用 
北京14 Bak S，Johnson TT，Caccamo M，Sha L（2014），验证单纯形设计的实时可达性。 在：实时系统研讨会（RTSS），2014年IEEE，第138–148页 谷歌学者 BHM08型 多处理器系统在chips上的模型和形式验证 J Log Algebr程序 2008 77 1 1 19 2446022 2016年10月10日/j.jlap.2008.05.002 1151.68339 谷歌学者 交叉引用 楚99 Chutinan A（1999）使用离散模型近似进行混合系统验证。 卡内基梅隆大学博士论文 谷歌学者 DN00（DN00） 混合系统的逻辑 程序IEEE 2000 88 7 985 1010 10.1109/5.871305 谷歌学者 交叉引用 DT98型 Daws C，Tripakis S（1998）使用抽象对实时可达性属性进行模型检查。 In：用于构建和分析系统的工具和算法。 柏林施普林格，第313–329页 谷歌学者 法国05 Frehse G（2005）PHAVer：HyTech混合系统的算法验证。 收录：Morari M，Thiele L（编辑）《混合系统：计算与控制》，第3414卷，计算机科学讲稿。 柏林施普林格，第258-273页 谷歌学者 FLD11（飞行高度11） Frehse G、Le Guernic C、DonzéA、Cotton S、Ray R、Lebeltel O、Ripado R、Girard A、Dang T、Maler O（2011）Spaceex：混合系统的可扩展验证。 In：计算机辅助验证。 柏林施普林格，第379–395页 谷歌学者 吉尔05 Girard A（2005）使用区域图的不确定线性系统的可达性。 收录：Morari M，Thiele L（编辑）《混合系统：计算与控制》，第3414卷，柏林施普林格，第291-305页 谷歌学者 古兹05 顾Z（2005）用模型检验解决实时调度问题。 收录人：Yang LT，Zhou X，Zhao W，Wu Z，Zhu Y，Lin M（编辑）嵌入式软件和系统，会议录，第3820卷。 柏林施普林格，第186-197页 谷歌学者 亨00 Henzinger TA（2000）混合自动机理论。 Inan MK，Kurshan RP（eds）《数字和混合系统验证》，第170卷。 柏林施普林格，第265-292页 谷歌学者 HHW98 非线性混合系统的算法分析 IEEE Trans Autom控制 1998 43 4 540 554 1617551 10.1109/9.664156 918.93019 谷歌学者 交叉引用 莱赫90 Lehoczky JP.（1990）具有任意截止日期的周期任务集的固定优先级调度。 参加：实时系统研讨会，布埃纳维斯塔湖，佛罗里达州，1990年。 IEEE，第201–209页 谷歌学者 KV07型 离散线性系统可达性分析的椭球方法 IEEE Trans Autom控制 2007 52 1 26 38 2286758 10.1109/TAC.2006.887900 1366.93039 谷歌学者 交叉引用 KNS02公司 离散概率分布实时系统的自动验证 Theor计算机科学 2002 282 1 101 150 1914324 10.1016/S0304-3975（01）00046-9 1050.68094 谷歌学者 数字图书馆 KNS02公司+ IEEE 802.11无线局域网协议的概率模型检验 2002 柏林 施普林格 411 423 1065.68583 谷歌学者 KNP06系列 基于数字时钟的概率时间自动机性能分析 表单方法系统设计 2006 29 1 33 78 10.1007/s10703-006-0005-2 1105.68063 谷歌学者 数字图书馆 KNS07系列 概率时间自动机的符号模型检验 Inf计算 2007 205 7 1027 1077 2333995 10.1016/j.ic.2007.01.004 1122.68075 谷歌学者 数字图书馆 KNP09码 Kwiatkowska M，Norman G，Parker D（2009）概率时间自动机验证的随机游戏。 In：定时系统的形式化建模和分析。 柏林施普林格，第212-227页 谷歌学者 KNP11公司 Kwiatkowska M，Norman G，Parker D（2011）Prism 4.0：概率实时系统验证。 斯普林格，雪鸟，第585-591页 谷歌学者 LG09段 Le Guernic C，Girard A（2009），使用支持函数的混合系统可达性分析。 In：计算机辅助验证。 柏林施普林格，第540-554页 谷歌学者 贷款W14 从离线到实时：用于医疗设备即插即用协作的混合系统模型检查和CPS协同设计方法 IEEE跨并行配电系统 2014 25 三 642 652 10.1109/TPDS.2013.50 谷歌学者 数字图书馆 MDA09型 Madl G，Dutt N，Abdelwahed S（2009）一种使用时间自动机验证抢占调度的保守近似方法。 摘自：第15届IEEE实时和嵌入式技术及应用研讨会，第255-264页 谷歌学者 MP12型 Manna Z，Pnueli A（2012）无功系统的时间验证：安全性。 施普林格科技与商业媒体 谷歌学者 MKY05型 Mutsuda Y，Kato T，Yamane S（2005）使用概率线性混合自动机的嵌入式系统规范和验证技术。 In：嵌入式软件和系统。 施普林格，第346–360页 谷歌学者 MPM05型 Mysore V，Piazza C，Mishra B（2005）算法代数模型检验II:半代数模型检验的可判定性及其在系统生物学中的应用。 In：用于验证和分析的自动化技术。 施普林格，第217-233页 谷歌学者 Pla08（Pla08） 混合系统的微分动态逻辑 J自动原因 2008 41 2 143 189 2438435 2007年10月10日/10817-008-9103-8 1181.03035 谷歌学者 数字图书馆 RS07系列 基于约束传播的抽象求精混合系统的安全性验证 ACM跨嵌入式计算系统（TECS） 2007 6 1 8 10.1145/1210268.1210276 1078.93508 谷歌学者 数字图书馆 SRS94标准 广义速率单调调度理论：开发实时系统的框架 程序IEEE 1994 82 (1 68 82 谷歌学者 弹簧00 Sproston J（2000）概率混合自动机的可判定模型检验。 收录：Joseph M（ed）《实时和容错系统中的形式技术》，会议记录，第1926卷。 柏林施普林格，第31-45页 谷歌学者 SSM04型 基于gröbner基的非线性循环不变量生成 ACM SIGPLAN否 2004 39 1 318 329 10.1145/982962.964028 1325.68071 谷歌学者 数字图书馆 98瑞典先令 实时系统的最后期限调度：EDF和相关算法，第460卷 1998 纽约 施普林格科技与商业媒体 10.1007/978-1-4615-5535-3 931.68136 谷歌学者 VGL06型 空中交通管制冲突消解的蒙特卡罗优化 IEEE Trans Intell Trans系统 2006 7 4 470 482 10.1109/TITS.2006.883108 1115.90062 谷歌学者 数字图书馆 沃尔09 多处理器系统芯片技术 IEEE信号处理杂志 2009 26 6 50 54 10.1109/MSP.2009.934138号 谷歌学者 交叉引用 YKH10型 基于milp的非抢占式多任务MPSoC性能分析技术 IEEE Trans计算辅助设计集成电路系统 2010 29 10 1600 1613 10.1109/TCAD.2010.2061552 谷歌学者 数字图书馆 ZWT14型 Zhang H，Wu J，Tan H，Yang H（2014）实时线性代数转换系统的近似迹等价性。 计算模型新技术18（7）：36–40 谷歌学者 ZWT16型 Zhang H，Wu J，Lu J，Tang J（2016）使用增强群保持方案的有限实时非线性混合系统的安全性验证。 集群计算19（4）：2189–2199 谷歌学者
建议
基于FPGA的AXI总线MPSoC设计 ASID’09：第三届通信反对抗、安全和识别国际会议记录 随着计算核心的速度越来越快，处理器之间的通信效率已成为限制多处理器系统芯片（MPSoC）性能的瓶颈。 本文着重于设计和。。。 用于MPSoC的混合通信可重构片上网络 AINA’10：2010年IEEE第24届高级信息网络和应用国际会议记录 晶体管尺寸的缩小和多核芯片的最新发展趋势提高了对高效片上通信网络的需求，以集成各种核。 然而，总线和点对点互连不会带来可扩展性。。。
