罗、二台；尼古拉斯·科奇杜普尔；斯坦利·巴克 利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 （英语） Zbl 07807958号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Luo}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023；Zbl 07807958） 全文： 内政部
马克·韦兹林格；尼古拉斯·科奇杜普尔；斯坦利·巴克；马蒂亚斯·阿尔特霍夫 使用支持函数的可达性分析对线性系统进行全自动验证。 （英语） Zbl 07807946号 第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号论文，第12页（2023年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号论文，第12页（2023；Zbl 07807946） 全文： 内政部 链接
斯坦利·巴克；Tran，Hoang-Dung村；泰勒·T·约翰逊。 高达十亿维仿射系统的数值验证。 （英语） Zbl 07120137号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。23-32（2019年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。23-32（2019年；兹bl 07120137） 全文： 内政部 arXiv公司
斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 基于严格仿真的线性混合系统分析。 （英语） Zbl 1452.68098号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日，第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2017，瑞典乌普萨拉。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 555-572 (2017).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}和\textit{P.S.Duggirala}，莱克特。注释计算。科学。10205555--572（2017；Zbl 1452.68098） 全文： 内政部
斯坦利·巴克；塞尔吉·博戈莫洛夫；马蒂亚斯·阿尔特霍夫 混合自动机可达性分析中保护的时间触发转换。 （英语） Zbl 1497.93107号 阿巴特，亚历山德罗（编辑）等，时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10419, 133-150 (2017).MSC公司：93立方 65年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人，Lect。注释计算。科学。10419、133-150（2017年；Zbl 1497.93107） 全文： 内政部 链接
斯坦利·巴克；塞尔吉·博戈莫洛夫；托马斯·亨辛格（Thomas A.Henzinger）。；泰勒·T·约翰逊。；普拉卡什，普拉多特 非线性系统分析的可伸缩静态杂交方法。 （英语） Zbl 1364.68243号 第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。155-164 (2016).MSC公司：65年第68季度 34A38型 60年第68季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bak｝等人，《第19届ACM混合系统国际会议论文集：计算与控制》，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。155-164（2016年；Zbl 1364.68243） 全文： 内政部
斯坦利·巴克；塞尔吉·博戈莫洛夫；泰勒·T·约翰逊。 HYST：混合自动机模型的源代码转换和翻译工具。 （英语） Zbl 1364.68244号 第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，美国华盛顿州西雅图，2015年4月14日至16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。128-133 (2015).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。128-133（2015年；Zbl 1364.68244） 全文： 内政部