摘要
亨廷格，T.A.：混合自动机理论。 摘自：第十一届IEEE计算机科学逻辑研讨会论文集（LICS 1996），第278-292页。 IEEE计算机学会出版社，洛斯·阿拉米托斯（1996）。 谷歌学者 
Lynch，N.、Segala，R.、Vaandrager，F.：混合I/O自动机。 信息与计算185（1），105-157（2003）。 谷歌学者 Bergstra，J.A.，Middelburg，C.A.：混合系统的过程代数。 理论计算机科学335，215-280（2005）。 谷歌学者 Cuijpers，P.J.L.，Reniers，M.A.：混合过程代数。 《逻辑与代数编程杂志》62，191-245（2005）。 谷歌学者 van Beek，D.A.，Man，K.L.，Reniers，M.A.，Rooda，J.E.，Schiffelers，R.R.H.：混合chi的语法和一致方程语义。 《逻辑与代数编程杂志》68，129-210（2006）。 谷歌学者 Rounds，W.C.，Song，H.：f演算：可重构嵌入式系统的分布式控制语言。 作者：Maler，O.，Pnueli，A.（编辑）HSCC 2003。 LNCS，第2623卷，第435-449页。 斯普林格，海德堡（2003）。 谷歌学者 Polderman，J.，Willems，J.：数学系统理论导论：行为方法。 收录于：《应用数学文本》，第26卷，斯普林格，海德堡（1998）。 谷歌学者 Aubin，J.P.，Dordan，O.：进化系统的动态定性分析。 收录人：Tomlin，C.J.，Greenstreet，M.R.（编辑）HSCC 2002。 LNCS，第2289卷，第62-75页。 斯普林格，海德堡（2002）。 谷歌学者 van der Schaft，A.J.，Schumacher，J.M.（编辑）：混合动力系统简介。 《控制与信息科学讲义》，第251卷。 Springer-Verlag，伦敦（2000年）。 谷歌学者 Davoren，J.，Coulthard，V.，Markey，N.，Moor，T.：一般流系统的非确定性时序逻辑。 In:Alur，R.，Pappas，G.J.（编辑）HSCC 2004。 LNCS，第2993卷，第280-295页。 斯普林格，海德堡（2004）。 谷歌学者 Aubin，J.P.，Lygeros，J.，Quincampoix，M.，Sastry，S.，Seube，N.：脉冲微分包含：混合系统的可行性方法。 IEEE自动控制汇刊47，2-20（2002）。 谷歌学者 Davoren，J.M.，Tabuada，P.：关于一般流动系统的模拟和相互模拟。 收录人：Bemporad，A.、Bicchi，A.、Buttazzo，G.（编辑）HSCC 2007。 LNCS，第4416卷，第145-158页。 斯普林格，海德堡（2007）。 谷歌学者 Davoren，J.M.：关于混合系统和模态微积分。 收录人：Antsaklis，P.J.、Kohn，W.、Lemmon，M.D.、Nerode，A.、Sastry，S.S.（编辑）HS 1997。 LNCS，第1567卷，第38-69页。 斯普林格，海德堡（1999）。 谷歌学者 Cuijpers，P.，Reniers，M.，Heemels，W.：混合过渡系统。 技术报告CS-Report 02-12，TU/e，荷兰埃因霍温（2002）。 谷歌学者 Baeten，J.C.M.，Middelburg，C.A.：带时间的过程代数。 理论计算机科学专著。 斯普林格，海德堡（2002）。 谷歌学者 Hennessy，M.C.B.，Milner，R.：关于观察不确定性和并发性。 收录人：de Bakker，J.W.，van Leeuwen，J.（编辑）ICALP 1980。 LNCS，第85卷，第299-309页。 斯普林格，海德堡（1980）。 谷歌学者 Haghverdi，E.，Tabuada，P.，Pappas，G.J.：动力学、控制和混合系统的双模拟关系。 理论计算机科学34229-261（2005）。 谷歌学者 Smirnov，G.：微分包含理论简介。 数学研究生课程。 美国数学学会41（2002）。 谷歌学者
建议
翻译中的迷失：感染性安全证明的失误分析 《2015年加密技术故障诊断与容错研讨会论文集》 在2014年FDTC上，提出了两种新的感染对策，以有效保护CRT-RSA免受FA的侵害。这些对策的安全性已从其侦探对手的安全性转换而来，后者已被证明是安全的。。。 依赖树翻译：统计翻译和基于实例的机器翻译的融合？ 我们描述了一种新的机器翻译方法，它结合了两种领先的基于语体的方法的优点：短语SMT和EBMT。我们使用基于源依赖树的语法信息解码器和重新排序模型，结合。。。
