×

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

最新的 引文 关联
罗、二台；尼古拉斯·科奇杜普尔；斯坦利·巴克

利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 （英语） Zbl 07807958号

第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，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）
全文： DOI程序
Tran，Hoang Dung村；Choi、Sung Woo；杨晓东；山口，富古屋；巴德省霍克萨；丹尼尔·普罗霍罗夫

具有星可达性的递归神经网络的验证。 （英语） Zbl 07807947号

第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.D.Tran}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号论文，第13页（2023；Zbl 07807947）
全文： DOI程序
杨晓东；汤姆·山口；Tran，Hoang-Dung村；巴德霍查；泰勒·T·约翰逊。；丹尼尔·普罗霍罗夫

具有可达性分析的神经网络修复。 （英语） Zbl 07643437号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 221-236 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{X.Yang}等人，Lect。注释计算。科学。13465、221--236（2022；Zbl 07643437）
全文： DOI程序 arXiv公司 链接
尼古拉斯·科奇杜普尔；费利克斯·格鲁伯；巴斯蒂安·舒尔曼；维克托·加曼；莫里茨·克利沙特；马蒂亚斯·阿尔特霍夫

AROC：用于自动可达集最优控制器综合的工具箱。 （英语） Zbl 07807696号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第23号论文，第6页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Kochdumper}et al.，in：第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第23号论文，第6页（2021；Zbl 07807696）
全文： DOI程序
马克·韦兹林格；阿德里安·库姆伯格；马蒂亚斯·阿尔特霍夫

非线性系统可达性分析的自适应参数整定。 （英语） Zbl 07807689号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第16号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Wetzlinger}等人，in：第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第16号论文，第11页（2021；Zbl 07807689）
全文： DOI程序 链接
米哈伊尔·拉斯金；查纳·韦尔·肯尼迪；哈维尔·埃斯帕尔扎

即时观察Petri网的平坦性和复杂性。 （英语） 兹标07559501

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第45条，第19页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Raskin}等人，LIPIcs——莱布尼茨国际程序。通知。171，第45条，第19页（2020；Zbl 07559501）
全文： DOI程序 arXiv公司
塞尔吉·博戈莫洛夫；前言，马塞洛；科斯蒂安·波托姆金

案例研究：统一作战指挥与控制模型中的可达性和可扩展性。 （英语） Zbl 07368097号

Schmitz，Sylvain（编辑）等人，《可达性问题》。第14届国际会议，RP 2020，法国巴黎，2020年10月19-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12448，52-66（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Bogomolov}等人，Lect。注释计算。科学。12448，52-66（2020；Zbl 07368097）
全文： DOI程序
卡琳娜·皮尔奇；阿恩·哈特曼斯；安妮·雷姆克

具有随机触发的混合Petri网的经典和非营养模型检验。 （英语） Zbl 07300851号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第10条，第11页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{C.Pilch}等人，in：第23届ACM混合系统国际会议论文集：计算和控制，HSCC 2020，澳大利亚悉尼和虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第10条，第11页（2020；Zbl 07300851）
全文： DOI程序 链接
埃尔哈基姆，维克托里奥·S。；Marco J.G.Bekooij。

混合自动机可达性分析中分解聚集的动态感知子空间识别。 （英语） Zbl 07300844号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第3条，第11页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{V.S.el Hakim}和\textit{M.J.G.Bekooij}，摘自：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第3条，第11页（2020；Zbl 07300844）
全文： DOI程序
尼古拉斯·科奇杜普尔；巴斯蒂安·舒尔曼；马蒂亚斯·阿尔特霍夫

利用依赖关系获得可达集的子集。 （英语） Zbl 07300842号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第1条，第10页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Kochdumper}等人，在：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼和虚拟，2020年4月21-24日。纽约州纽约市：计算机协会（ACM）。第1条，第10页（2020；Zbl 07300842）
全文： DOI程序 arXiv公司
哈维尔·埃斯帕尔扎；米哈伊尔·拉斯金；查纳·韦尔·肯尼迪

即时观测Petri网的参数化分析。 （英语） Zbl 07796233号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 365-385 (2019).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{J.Esparza}等人，Lect。注释计算。科学。11522365-385（2019年；兹bl 07796233）
全文： DOI程序 arXiv公司
高嘉伟

关于多树和有界树宽DAG中最小权子序列的精细复杂度。 （英语） Zbl 07650224号

Jansen，Bart M.P.（编辑）等人，第14届参数化和精确计算国际研讨会，2019年IPEC，德国慕尼黑，2019月11日至13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。148，第16条，第17页（2019年）。
MSC公司：65年第68季度 68年第27季度 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Gao}，LIPIcs——莱布尼茨国际程序。通知。148，第16条，第17页（2019年；Zbl 07650224）
全文： DOI程序
简·Křetínsk；托拜厄斯·梅根多夫

核心：马尔可夫决策过程的部分探索框架。 （英语） Zbl 07649913号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第5条，第17页（2019年）。
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínsk曬}和\textit{T.Meggendorfer}，LIPIcs——莱布尼茨国际程序。通知。140，第5条，第17页（2019年；Zbl 07649913）
全文： DOI程序
苗族、东靖；蔡志鹏

关于可达性降低的硬度。 （英语） Zbl 07172860号

杜定珠（编辑）等，《计算与组合学》。第25届国际会议，COCOON 2019，中国西安，2019年7月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11653, 445-455 (2019).
MSC公司：68兰特 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Miao}和\textit{Z.Cai}，Lect。注释计算。科学。11653、445--455（2019年；Zbl 07172860）
全文： DOI程序
文茨拉夫·乔涅夫

增广区间马尔可夫链的可达性。 （英语） Zbl 07121138号

Filiot，Emmanuel（编辑）等人，《可达性问题》。第十三届国际会议，RP 2019，比利时布鲁塞尔，2019年9月11-13日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11674, 79-92 (2019).
MSC公司：68问题85 60J20型 2017年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{V.Chonev}，莱克特。注释计算。科学。11674、79-92（2019年；Zbl 07121138）
全文： DOI程序 arXiv公司
伊恩·米切尔（Ian M.Mitchell）。；雅各布·巴兹斯；安德烈·博利亚切韦

海报摘要：不变量、生存性和通过分区缩放进行的区分内核近似。 （英语） Zbl 07120167号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。268-269 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{I.M.Mitchell}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。268--269（2019；Zbl 07120167）
全文： DOI程序
Souradeep杜塔；陈欣；苏斯米特·贾；桑卡拉纳拉亚南，斯里拉姆；阿什什·蒂瓦里

演示摘要：Sherlock–用于验证神经网络反馈系统的工具。 （英语） 兹伯利07120164

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。262-263 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Dutta}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。262--263（2019年；Zbl 07120164）
全文： DOI程序
皮尔雷·梅耶（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）
全文： DOI程序 arXiv公司
Souradeep杜塔；陈欣；桑卡拉纳拉亚南，斯里拉姆

基于回归多项式规则推理的神经反馈系统可达性分析。 （英语） Zbl 07120151号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。157-168 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛S.Dutta｝等人，《第22届ACM混合系统国际会议论文集：计算与控制》，HSCC 2019，加拿大魁北克省蒙特利尔市，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。157-168（2019年；Zbl 07120151）
全文： DOI程序
塞尔吉·博戈莫洛夫；前言，马塞洛；戈兰·弗雷斯；科斯蒂安·波托姆金；克里斯蒂安·席林

JuliaReach：基于集合的可达性工具箱。 （英语） 兹伯利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}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。39-44（2019年；Zbl 07120139）
全文： DOI程序 arXiv公司
埃里克·古堡；Sylvie推杆

控制系统验证的内部和外部可达性。 （英语） Zbl 07120136号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。11-22 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Goubault}和\textit{S.Putot}，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。11-22（2019；Zbl 07120136）
全文： DOI程序
塞尔吉·博戈莫洛夫；戈兰·弗雷斯；阿米特·古龙；李东旭；乔治·马蒂乌斯；Rayarshi Ray

使用符号可达性和轨迹拼接对混合系统进行伪造。 （英语） Zbl 07120135号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。1-10 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Bogomolov}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。1-10（2019；Zbl 07120135）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件