×

找到334个文档（结果1-100）

最新的 引文 关联
劳伦·弗里堡;乌尔里希·库恩;尼古拉斯·马基

采样切换系统分布式控制器的基于游戏的综合。 （英语） Zbl 1429.93105号

André，Etienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 48-62 (2015).
MSC公司：93亿B50 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Fribourg}等人，OASIcs--OpenAccess服务器。通知。44、48-62（2015年；Zbl 1429.93105）
全文： 内政部
阿德里安·勒科恩特;弗洛里安·德·维斯特;克里斯蒂安·雷伊;卢多维奇·查莫因;劳伦·弗里堡

使用模型降阶和状态空间对分的切换控制系统的保证控制。 （英语） Zbl 1432.93043号

André，Étienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’152015年4月11日，英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 33-47 (2015).
MSC公司：93B11号机组 93立方 93个B03 93D05型
PDF格式BibTeX公司 XML格式引用
\textit{A.Le Coönt}等人，OASIcs--OpenAccess Ser。通知。44、33-47（2015；Zbl 1432.93043）
全文： 内政部
本杰明·乔里（Benjamin M.Gyori）。;刘冰;苏米亚·保罗;拉马纳森，R。;蒂亚加拉扬，P.S。

混合系统的近似概率验证。 （英语） Zbl 1412.92120号

亚历山德罗（编辑）等，《混合系统生物学》。第四次国际研讨会，HSB 2015，西班牙马德里，2015年9月4-5日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9271, 96-116 (2015).
MSC公司：92立方厘米 93立方 60J20型
PDF格式BibTeX公司 XML格式引用
\textit{B.M.Gyori}等人，Lect。注释计算。科学。9271，96-116（2015；Zbl 1412.92120）
全文： 内政部 arXiv公司
路易斯·菲波·菲提;克里斯蒂安·舒斯特;彼得·安吉尔;鲁克斯，奥利维尔;卡里托·古齐奥洛夫斯基

在大规模离散单元模型中集成时间序列数据。 （英语） Zbl 1412.92119号

亚历山德罗（编辑）等，《混合系统生物学》。第四次国际研讨会，HSB 2015，西班牙马德里，2015年9月4-5日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9271, 75-95 (2015).
MSC公司：92立方厘米 93立方 93甲15 92-04
PDF格式BibTeX公司 XML格式引用
\textit{L.F.Fitime}等人，Lect。注释计算。科学。9271，75-95（2015；Zbl 1412.92119）
全文： 内政部 哈尔
玛尔塔·卡皮鲁比;罗伯特·塞加拉

使用世界自动机对在复杂环境中移动的对象进行建模。 （英语） Zbl 1403.93033号

van Schuppen，Jan H.（编辑）等人，《分布式系统的协调控制》。查姆：施普林格（ISBN 978-3-319-10406-5/pbk；978-3-316-10407-2/电子书）。《控制与信息科学课堂讲稿》456367-374（2015）。
MSC公司：93A30型 93立方 93C85号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Capiluppi}和\textit{R.Segala}，莱克特。票据控制信息科学。456367-374（2015；Zbl 1403.93033）
全文： 内政部
大卫·布雷索林;卢卡·杰雷蒂;蒂齐亚诺别墅;彼得·柯林斯

混合系统验证介绍阿里阿德涅. （英语） Zbl 1403.93108号

van Schuppen，Jan H.（编辑）等人，《分布式系统的协调控制》。查姆：施普林格（ISBN 978-3-319-10406-5/pbk；978-3-316-10407-2/电子书）。《控制与信息科学课堂讲稿》456339-346（2015）。
MSC公司：93立方 93B40码 93个B03 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}等人，Lect。票据控制信息科学。456339-346（2015年；兹比尔1403.93108）
全文： 内政部
A.Agung朱利叶斯

基于轨迹的混合系统理论。 （英语） Zbl 1403.93040号

Camlibel，M.Kanat（编辑）等人，《数学控制理论I.非线性和混合控制系统》。商会：施普林格出版社（ISBN 978-3-319-20987-6/pbk；978-3-319-20988-3/ebook）。《控制与信息科学课堂讲稿》461，363-384（2015）。
MSC公司：93个B03 93立方 93亿B50 93B35型
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Julius}，莱克特。票据控制信息科学。461363--384（2015；Zbl 1403.93040）
全文： 内政部
乔纳森·马尔多纳多（Jonathan C.Mayo-Maldonado）。;保罗·拉皮萨尔达

使用切换微分系统对能量分配网络进行建模和分析。 （英语） Zbl 1403.93112号

Camlibel，M.Kanat（编辑）等人，《数学控制理论I.非线性和混合控制系统》。查姆：施普林格（ISBN 978-3-319-20987-6/pbk；978-3-3169-20988-3/ebook）。《控制与信息科学课堂讲稿》461199-219（2015）。
MSC公司：93立方 93立方厘米 93二氧化碳 93甲15 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Mayo-Maldonado}和\textit{P.Rapisarda}，莱克特。票据控制信息科学。461199--219（2015；Zbl 1403.93112）
全文： 内政部 链接
Jun-Ichi Imura;石崎、高崎

混合系统和网络系统的建模视角。 （英语） Zbl 1403.93111号

Camlibel，M.Kanat（编辑）等人，《数学控制理论I.非线性和混合控制系统》。商会：施普林格出版社（ISBN 978-3-319-20987-6/pbk；978-3-319-20988-3/ebook）。《控制与信息科学课堂讲稿》461，137-152（2015）。
MSC公司：93立方 93甲15 93B11号机组 93立方厘米 93个B05
PDF格式BibTeX公司 XML格式引用
\textit{J.-I.Imura}和\textit{T.Ishizaki}，Lect。票据控制信息科学。461，137--152（2015；Zbl 1403.93111）
全文： 内政部
普杜鲁五世（Puduru V.Reddy）。;舒马赫，J.M。;Engwerda，J.C。

混合动力学优化管理——浅水湖问题。 （英语） Zbl 1403.49015号

Camlibel，M.Kanat（编辑）等人，《数学控制理论I.非线性和混合控制系统》。查姆：施普林格（ISBN 978-3-319-20987-6/pbk；978-3-3169-20988-3/ebook）。《控制与信息科学课堂讲稿》46111-136（2015）。
MSC公司：49公里21 91A10号 93立方 49N90型 93立方厘米 93立方厘米 91B76号 93-04
PDF格式BibTeX公司 XML格式引用
\textit{P.V.Reddy}等人，Lect。票据控制信息科学。46111--136（2015；Zbl 1403.49015）
全文： 内政部
舒慧生;杨华（Yang，Hua）;王子东;Alsaadi，Fuad E。;塔萨瓦·哈亚特

具有模式相关时滞的非线性混合随机系统的几乎必然（H_）滤波。 （英语） Zbl 1395.93547号

J.富兰克林研究所。 352，第11号，4758-4775（2015）.
MSC公司：93E11号机组 93B36型 93立方厘米 93立方 93E03型 60克40 60G44型
PDF格式BibTeX公司 XML格式引用
\textit{H.Shu}等人，J.Franklin Inst.352，No.11，4758-4775（2015；Zbl 1395.93547）
全文： 内政部
戈梅斯·古铁雷斯（David Gomez-Gutiérrez）;谢尔盖·切利科夫斯克;安东尼奥·拉米雷斯·特雷维尼奥;贝纳迪诺·卡斯蒂略-托莱多

关于具有未知切换的连续切换线性系统的观测器设计问题。 （英语） Zbl 1395.93124号

J.富兰克林研究所。 352，第4期，1595-1612（2015）.
MSC公司：93个B07 93立方 93二氧化碳 93亿B51
PDF格式BibTeX公司 XML格式引用
\textit｛D.Gómez-Gutiérrez｝等人，J.Franklin Inst.352，第4号，1595-11612（2015；兹bl 1395.93124）
全文： 内政部
埃蒂安·安德烈（编辑）;戈兰·弗雷斯（编辑）

第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。 （英语） Zbl 1392.68009号

OASIcs–信息学中的OpenAccess系列44.瓦德恩：Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-82-8）。xii，107页。，仅电子版，开放存取（2015年）。
MSC公司：68-06 93-06 60年第68季度 93亿B50 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}（ed.）和\textit{G.Frehse}（edi.），第二届复杂参数合成国际研讨会，SynCoP'15，2015年4月11日，英国伦敦。Wadern:Schloss Dagstuhl--Leibniz Zentrum für Informatik（2015；Zbl 1392.68009）
全文： 内政部 链接
博塔科夫斯基。

最优切换系统的综合。 （英语。俄文原件） Zbl 1391.49047号

J.计算。系统。科学。国际。 54，第5期，715-737（2015）; Izv的翻译。罗斯。阿卡德。特奥尔，瑙克。修女。向上。2015年，第5期，48-72（2015）。
审核人：安德烈·普洛特尼科夫（敖德萨）
MSC公司：49公里21 93立方 49升20
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Bortakovskii}，J.计算。系统。科学。国际54，第5号，715--737（2015；Zbl 1391.49047）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2015年第5期，48--72（2015）
全文： 内政部
秋崎，Takumi;一郎·哈索

MTL的时间鲁棒性和混合系统证伪的表达性。 （英语） Zbl 1381.68142号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第二部分。查姆：施普林格（ISBN 978-3-319-21667-6/pbk；978-3-3169-21668-3/ebook）。计算机科学讲义9207，356-374（2015）。
MSC公司：60年第68季度 03B44号 93B35型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Akazaki}和\textit{I.Hasuo}，Lect。注释计算。科学。9207356--374（2015；Zbl 1381.68142）
全文： 内政部 arXiv公司
邹亮;马丁·范策尔;詹乃军;彼得·纳齐尔·莫萨德

延迟微分方程稳定性和安全性的自动验证。 （英语） Zbl 1381.68188号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第二部分。查姆：施普林格（ISBN 978-3-319-21667-6/pbk；978-3-3169-21668-3/ebook）。《计算机科学讲义》920738-355（2015）。
MSC公司：60年第68季度 34K20码 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Zou}等人，Lect。注释计算。科学。9207338--355（2015；Zbl 1381.68188）
全文： 内政部
本杰明·罗斯曼

单调\（\mathrm{NC}^1）的相关界。 （英语） Zbl 1390.68324号

David Zuckerman（编辑），第30届计算复杂性会议，CCC’15，波特兰，俄勒冈州，美国，2015年6月17日至19日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-81-1）。LIPIcs–莱布尼茨国际信息学论文集33，392-411（2015）。
MSC公司：2017年第68季度 2015年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{B.Rossman}，LIPIcs——莱布尼茨国际程序。通知。33、392--411（2015；Zbl 1390.68324）
全文： 内政部
拉胡尔·桑塔纳姆;莱恩·威廉姆斯

击败了对量化布尔公式和电路复杂性联系的穷尽搜索。 （英语） Zbl 1371.68123号

Indyk，Piotr（编辑），第26届ACM-SIAM离散算法年度研讨会论文集，SODA 2015，加州圣地亚哥波特兰，2015年1月4-6日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）（ISBN 978-1-61197-374-7；978-1-611197-373-0/电子书）。231-241 (2015).
MSC公司：65年第68季度 2015年第68季度 68瓦20 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Santhanam}和\textit{R.Williams}，摘自：第26届ACM-SIAM离散算法年度研讨会论文集，SODA 2015，波特兰，圣地亚哥，CA，2015年1月4-6日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。231--241（2015；Zbl 1371.68123）
全文： 内政部
安东尼奥·阿达尔多;弗朗西斯科·阿德里西奥;戴维·刘扎;史国栋;迪马罗戈纳斯，迪莫斯五世。;马里奥·迪·贝尔纳多;卡尔·亨利克·约翰逊

交换网络的事件触发固定控制。 （英语） Zbl 1370.93143号

IEEE传输。控制网络。系统。 204-213（2015）第2号第2条.
MSC公司：93立方 93甲14
PDF格式BibTeX公司 XML格式引用
\textit{A.Adaldo}等人，IEEE Trans。控制网络。系统。2，第2号，204--213（2015；Zbl 1370.93143）
全文： 内政部
彭，于;王淑玲;詹乃军;张丽君

用概率和随机性扩展混合CSP。 （英语） Zbl 1369.68264号

李宣东（编辑）等，《可靠软件工程：理论、工具和应用》。2015年11月4日至6日，中国南京，SETTA，首届国际研讨会。诉讼程序。查姆：施普林格（ISBN 978-3-319-25941-3/pbk；978-3-3169-25942-0/电子书）。计算机科学课堂讲稿9409，87-102（2015）。
MSC公司：68问题85 60年第68季度 87年第68季度 93立方 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Peng}等人，Lect。注释计算。科学。9409，87-102（2015；Zbl 1369.68264）
全文： 内政部 arXiv公司
布莱莫·查普曼;莱恩·威廉姆斯

电路输入游戏，自然证明，以及用数据测试电路。 （英语） Zbl 1364.68193号

2015年1月11日至13日，以色列Rehovot，ITCS’15第六届理论计算机科学创新会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-333-7）。263-270 (2015).
MSC公司：2005年第68季度 2015年第68季度 2017年第68季度 91A80型 94立方厘米 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Chapman}和\textit{R.Williams}，摘自：《第六届理论计算机科学创新会议论文集》，ITCS’15，以色列Rehovot，2015年1月11-13日。纽约州纽约市：计算机协会（ACM）。263-270（2015年；兹比尔1364.68193）
全文： 内政部
鲁帕克·马朱姆达尔;Vinayak S.普拉布。

计算多边形轨迹之间的斯科罗霍德距离。 （英语） Zbl 1364.93245号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。199-208 (2015).
MSC公司：93B40码 93立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}和\textit{V.S.Prabhu}，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。199-208（2015；Zbl 1364.93245）
全文： 内政部 arXiv公司
肯德拉·莱斯尔;Meeko Oishi先生

部分可观测随机混合系统验证的有限状态近似。 （英语） Zbl 1364.93382号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3433-4）。159-168 (2015).
MSC公司：93立方 93E03型 90立方厘米 90立方厘米 60年第68季度 93个B07
PDF格式BibTeX公司 XML格式引用
\textit｛K.Lesser｝和\textit｛M.Oishi｝，载于：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，美国华盛顿州西雅图，2015年4月14日至16日。纽约州纽约市：计算机协会（ACM）。159-168（2015年；Zbl 1364.93382）
全文： 内政部
戈兰·弗雷斯;塞尔吉·博戈莫洛夫;马吕斯·格雷萨克斯;托马斯·斯特伦普;安德烈亚斯·波德尔斯基

使用支持功能消除可达性中的虚假转换。 （英语） Zbl 1364.93056号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3433-4）。149-158 (2015).
MSC公司：93个B03 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Frehse}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。149-158（2015年；Zbl 1364.93056）
全文： 内政部
费多·什马洛夫;保罗·祖利亚尼

ProbReach：验证随机混合系统的概率增量可访问性。 （英语） Zbl 1366.68183号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。134-139 (2015).
MSC公司：60年第68季度 93立方 93E03型
PDF格式BibTeX公司 XML格式引用
\textit{F.Shmarov}和\textit{P.Zuliani}，in：第18届ACM混合系统国际会议论文集：计算和控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。134-139（2015年；Zbl 1366.68183）
全文： 内政部 arXiv公司
邓毅;A.Agung朱利叶斯;亚历山德罗·迪安诺琴佐

混合系统的概率可诊断性。 （英语） Zbl 1364.68093号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，美国华盛顿州西雅图，2015年4月14日至16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。88-97 (2015).
MSC公司：68米15 93立方 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}等人，《第18届ACM混合系统国际会议论文集：计算与控制》，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。88-97（2015年；Zbl 1364.68093）
全文： 内政部
德文德拉·巴韦;贾·萨加尔;桑卡拉·纳拉亚南·克里希纳;斯文·舍韦;阿舒托什·特里维迪

基于有界速率多模式系统的运动规划。 （英语） Zbl 1364.68246号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。41-50 (2015).
MSC公司：65年第68季度 2017年第68季度 65年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{D.Bhave}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。41-50（2015年；Zbl 1364.68246）
全文： 内政部 arXiv公司
伊恩·米切尔（Ian M.Mitchell）。;沙哈卜·卡纳玛

一种改进的采样数据系统鲁棒安全分析算法。 （英语） Zbl 1364.93443号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3433-4）。21-30 (2015).
MSC公司：93元57 93立方 93B52号 93B40码 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{I.M.Mitchell}和\textit{S.Kaynama}，in：第18届ACM混合系统国际会议论文集：计算和控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。21-30（2015年；兹比尔1364.93443）
全文： 内政部
泰语、杰罗姆语;亚历山大·巴恩（Alexandre M.Bayen）。

多面体混合系统的状态估计及其在公路交通量估计Godunov方案中的应用。 （英语） Zbl 1360.90088号

IEEE传输。自动。控制 60，第2期，311-326（2015）.
MSC公司：90B20型 65平方米 93立方 35L50型 35升65 93E11号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.Thai}和\textit{A.M.Bayen}，IEEE Trans。自动。控制60，No.2，311--326（2015；Zbl 1360.90088）
全文： 内政部
塞缪尔·巴登（Samuel A.Burden）。;亨贝托·冈萨雷斯;拉马纳拉扬·瓦苏德万;巴奇西，鲁泽纳;S.Shankar，萨斯特里

受控混合系统的度量与仿真。 （英语） Zbl 1360.93329号

IEEE传输。自动。控制 60，第9期，2307-2320（2015）.
MSC公司：93立方 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Burden}等人，IEEE Trans。自动。控制60，编号9，2307--2320（2015；Zbl 1360.93329）
全文： 内政部 arXiv公司
阿吉雷·亨南德斯，B。;坎波斯·坎顿（Campos-Cantón），E。;洛佩斯·伦特里亚，J.A。;Díaz González，E.C。

通过切换线性系统生成单参数混沌吸引子族的多项式方法。 （英语） Zbl 1352.93055号

混沌孤立子分形 71, 100-106 (2015).
MSC公司：93立方 93二氧化碳 2005年3月37日 37号35
PDF格式BibTeX公司 XML格式引用
\textit{B.Aguirre-Hernández}等人，混沌孤子分形71，100-106（2015；Zbl 1352.93055）
全文： 内政部
杰弗里·胡莱特（Geoffrey C.Hulette）。;罗伯特·阿姆斯特朗。;杰克逊·R·梅奥。;约瑟夫·鲁思拉夫（Joseph R.Ruthruff）。

数字控制逻辑与连续动力学相互作用的理论证明分析。 （英语） Zbl 1351.68249号

Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，71-83（2015）。
MSC公司：68吨15 60年第68季度 80A99型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.C.Hulette}等人，《电子》。注释Theor。计算。科学。31771--83（2015年；Zbl 1351.68249）
全文： 内政部
尼科斯·阿雷奇加;詹姆斯·卡宾斯基;Jyotirmoy V.德斯穆赫。;安德烈·普拉泽;布鲁斯·克罗格

动力总成控制系统的数字辅助演绎安全证明。 （英语） Zbl 1351.68150号

Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，19-25（2015）。
MSC公司：60年第68季度 68吨15 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛N.Aréchiga｝等人，电子。注释Theor。计算。科学。317、19-25（2015年；Zbl 1351.68150）
全文： 内政部
哈利尔·朱伊利;本哈德·布雷克（Benhadj Braiek，Naceur）

用多夫形概念研究非最小相位切换非线性系统的镇定。 （英语） Zbl 1350.93069号

Commun公司。非线性科学。数字。模拟。 23，编号1-3，282-293（2015）.
MSC公司：93D15号 93D05型 93B18号机组 05年3月34日 93立方 93D20型 2005年第70季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Jouili}和\textit{N.Benhadj Braiek}，Commun。非线性科学。数字。模拟。23，编号1--3，282--293（2015；Zbl 1350.93069）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件