×

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

最新 引文 关联
陈景凯;布莱恩·威廉姆斯。;樊楚楚

线性混杂系统的最优混合离散连续规划。 （英语） 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公司
塞尔吉·博戈莫洛夫;戈兰弗雷斯;米尔科·贾科布;托马斯·亨辛格（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）
全文： 内政部 链接
大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅

应用于机器人手术的形式验证。 （英语） 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）
全文： 内政部
邦廷斯，马提亚斯;Jens-W.希克。;弗兰克·艾格特;乌苏拉·戈尔茨

混合自动机作为行为科学中的建模方法。 （英语） Zbl 1334.68114号

Fränzle，Martin（ed.）等人，混合自治系统第一次研讨会会议记录，德国萨尔布吕肯，2013年6月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记297，47-59（2013）。
MSC公司：65年第68季度 91E99型 92D40型 92D50型
PDF格式BibTeX公司 XML格式引用
\textit{M.Buntins}等人，《电子》。注释Theor。计算。科学。297、47-59（2013年；Zbl 1334.68114）
全文： 内政部
帕拉萨拉·斯里达尔·达吉拉拉;Mitra，萨扬

混合系统必然性的李雅普诺夫抽象。 （英语） Zbl 1361.68145号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。115-123 (2012).
MSC公司：60年第68季度 34A38型 65年第68季度 93立方 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{P.S.Duggirala}和\textit{S.Mitra}，in：第十五届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。115-123（2012；Zbl 1361.68145）
全文： 内政部
马西莫·贝内雷切蒂;马可·费拉;斯特凡诺·米诺波利

线性混合系统的可达性博弈。 （英语） Zbl 1361.68116号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。65-74 (2012).
MSC公司：65年第68季度 34A60型 91A80型 93B40码 93B50个 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Benerecetti}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。65-74（2012年；Zbl 1361.68116）
全文： 内政部
达姆，沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨

具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 （英语） Zbl 1243.68212号

科学。计算。程序。 77，编号10-11122-1150（2012）.
MSC公司：60年第68季度 65年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{W.Damm}等人，科学。计算。程序。77，No.10--111122--1150（2012；Zbl 1243.68212）
全文： 内政部
简·大卫·奎塞尔;马丁·范策尔;达姆，沃纳

跨越类似游戏之间的桥梁。 （英语） 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）
全文： 内政部
穆罕默德·法提·卡鲁伊;哈萨内·阿拉;阿卜杜拉扎克·查蒂

用矩形混合自动机监测动态过程。 （英语） Zbl 1209.37012号

非线性分析。，混合系统。 4，第4期，766-774（2010）.
审核人：吉隐藏Kozai（东京杉乐美）
MSC公司：37B15号机组 93立方厘米 37号35
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Karoui}等人，《非线性分析》。，混合系统。4，第4号，766--774（2010；Zbl 1209.37012）
全文： 内政部
塞尔吉·博戈莫洛夫;科琳娜·米特罗欣;安德烈亚斯·波德尔斯基

组成混合系统的可达性分析，以确保安全性和稳定性。 （英语） Zbl 1305.68110号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。2010年9月21日至24日，第八届国际研讨会，亚洲电视协会，新加坡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15642-7/pbk）。计算机科学讲义6252，67-81（2010）。
MSC公司：65年第68季度 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Bogomolov}等人，Lect。注释计算。科学。6252、67--81（2010年；Zbl 1305.68110）
全文： 内政部
Baeten，J.C.M。;范·比克，D.A。;P.J.L.Cuijpers。;Reniers，医学硕士。;罗达，J.E。;R.R.H.希弗勒。;托尼森，R.J.M。

基于模型的嵌入式系统工程使用混合进程代数Chi。 （英语） Zbl 1279.68245号

Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209，21-53（2008）。
MSC公司：68问题85 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.C.M.Baeten}等人，《电子》。注释Theor。计算。科学。209、21-53（2008年；Zbl 1279.68245）
全文： 内政部
苏米特·库马尔·贾阿

d-IRA：用于分析线性混合自动机的分布式可达性算法。 （英语） Zbl 1144.93310号

Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981618-621（2008）。
MSC公司：93B40码 65年第68季度 60年第68季度 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Jha}，莱克特。注释计算。科学。4981618--621（2008年；Zbl 1144.93310）
全文： 内政部
范·比克，D.A。;罗达，J.E。;R.R.H.希弗勒。;曼，K.L。;Reniers，医学硕士。

将混合气与其他形式主义联系起来。 （英语） Zbl 1277.68149号

Romijn，Judi（编辑）等人，第五届综合正式方法会议（IFM 2005）附属博士研讨会论文集，荷兰埃因霍温，2005年11月29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记191，85-113（2007）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.A.van Beek}等人，《电子》。注释Theor。计算。科学。191、85-113（2007年；Zbl 1277.68149）
全文： 内政部
李宣东;苏米特·贾·安纳德;卜、雷

针对线性混合系统的有界可达性分析，提出了一种高效的面向路径的工具。 （英语） Zbl 1277.68139号

Strichman，Ofer（ed.）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），美国华盛顿州西雅图，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，57-70（2007）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Li}等人，《电子》。注释Theor。计算。科学。174，第3号，57--70（2007；Zbl 1277.68139）
全文： 内政部
苏斯米特·贾;布莱恩·布雷迪（Bryan A.Brady）。;Sanjit A.Seshia。

惰性线性混合自动机的符号可达性分析。 （英语） Zbl 1141.93352号

Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763241-256（2007）。
MSC公司：93立方 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Jha}等人，Lect。注释计算。科学。4763、241--256（2007年；Zbl 1141.93352）
全文： 内政部
戈兰弗雷斯

关于混合系统的时间仿真关系和组成。 （英语） Zbl 1141.68434号

Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，法国巴黎，2006年9月25日至27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学课堂讲稿4202200-214（2006）。
MSC公司：65年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Frehse}，莱克特。注释计算。科学。4202200--214（2006；Zbl 1141.68434）
全文： 内政部
劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。;Jean-François拉斯金

仿射混合系统的自动矩形精化。 （英语） Zbl 1175.68243号

Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829144-161（2005）。
MSC公司：65年第68季度 60年第68季度 93立方厘米 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Doyen}等人，Lect。注释计算。科学。3829144-161（2005；Zbl 1175.68243）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件