德米特里·彼得林。;萨多夫斯基（Sadovskiĭ）、米哈（Mikhaĭl G.）。 细胞周期动力学的简单模型。 （俄语。英文摘要） Zbl 1521.37102号 J.西布。联邦大学数学系。物理学。 4，第3期，382-384（2011）.MSC公司：37N25号 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Petelin}和textit{M.G.Sadovski}，J.Sib。联邦大学数学系。物理。4，第3号，382--384（2011；Zbl 1521.37102） 全文： MNR公司
劳伦·弗里堡;贝特朗·雷沃;罗曼·苏拉特 用于确保采样线性系统可达性的切换规则的合成。 （英语） Zbl 1457.68143号 Yu，Fang（编辑）等，第十三届无限状态系统验证国际研讨会，台湾台北，2011年10月10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）73，35-48（2011）。MSC公司：65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}等人，《电子》。程序。西奥。计算。科学。（EPTCS）73，35-48（2011；Zbl 1457.68143） 全文： arXiv公司 链接
卢卡·博托卢西;瓦实提·加尔平;简·希尔斯顿 随机事件的HYPE。 （英语） 兹比尔1457.68179 Massink，Mieke（编辑）等人，第九届编程语言定量方面研讨会论文集，德国萨尔布吕肯，2011年4月1日至3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）57120-133（2011年）。MSC公司：68问题85 65年第68季度 60年第68季度 87年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）57，120--133（2011；Zbl 1457.68179） 全文： arXiv公司 链接
约瑟夫·阿索拉莫;何塞·德斯哈奈斯 非线性概率混合系统分析。 （英语） 兹比尔1457.68159 Massink，Mieke（ed.）等人，《编程语言定量方面第九次研讨会论文集》，德国萨尔布吕肯，2011年4月1日至3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）57104-119（2011）。MSC公司：60年第68季度 65年第68季度 87年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Assouramou}和\textit{J.Desharnais}，电子。程序。西奥。计算。科学。（EPTCS）57，104--119（2011；Zbl 1457.68159） 全文： arXiv公司 链接
马西莫·贝内雷切蒂;马可·费拉;斯特凡诺·米诺波利 线性混合系统的高效精确综合。 （英语） Zbl 1457.68139号 D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54，263-277（2011）。MSC公司：65年第68季度 60年第68季度 93个B05 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人，《电子》。程序。西奥。计算。科学。（EPTCS）54、263--277（2011；Zbl 1457.68139） 全文： arXiv公司 链接
大卫·布雷索林;玛尔塔·卡皮鲁比 混合系统故障诊断的博弈理论方法。 （英语） 兹比尔1457.93048 D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54237-249（2011）。MSC公司：93立方 68米15 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}和\textit{M.Capiluppi}，电子。程序。西奥。计算。科学。（EPTCS）54，237--249（2011；Zbl 1457.93048） 全文： arXiv公司 链接
金敬大;萨扬·密特拉;P.R.库马尔。 计算一类线性混合自动机的有限精度有界\（ε）-可达集。 （英语） Zbl 1362.68144号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。113-122 (2011).MSC公司：65年第68季度 93个B03 93B40码 93立方 PDF格式BibTeX公司 XML格式引用 \textit{K.-D.Kim}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。113-122（2011；Zbl 1362.68144） 全文： 内政部
亚历山德罗·阿巴特;Joost-Pieter卡托恩;亚历山大·梅雷克莱 自治随机混合系统的定量自动机模型检验。 （英语） Zbl 1361.68130号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。83-92 (2011).MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机机械协会（ACM）。83-92（2011年；Zbl 1361.68130） 全文： 内政部
达姆，沃纳;卡斯滕·伊勒曼;维奥里卡Sofrone-Stokkerman 合理线性混合自动机安全性验证的决定性和复杂性。 （英语） Zbl 1361.68141号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。73-82 (2011).MSC公司：60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛W.Damm｝等人，发表于：《第14届美国机械工程师协会混合系统国际会议论文集：计算与控制》，2011年4月12-14日，美国伊利诺伊州芝加哥，HSCC 2011。纽约州纽约市：计算机机械协会（ACM）。73-82（2011；Zbl 1361.68141） 全文： 内政部
曼努埃拉·布乔里亚努（Manuela L.Bujorianu）。;马吕斯·布乔里亚努。 容错混合系统的随机非随机行为分析。 （英语） Zbl 1364.93747号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。53-62 (2011).MSC公司：93E03型 60年25日 60J27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Bujorianu}和\textit{M.C.Bujorianau}，in：第14届ACM混合系统国际会议论文集：计算和控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。53-62（2011年；Zbl 1364.93747） 全文： 内政部
马丁·范策尔;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;尼科拉斯·沃尔维克;张丽君 随机混合系统的可测性和安全性验证。 （英语） Zbl 1362.68170号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。43-52（2011年）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。43-52（2011年；Zbl 1362.68170） 全文： 内政部
阿米尔·阿里·艾哈迈迪;拉斐尔·荣格斯;巴勃罗·帕里洛。;马尔达维吉·鲁兹贝哈尼 利用路径完备图上的Lyapunov函数分析联合谱半径。 （英语） Zbl 1364.93376号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-0629-4）。13-22（2011年）。MSC公司：93立方 05元50分 65年第68季度 90C22型 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Ahmadi}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。13-22（2011年；Zbl 1364.93376） 全文： 内政部 链接
2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。 （英语） Zbl 1300.93003号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。x、 第319页。，仅电子版（2011年）。MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 2011年4月12日至14日，美国伊利诺伊州芝加哥市，第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011。纽约州纽约市：计算机协会（ACM）（2011；Zbl 1300.93003） 全文： 内政部
达姆，沃纳;卡斯滕·伊赫曼;维奥里卡Sofrone-Stokkerman 合理线性混合自动机安全特性的PTIME参数验证。 （英语） Zbl 1262.68113号 数学。计算。科学。 5，第4期，469-497（2011）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人，数学。计算。科学。5，第4号，469--497（2011；Zbl 1262.68113） 全文： 内政部 链接
伊娃·M·纳瓦罗·洛佩斯。;卡特、丽贝卡 混合自动机：对不连续系统的离散抽象的洞察。 （英语） Zbl 1260.93013号 国际期刊系统。科学。 42，第11期，1883-1898（2011）.MSC公司：93A30型 93立方 93B12号机组 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{R.Carter}，国际期刊系统。科学。42，第11号，1883-1898（2011；Zbl 1260.93013） 全文： 内政部 链接
Thao Dang先生;托马斯·马丁 基于模板的仿射混合自动机无界时间验证。 （英语） Zbl 1348.68100号 Yang，Hongseok（编辑），《编程语言与系统》。第九届亚洲研讨会，2011年APLAS，2011年12月5日至7日，台湾垦丁。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25317-1/pbk）。计算机科学课堂讲稿7078，34-49（2011）。MSC公司：65年第68季度 65年第68季度 68问题55 60年第68季度 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Dang}和\textit{T.M.Gawlitza}，莱克特。注释计算。科学。7078，34-49（2011；Zbl 1348.68100） 全文： 内政部
小林光一;Jun-ichi Imura公司;Hiraishi、Kunihiko 有限自动机的稳定性及其在混合系统控制中的应用。 （英语） Zbl 1235.93207号 离散事件动态。系统。 21，第4期，519-545（2011）.MSC公司：93D15号 68问题80 93立方 PDF格式BibTeX公司 XML格式引用 \textit{K.Kobayashi}等人，离散事件动力学。系统。21，第4号，519--545（2011；Zbl 1235.93207） 全文： 内政部
洛伦佐·马可尼;罗伯特·纳尔迪;卢卡·金蒂利 飞行机器人与环境交互的建模和控制。 （英语） Zbl 1235.93163号 Automatica公司 47，第12期，2571-2583（2011）.MSC公司：93C85号 93立方 93立方厘米 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Marconi}等人，Automatica 47，第12期，2571--2583（2011；Zbl 1235.93163） 全文： 内政部 链接
弗拉基米罗;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 可判定混合游戏规范。 （英语） Zbl 1229.93104号 西奥。计算。科学。 412，第48号，6770-6785（2011）.MSC公司：93立方 91A80型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Vladimerou}等人，Theor。计算。科学。412，第48号，6770--6785（2011；Zbl 1229.93104） 全文： 内政部
胡萨姆·阿巴斯;乔治·费内科斯 通过局部搜索实现线性混合系统伪造。 （英语） Zbl 1348.68087号 Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，503-510（2011）。MSC公司：65年第68季度 68T20型 90立方厘米15 PDF格式BibTeX公司 XML格式引用 \textit{H.Abbas}和\textit{G.Fainekos}，莱克特。注释计算。科学。6996、503--510（2011；Zbl 1348.68087） 全文： 内政部 arXiv公司
斯文·施奈德;乌韦·内斯特曼 使用过程演算对混合系统进行严格的离散化。 （英语） Zbl 1348.68109号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919301-316（2011）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.Schneider｝和\textit｛U.Nestmann｝，Lect。注释计算。科学。6919301--316（2011；Zbl 1348.68109） 全文： 内政部
贾·戴维德·奎塞尔;马丁·范策尔;达姆，沃纳 跨越类似游戏之间的桥梁。 （英语） Zbl 1348.68147号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，160-176（2011）。MSC公司：60年第68季度 65年第68季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Quesel}等人，Lect。注释计算。科学。6919、160--176（2011年；Zbl 1348.68147） 全文： 内政部
Hage-Packhäuser，塞巴斯蒂安;迈克尔·德尔尼茨 混合动力系统中通过对称切换实现的稳定。 （英语） 兹比尔1242.34024 离散Contin。动态。系统。，序列号。B 16，第1期，239-263（2011）. 审核人：J.Vasundhara Devi（维萨卡帕特南） MSC公司：34A38型 34立方厘米 34D05型 34A36飞机 34甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Hage-Packhäuser}和\textit{M.Dellnitz}，离散Contin。动态。系统。，序列号。B 16，编号1，239--263（2011；Zbl 1242.34024） 全文： 内政部
拜奇科夫，A.S。 模糊切换混合自动机稳定性的充分条件。 （乌克兰语。英文摘要） Zbl 1240.68118号 多波夫。国家。阿卡德。诺克乌克兰。，材料价格。泰克。恶心 2011年第4期，7-14（2011）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bychkov}，多波夫。国家。阿卡德。诺克乌克兰。，材料价格。泰克。Nauky 2011年，第4、7--14号（2011年；Zbl 1240.68118）
彼得·赫夫纳;伯恩哈德·莫勒 修复Zeno间隙。 （英语） Zbl 1227.68079号 西奥。计算。科学。 412，第28号，3303-3322（2011）. 审核人：赛义德·萨利希（大不里士） MSC公司：99年第68季度 第68季度第70季度 68问题85 37N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller}，Theor。计算。科学。412，第28号，3303--3322（2011；Zbl 1227.68079） 全文： 内政部 链接