Tran,Hoang-Dung村;内拉尼亚娜·帕尔;迭戈·曼扎纳斯·洛佩兹;帕特里克·穆索;杨晓东;阮、滦越;项伟明;斯坦利·巴克;泰勒·T·约翰逊。 分段深度神经网络的验证:带zonotope预滤波器的星集方法。 (英语) Zbl 1519.68143号 正式Asp。计算。 33,编号4-5,519-545(2021).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人,正式Asp。计算。33,编号4--5,519--545(2021;Zbl 1519.68143) 全文: 内政部
亚伯拉罕·维诺德(Abraham P.Vinod)。;约瑟夫·格里森。;Meeko M.K.Oishi。 演示摘要:SReachTools:MATLAB随机可达性工具箱。 (英语) 兹伯利07120165 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。264-265 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Vinod}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。264--265(2019年;Zbl 07120165) 全文: 内政部
亚伯拉罕·维诺德(Abraham P.Vinod)。;约瑟夫·格里森。;Meeko M.K.Oishi。 SReachTools:MATLAB随机可达性工具箱。 (英语) Zbl 07120138号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。33-38 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Vinod}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。33-38(2019年;Zbl 07120138) 全文: 内政部
托马斯·亨辛格。;奥托普,简 混合系统的模型测量。 (英语) Zbl 1362.68173号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。213-222 (2014).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.Otop},摘自:第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。213--222(2014;Zbl 1362.68173) 全文: 内政部
吕迪格·埃勒斯;乌富克托普库 反应合成中间歇性假设违反的弹性。 (英语) Zbl 1361.68146号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。203-212 (2014).MSC公司:60年第68季度 65年第68季度 68T40型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{U.Topcu},in:第17届ACM混合系统国际会议论文集:计算和控制,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。203--212(2014;Zbl 1361.68146) 全文: 内政部
塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 混合自动机中的准相关变量。 (英语) Zbl 1361.68118号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。93-102 (2014).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,in:第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。93-102(2014年;Zbl 1361.68118) 全文: 内政部 链接
约翰·N·梅登斯。;沙哈卜·卡纳玛;伊恩·米切尔(Ian M.Mitchell)。;Meeko M.K.Oishi。;盖·杜蒙特(Guy A.Dumont)。 高维系统生存核近似的拉格朗日方法。 (英语) 兹比尔1364.93057 Automatica公司 49,第7期,2017-2029(2013).MSC公司:93个B03 93B40码 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Maidens}等人,Automatica 49,第7期,2017--2029(2013;Zbl 1364.93057) 全文: 内政部
艾丁·戈尔(Ebru Aydin Gol);米尔恰·拉扎尔 离散时间系统的时序逻辑模型预测控制。 (英语) 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年;Zbl 1362.93092) 全文: 内政部