马特奥·扎瓦特里；罗密欧·里兹；蒂齐亚诺别墅 具有瞬时反应的时间网络的动态可控性。 （英语） Zbl 07830730号 信息科学。 613, 932-952 (2022).MSC公司：68倍 93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人，《信息科学》。613932-952（2022；Zbl 07830730） 全文： 内政部
蒂亚戈·图西（Thiago M.Tuxi）。；Lilian K·卡瓦略。；爱德华多·V·L·努斯。；安东尼奥·库尼亚 使用LTL模型检查进行可诊断性验证。 （英语） Zbl 1500.93071号 离散事件动态。系统。 32，第3号，399-433（2022）.MSC公司：93元65角 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Tuxi}等人，离散事件动力学。系统。32号，第3号，399-433（2022年；兹bl 1500.93071） 全文： 内政部
本杰明·比特纳；马可·波扎诺；亚历山德罗·西马蒂；马可·加里奥；斯特凡诺·托内塔；维克多利亚沃扎洛娃 公平过渡系统的可诊断性。 （英语） Zbl 1491.68107号 Artif公司。智力。 309，文章ID 103725，39 p.（2022）.MSC公司：60年第68季度 90秒25 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{B.Bittner}等人，Artif。智力。309，文章ID 103725，39 p.（2022；Zbl 1491.68107） 全文： 内政部
陈景凯；布莱恩·威廉姆斯。；樊楚楚 线性混杂系统的最优混合离散连续规划。 （英语） Zbl 07807681号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第8号论文，第12页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第8号论文，第12页（2021；Zbl 07807681） 全文： 内政部 arXiv公司
马可·波扎诺；亚历山德罗·西马蒂；马可·加里奥；大卫·琼斯；克里斯蒂安·马塔雷 使用xSAP对三模块发电机进行基于模型的安全评估。 （英语） Zbl 1511.68149号 正式Asp。计算。 33，第2期，251-295（2021）.MSC公司：60年第68季度 93-10 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人，正式Asp。计算。33，第2号，251--295（2021；Zbl 1511.68149） 全文： 内政部
什扬·阿克马尔；亚扪人，萨凡纳；李和萌；迈克尔·高；林赛·波波斯基；James C.jun，Boerkoel。 量化具有不确定性的时间网络中的可控性。 （英语） Zbl 1504.68201号 Artif公司。智力。 289，文章ID 103384，19 p.（2020）.MSC公司：68T20型 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Akmal}等人，Artif。智力。289，文章ID 103384，19 p.（2020；Zbl 1504.68201） 全文： 内政部
马尔塞洛·贝尔萨尼。；马蒂奥·索尔多；克劳迪奥·蒙吉；帕特里齐奥·佩利奇奥内；罗西，马蒂奥 PuRSUE–从机器人环境规范到控制器合成。 （英语） Zbl 1458.68218号 正式Asp。计算。 32，编号2-3，187-227（2020）.MSC公司：68T40型 93亿B50 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人，正式Asp。计算。32，编号2--3，187-227（2020；Zbl 1458.68218） 全文： 内政部
道格拉斯·弗雷泽；鲁本·贾昆塔；鲁思·霍夫曼；爱尔兰，穆雷；爱丽丝·米勒；格钦·诺曼 自治系统控制器综合的协作模型。 （英语） Zbl 1458.68219号 正式Asp。计算。 32，编号2-3，157-186（2020）.MSC公司：68T40型 60年第68季度 93甲16 93亿B50 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fraser}等人，正式Asp。计算。32，编号2--3，157-186（2020；Zbl 1458.68219） 全文： 内政部
韩慧珍；里卡多·桑费利斯（Ricardo G.Sanfelice）。 混合动力系统的线性时序逻辑：特征和充分条件。 （英语） Zbl 1441.93132号 非线性分析。，混合系统。 36，文章ID 100865，第18页（2020）.MSC公司：93立方 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Han}和\textit{R.G.Sanfelice}，非线性分析。，混合系统。36，文章ID 100865，18 p.（2020；Zbl 1441.93132） 全文： 内政部 arXiv公司
马特奥·扎瓦特里；卢卡·维甘诺 具有不确定性和决策的条件简单时间网络。 （英语） Zbl 1434.68552号 西奥。计算。科学。 797, 77-101 (2019).MSC公司：68T20型 65年第68季度 93个B03 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}和\textit{L.Vigan“}，Theor。计算。科学。797，77-101（2019年；Zbl 1434.68552） 全文： 内政部 链接
布莱克·罗林斯。；B.埃里克·伊德斯蒂 混合控制系统中组合不变性和可达性规范的伪造。 （英语） Zbl 1379.93003号 离散事件动态。系统。 27，第2期，463-479（2017）.MSC公司：93甲13 93立方 93个B03 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Rawlings}和\textit{B.E.Ydstie}，离散事件动态。系统。27，第2号，463--479（2017；Zbl 1379.93003） 全文： 内政部
古斯塔沃·卡瓦略；安娜·卡瓦尔坎蒂；奥古斯托·桑帕约 根据自然语言要求对定时反应系统进行建模。 （英语） Zbl 1345.93024号 正式Asp。计算。 28，第5期，725-765（2016）.MSC公司：93A30型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Carvalho}等人，《正式Asp》。计算。28，第5号，725--765（2016；Zbl 1345.93024） 全文： 内政部 链接
JiříBarnat；彼得·鲍赫；尼古拉·贝内什；卢博什·布里姆；简·伯兰；托马斯·克拉托奇维拉 分析航空电子系统需求的健全性。 （英语） Zbl 1335.68131号 正式Asp。计算。 28，第1号，45-63（2016）.MSC公司：60年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人，《形式语法》。计算。28，第1号，45-63（2016；Zbl 1335.68131） 全文： 内政部 arXiv公司
辛齐亚·伯纳德斯基；安德烈亚·多梅尼奇 通过原型验证系统的交互式定理证明，验证非线性控制的安全特性。 （英语） Zbl 1356.68177号 信息处理。莱特。 116，第6号，409-415（2016）.MSC公司：68吨15 60年第68季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernardeschi}和\textit{A.Domenici}，Inf.过程。莱特。116，第6号，409--415（2016；Zbl 1356.68177） 全文： 内政部 链接
迪基·阿兹基亚；张以宁；亚历山德罗·阿巴特 VeriSIMPL 2型：用于验证max-plus-linear系统的开源软件。 （英语） Zbl 1332.93255号 离散事件动态。系统。 26，第1号，109-145（2016）.MSC公司：93元65角 93-04 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{D.Adzkiya}等人，离散事件动态。系统。26，第1号，109--145（2016；Zbl 1332.93255） 全文： 内政部
亚历山德罗·西马蒂；塞尔吉奥·莫弗；斯特凡诺·托内塔 混合系统不变量的无量子化编码。 （英语） 兹伯利1317.68111 形式方法系统。设计。 45，第2期，165-188（2014）.MSC公司：60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《形式方法系统》。设计。45，第2号，165--188（2014；Zbl 1317.68111） 全文： 内政部
艾丁·戈尔，埃布鲁；米尔恰·拉扎尔 离散时间系统的时序逻辑模型预测控制。 （英语） Zbl 1362.93092号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。343-352 (2013).MSC公司：93C55美元 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{E.Aydin Gol}和\textit{M.Lazar}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。343-352（2013年；兹比尔1362.93092） 全文： 内政部
马蒂亚斯·伦格；曼纽尔·马佐；保罗·塔布阿达 线性系统和安全线性时间时序逻辑的规范引导控制器综合。 （英语） Zbl 1362.93059号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。333-342 (2013).MSC公司：93亿B50 60年第68季度 93二氧化碳 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{M.Rungger}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，2013年HSCC，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。333--342（2013；Zbl 1362.93059） 全文： 内政部
玛丽亚姆·坎加普尔；肖恩·萨默斯；约翰·莱杰罗斯 随机混合系统规范的控制设计。 （英语） Zbl 1364.93263号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。303-312 (2013).MSC公司：93亿B50 65年第68季度 60年第68季度 90立方厘米 93个B03 93立方 93C55美元 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kamgarpour}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。303--312（2013；Zbl 1364.93263） 全文： 内政部
伊利亚·特卡切夫；亚历山大·梅雷克莱；Joost-Pieter卡托恩；亚历山德罗·阿巴特 非自治随机混合系统基于定量自动机的控制器综合。 （英语） Zbl 1362.68189号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。293-302 (2013).MSC公司：60年第68季度 60J05型 65年第68季度 90立方厘米 93个B03 93亿B50 93E20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Tkachev}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。293--302（2013；Zbl 1362.68189） 全文： 内政部
阿克沙·拉汉斯；布鲁斯·H·克罗。 组合异构抽象。 （英语） Zbl 1362.68182号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。253-262 (2013).MSC公司：60年第68季度 68问题55 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rajhans}和\textit{B.H.Krogh}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。253--262（2013；Zbl 1362.68182） 全文： 内政部
拉杰夫·阿鲁尔；Forejt，Vojtěch公司；萨拉尔·莫拉里夫；阿舒托什·特里维迪 有界速率多模系统的安全可调度性。 （英语） Zbl 1361.93019号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。243-252 (2013).MSC公司：93立方 2017年第68季度 65年第68季度 90B35型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《第16届ACM混合系统国际会议论文集：计算与控制》，2013年HSCC，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。243-252（2013年；兹比尔1361.93019） 全文： 内政部 arXiv公司
戈兰·弗雷斯；拉贾特·凯特加；科拉斯·勒格尔尼奇 流管近似和时空聚类。 （英语） Zbl 1362.93015号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。203-212 (2013).MSC公司：93个B03 52A20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Frehse}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。203--212（2013；Zbl 1362.93015） 全文： 内政部
马西莫·贝内雷切蒂；马可·费拉 跟踪多面体边界上的可微分轨迹。 （英语） Zbl 1361.68115号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。193-202 (2013).MSC公司：65年第68季度 34A38型 34A60型 60年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}和\textit{M.Faella}，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。193-202（2013；Zbl 1361.68115） 全文： 内政部
马蒂亚斯·阿尔霍夫 使用保守多项式和非凸集对非线性系统进行可达性分析。 （英语） 兹比尔1362.93011 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。173-182 (2013).MSC公司：93个B03 34A38型 34A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Althoff}，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。173-182（2013；Zbl 1362.93011） 全文： 内政部 链接
德克·范·兹维滕；埃尔詹·勒菲伯；莫里斯·海梅尔斯 一类分段仿射混合系统的观测器设计。 （英语） Zbl 1364.93386号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。153-162 (2013).MSC公司：93立方 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{D.van Zwieten}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。153-162（2013年；Zbl 1364.93386） 全文： 内政部
泰语，Jérôme；亚历山大·巴恩（Alexandre M.Bayen）。 多面体混合系统的状态估计及其在Godunov格式中的应用。 （英语） Zbl 1362.93069号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。143-152 (2013).MSC公司：93C20美元 93立方 93二氧化碳 90 C59 93E11号机组 93E10型 PDF格式BibTeX公司 XML格式引用 \textit{J.Thai}和\textit{A.M.Bayen}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。143-152（2013年；兹bl 1362.93069） 全文： 内政部
蒂莫西·布鲁克；马克·普泽特 Zélus：与ODE同步的语言。 （英语） Zbl 1361.68026号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。113-118 (2013).MSC公司：68甲15 34A38型 65C20个 65年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Bourke}和\textit{M.Pouzet}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。113-118（2013；Zbl 1361.68026） 全文： 内政部
艾克·莫尔曼；奥利弗·泰尔 Stabhyli–非线性混合系统自动稳定性验证工具。 （英语） Zbl 1362.93111号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。107-112 (2013).MSC公司：93D05型 93B40码 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Möhlmann}和\textit{O.Theel}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。107-112（2013；Zbl 1362.93111） 全文： 内政部
里卡多·桑费利斯；大卫·科普；尼亚涅兹，巴勃罗 Matlab/Simulink中混合系统仿真的工具箱。混合方程（HyEQ）工具箱。 （英语） Zbl 1364.93383号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。101-106 (2013).MSC公司：93立方 65日元 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{R.Sanfelice}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。101-106（2013；Zbl 1364.93383） 全文： 内政部
斯蒂法诺·迪·凯拉诺；莫里斯·海梅尔斯；米尔恰·拉扎尔；阿尔贝托·本普拉德 混合控制Lyapunov函数用于混合系统的镇定。 （英语） 兹比尔1364.93628 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。73-82 (2013).MSC公司：93D15号 93立方 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{S.Di Cairano}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。73-82（2013年；Zbl 1364.93628） 全文： 内政部
迈克尔·波萨；马克·托本金；俄罗斯·特德雷克 通过平方和对具有冲击和摩擦的刚体系统进行Lyapunov分析。 （英语） Zbl 1364.70020号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。63-72 (2013).MSC公司：70E60型 68T40型 93D20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Posa}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，2013年HSCC，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。63-72（2013年；Zbl 1364.70020） 全文： 内政部
帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 关于混合系统稳定性的可判定性。 （英语） Zbl 1362.68180号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。53-62 (2013).MSC公司：60年第68季度 65年第68季度 93立方 93D05型 93D20型 PDF格式BibTeX公司 XML格式引用 \textit｛P.Prabhakar｝和\textit｛M.Viswanathan｝，载于：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。53-62（2013；Zbl 1362.68180） 全文： 内政部
金小青；亚历山大·唐泽；Jyotirmoy V.德斯穆赫。；Sanjit A.Seshia。 从闭环控制模型中挖掘需求。 （英语） Zbl 1362.93008号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。43-52（2013年）。MSC公司：93A30型 93立方厘米 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{X.Jin}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。43-52（2013年；Zbl 1362.93008） 全文： 内政部 链接
黎文良；法比安·劳尔；劳伦特·巴科；杰拉德·布洛赫 学习非线性混合系统：从稀疏优化到支持向量回归。 （英语） Zbl 1364.93381号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。33-42 (2013).MSC公司：93立方 62J02型 68T05型 90C25型 93B30型 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Le}等人，in：《第16届ACM混合系统国际会议论文集：计算与控制》，2013年HSCC，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。33-42（2013年；兹比尔1364.93381） 全文： 内政部
希思·J·勒布朗。；Koutsoukos，Xenofon D。 鲁棒网络化多智能体系统中的弹性同步。 （英语） Zbl 1361.68278号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。21-30 (2013).MSC公司：68T42型 34D06型 93甲14 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.J.LeBlanc}和\textit{X.D.Koutsoukos}，摘自：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。21-30（2013年；Zbl 1361.68278） 全文： 内政部
丹尼尔·利伯松 通过可达集传播实现混合系统的有限信息控制。 （英语） 兹比尔1362.93081 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。11-19 (2013).MSC公司：93立方厘米 93立方 93元57 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{D.Liberzon}，in：第16届ACM混合系统国际会议论文集：计算与控制，2013年HSCC，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。11-19（2013；Zbl 1362.93081） 全文： 内政部
Tůmová，贾纳；加文·C·霍尔。；卡拉曼，塞尔塔克；埃米利奥·弗雷佐利；丹妮拉·罗斯 基于安全规则的违反租约控制策略综合。 （英语） Zbl 1364.93523号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。1-10 (2013).MSC公司：93C85号 65年第68季度 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Tůmová}等人，《第16届ACM混合系统国际会议论文集：计算与控制》，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。1-10（2013年；Zbl 1364.93523） 全文： 内政部
朱莉娅·布拉曼（Julia M.B.Braman）。；理查德·默里（Richard M.Murray）。 基于目标的控制系统的互模拟转换和验证程序。 （英语） Zbl 1213.93139号 形式方法系统。设计。 38，第1期，62-95（2011）.MSC公司：93C85号 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{J.M.B.Braman}和\textit{R.M.Murray}，形式方法系统。设计。38，编号1，62--95（2011；Zbl 1213.93139） 全文： 内政部