×

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

最新 引文 关联
尼古拉斯·科奇杜普尔;费利克斯·格鲁伯;巴斯蒂安·舒尔曼;维克托·加曼;莫里茨·克利沙特;马蒂亚斯·阿尔霍夫

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）
全文： 内政部
马克·韦兹林格;阿德里安·库姆伯格;马蒂亚斯·阿尔霍夫

非线性系统可达性分析的自适应参数整定。 （英语） 兹伯利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）
全文： 内政部 链接
尼古拉斯·科奇杜普尔;巴斯蒂安·舒尔曼;马蒂亚斯·阿尔霍夫

利用依赖关系来获得可达集的子集。 （英语） 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}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第1条，第10页（2020；Zbl 07300842）
全文： 内政部 arXiv公司
巴斯蒂安·舒尔曼;里卡多·维格纳利;玛丽亚·普兰迪尼;马蒂亚斯·阿尔霍夫

具有状态和驱动约束的扰动分段仿射系统的基于集合的控制。 （英语） Zbl 1441.93167号

非线性分析。，混合系统。 36，文章ID 100826，17 p.（2020）.
MSC公司：93C55美元 第93页第52页 93英镑
PDF格式BibTeX公司 XML格式引用
\textit{B.Schürmann}等人，《非线性分析》。，混合系统。36，文章ID 100826，第17页（2020；兹bl 1441.93167）
全文： 内政部 链接
阿尔伯特·里扎尔迪;费比安·伊姆勒;巴斯蒂安·舒尔曼;马蒂亚斯·阿尔霍夫

一种经过正式验证的自动车辆运动规划器。 （英语） Zbl 1517.68251号

Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。2018年10月7日至10日，美国加利福尼亚州洛杉矶，第16届国际研讨会，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 75-90 (2018).
MSC公司：60年第68季度 68T40型 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{A.Rizaldi}等人，Lect。注释计算。科学。11138，75-90（2018；Zbl 1517.68251）
全文： 内政部 链接
亨德里克·罗姆;延斯·奥勒金;托马斯·海因茨;马蒂亚斯·阿尔霍夫

连续和混合系统的STL模型检查。 （英语） Zbl 1398.68347号

Artho，Cyrille（编辑）等人，《用于验证和分析的自动化技术》。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。查姆：施普林格（ISBN 978-3-319-46519-7/pbk；978-3-3169-46520-3/电子书）。计算机科学讲义9938，412-427（2016）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Roehm}等人，Lect。注释计算。科学。9938412--427（2016年；Zbl 1398.68347）
全文： 内政部 链接
亨德里克·罗姆;延斯·奥勒金;马蒂亚斯·沃尔;马蒂亚斯·阿尔特霍夫

混合自动机的Reachset一致性测试。 （英语） Zbl 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）
全文： 内政部 链接
马蒂亚斯·阿尔霍夫

使用保守多项式和非凸集对非线性系统进行可达性分析。 （英语） Zbl 1362.93011号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。173-182 (2013).
MSC公司：93英镑 34A38型 34A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Althoff}，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。173-182（2013；Zbl 1362.93011）
全文： 内政部 链接
马蒂亚斯·阿尔霍夫;布鲁斯·克罗。

混合系统可达性分析中避免几何交集运算。 （英语） Zbl 1362.93012号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。45-54（2012年）。
MSC公司：93英镑 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Althoff}和\textit{B.H.Krogh}，in：第十五届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。45-54（2012；Zbl 1362.93012）
全文： 内政部 链接
马蒂亚斯·阿尔霍夫;科拉斯·勒格尔尼奇;布鲁斯·H·克罗。

不确定时变线性系统的可达集计算。 （英语） Zbl 1362.93013号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。93-102 (2011).
MSC公司：93英镑 93B40码
PDF格式BibTeX公司 XML格式引用
\textit{M.Althoff}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。93-102（2011；Zbl 1362.93013）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件