×

找到25个文档（结果1-25）

最新 引文 关联
皮尔雷·梅耶（Pierre-Jean Meyer）;亚历克斯·德文波特;穆拉特·阿卡克

TIRA：区间可达性分析工具箱。 （英语） Zbl 07120158号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。224-229 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.-J.Meyer}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。224--229（2019；Zbl 07120158）
全文： 内政部 arXiv公司
塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰弗雷斯;科斯蒂安·波托姆金;克里斯蒂安·席林

JuliaReach：基于集合的可达性工具箱。 （英语） Zbl 07120139号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。39-44 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛S.Bogomolov｝等人，在：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。39-44（2019年；兹bl 07120139）
全文： 内政部 arXiv公司
纳瓦罗·洛佩斯，E.M。;医学博士O'Toole。

多刚体机械系统混合自动机的自动生成及其在安全特性伪造中的应用。 （英语） Zbl 1485.93277号

数学。计算。模型。动态。系统。 24，第1号，44-75（2018）.
MSC公司：93立方 2005年第70季度 92-08
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Navarro-López}和\textit{M.D.O'Toole}，数学。计算。模型。动态。系统。24，第1号，44--75（2018；Zbl 1485.93277）
全文： 内政部
塞尔吉·博戈莫洛夫;戈兰弗雷斯;米尔科·贾科布;托马斯·亨辛格（Thomas A.Henzinger）。

模板多面体的反例引导细化。 （英语） Zbl 1452.68099号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 589-606 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bogomolov}等人，Lect。注释计算。科学。10205、589--606（2017；Zbl 1452.68099）
全文： 内政部 链接
斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉

基于严格仿真的线性混合系统分析。 （英语） 兹比尔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）
全文： 内政部 链接
亨德里克·罗姆;延斯·奥勒金;马蒂亚斯·沃尔;马蒂亚斯·阿尔霍夫

混合自动机的Reachset一致性测试。 （英语） 兹比尔1366.68181

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3955-1）。277-286 (2016).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Roehm}等人，in：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。277--286（2016年；Zbl 1366.68181）
全文： 内政部 链接
斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格（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平方英寸
PDF格式BibTeX公司 XML格式引用
\textit{S.Bak}等人，in：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。155-164（2016年；Zbl 1364.68243）
全文： 内政部
大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅

应用于机器人手术的形式验证。 （英语） Zbl 1403.93140号

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

混合系统验证介绍阿里阿德涅. （英语） 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；Zbl 1403.93108）
全文： 内政部
斯坦利·巴克;塞尔吉·博戈莫洛夫;泰勒·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｝等人，《第18届ACM混合系统国际会议论文集：计算与控制》，HSCC 2015，美国华盛顿州西雅图，2015年4月14日至16日。纽约州纽约市：计算机协会（ACM）。128-133（2015年；Zbl 1364.68244）
全文： 内政部
塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基

混合自动机中的准相关变量。 （英语） 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）
全文： 内政部 链接
蒂莫西·布鲁克;马克·普泽特

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）
全文： 内政部
泰勒·T·约翰逊。;格林，杰里米;Mitra，萨扬;雷切尔·达德利;理查德·斯科特·埃尔文

卫星交会和避免会合：非线性混合系统验证中的案例研究。 （英语） Zbl 1372.68172号

Giannakopoulou，Dimitra（编辑）等人，FM 2012：形式方法。第18届国际研讨会，法国巴黎，2012年8月27日至31日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32758-2/pbk）。计算机科学课堂讲稿7436，252-266（2012）。
MSC公司：60年第68季度 65年第68季度 93立方 93C85号
PDF格式BibTeX公司 XML格式引用
\textit｛T.T.Johnson｝等人，Lect。注释计算。科学。7436252-266（2012年；兹bl 1372.68172）
全文： 内政部
胡萨姆·阿巴斯;乔治·费内科斯

通过局部搜索实现线性混合系统伪造。 （英语） 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立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{H.Abbas}和\textit{G.Fainekos}，莱克特。注释计算。科学。6996、503--510（2011；Zbl 1348.68087）
全文： 内政部 arXiv公司
简·大卫·奎塞尔;马丁·范策尔;达姆，沃纳

跨越类似游戏之间的桥梁。 （英语） 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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件