彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen 蒙特卡罗树搜索定价时间自动机。 (英语) 兹比尔1522.68273 布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).MSC公司:65年第68季度 68T20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13479,381--398(2022;Zbl 1522.68273) 全文: 内政部
张奎泽 幺半群上标记加权自动机的可检测性。 (英语) Zbl 1524.68180号 离散事件动态。系统。 32,第3期,435-494(2022年).MSC公司:65年第68季度 65年第68季度 68问题85 90立方厘米 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang},离散事件动态。系统。32,编号3,435--494(2022;Zbl 1524.68180) 全文: 内政部 arXiv公司
Saddem-yagoubi,环;奥利维尔·诺德;凯伦·戈达里·德杰恩;迪迪埃·克雷斯塔尼 模型检验精准农业物流:差异收获的案例。 (英语) Zbl 1456.91067号 离散事件动态。系统。 30,第4号,579-604(2020).MSC公司:91B76号 93亿B50 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Saddem-yagoubi}等人,离散事件动力学。系统。30,第4号,579--604(2020;Zbl 1456.91067) 全文: 内政部
马格纳斯·佩宁 有限时滞切换问题的一个双尺度格式。 (英语) Zbl 1430.93132号 Automatica公司 112,文章ID 108709,第9页(2020年).MSC公司:93立方厘米 93立方 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Perninge},Automatica 112,文章ID 108709,9 p.(2020;Zbl 1430.93132) 全文: 内政部
刘易斯·托洛宁;法语,蒂姆;马克·雷诺兹 基于人口的方法优化时间自动机的无限行为。 (英语) Zbl 1487.68217号 Alechina,Natasha(编辑)等人,第25届时间表征和推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120,第22条,第22页(2018年)。MSC公司:68T20型 65年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{L.Tolonen}等人,LIPIcs——莱布尼茨国际程序。通知。120,第22条,22 p.(2018;Zbl 1487.68217) 全文: 内政部
梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) Zbl 1400.68126号 西奥。计算。科学。 744, 143-169 (2018).MSC公司:60年第68季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Schwammberger},Theor。计算。科学。744143-169(2018;Zbl 1400.68126) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);梅克·施瓦姆伯格 用时间自动机形式化危险警告通信协议。 (英语) Zbl 1431.68011号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 640-660 (2017).MSC公司:68个M12 65年第68季度 90B20型 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{M.Schwammberger},莱克特。注释计算。科学。10460、640--660(2017;Zbl 1431.68011) 全文: 内政部
穆罕默德·哈提卜;安托万·吉拉德;Thao Dang先生 定时合同下嵌入式控制器的调度。 (英语) 兹比尔1369.93359 2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。131-140 (2017).MSC公司:93元57 65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Al-Khatib}等人,《第20届ACM混合系统国际会议论文集:计算与控制》,HSCC 2017,匹兹堡,宾夕法尼亚州,美国,2017年4月18-20日。纽约州纽约市:计算机协会(ACM)。131-140(2017年;Zbl 1369.93359) 全文: 内政部 哈尔
马丁·希尔舍尔;梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) 兹比尔1401.68199 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格(ISBN 978-3-319-46749-8/pbk;978-3-3169-46750-4/电子书)。计算机科学讲座笔记9965,274-292(2016)。MSC公司:60年第68季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hilscher}和\textit{M.Schwammberger},莱克特。注释计算。科学。9965274-292(2016年;Zbl 1401.68199) 全文: 内政部
孙景浩;孟亚坤;谭国珍;孙景昌 用时间自动机解决时变邮递员问题。 (英语) Zbl 1330.90124号 最佳方案。方法软件。 30,第4期,804-824(2015).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Sun}等人,Optim。方法软件。30,第4号,804--824(2015;Zbl 1330.90124) 全文: 内政部
Nishi、Tatsushi;Masato Wakatake公司 求解调度问题的时间自动机分解。 (英语) 兹比尔132090032 国际期刊系统。科学。,普林克。申请。系统。集成。 45,第3期,472-486(2014).MSC公司:90B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Nishi}和\textit{M.Wakatake},国际期刊系统。科学。,普林克。申请。系统。集成。45,第3号,472--486(2014;Zbl 1320.90032) 全文: 内政部
泽维尔·阿拉米吉恩;乌里法伦伯格;圣埃芬·高伯特;里卡多·D·卡茨。;Legay、Axel 热带Fourier-Motzkin消除,应用于实时验证。 (英语) Zbl 1301.90069号 国际代数计算杂志。 24,第5期,569-607(2014).MSC公司:90C25型 15A80型 91A46型 90立方厘米 68问题85 52A01级 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,《国际代数计算》。24,编号5,569-607(2014年;兹bl 1301.90069) 全文: 内政部 arXiv公司
谭国珍;孙景浩;王宝才;姚伟红 用时间自动机求解时变网络上的中国邮递员问题。 (中文。英文摘要) Zbl 1265.68095号 J.软件。 22,第6期,1267-1280(2011).MSC公司:65年第68季度 90立方厘米 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Tan}等人,J.Softw。22,第6号,1267--1280(2011;Zbl 1265.68095) 全文: 内政部
布鲁诺·维维亚纳;卢兹·加西亚;塞尔吉奥·诺科;斯特凡诺·奎尔 强调飞机维修优化中的符号调度技术。 (英语) Zbl 1162.90468号 J.满意。布尔模型。计算。 5,编号1-4,83-110(2009).MSC公司:90B35型 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Viviana}等人,J.Satisfe。布尔模型。计算。5,编号1--4,83-110(2009;Zbl 1162.90468)
斯蒂芬妮·盖斯特;德米特里·格罗莫夫;约格·莱斯 具有连续输出的并行生产线的时间离散事件控制。 (英语) Zbl 1395.90146号 离散事件动态。系统。 18,第2期,241-262(2008).MSC公司:90B35型 65年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{S.Geist}等人,离散事件动态。系统。18,第2号,241--262(2008;Zbl 1395.90146) 全文: 内政部
帕特里夏·鲍耶;埃德·布林克斯马;Larsen,Kim G。 多值时间自动机的最优无限调度。 (英语) Zbl 1133.68360号 形式方法系统。设计。 32,第1号,3-23(2008).MSC公司:65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《形式方法系统》。设计。32,编号1,3--23(2008年;兹bl 1133.68360) 全文: 内政部
普罗迪普·布瓦尔;迪班卡·萨尔卡;悉达多·穆霍帕迪亚;阿努帕姆·巴苏 离散时间混合系统的故障诊断——案例研究。 (英语) Zbl 1121.93041号 信息科学。 177,第5期,1290-1308(2007).MSC公司:93C55美元 90B25型 93E10型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bhowal}等人,《信息科学》。177,第5号,1290--1308(2007;Zbl 1121.93041) 全文: 内政部
李,林;蒋志斌 虚拟生产系统混合监控结构的形式化设计与分析。 (英语) Zbl 1122.90340号 国际J.生产研究。 44,第13号,2479-2497(2006).MSC公司:90B30型 90B35型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Li}和textit{Z.Jiang},国际期刊生产研究44,第13号,2479--2497(2006;Zbl 1122.90340) 全文: 内政部
帕特里夏·鲍耶;埃德·布林克斯马;Larsen,Kim G。 以尽可能低的成本生存。 (英语) Zbl 1135.93352号 Alur,Rajeev(编辑)等人,《混合系统:计算和控制》。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21259-0/pbk)。计算机科学课堂讲稿2993203-218(2004)。MSC公司:93C83号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。2993203--218(2004年;Zbl 1135.93352) 全文: 内政部
塞巴斯蒂安·帕内克;奥拉夫·斯特斯伯格;塞巴斯蒂安·恩格尔 使用混合整数规划优化时间自动机模型。 (英语) 兹比尔1099.68674 Larsen,Kim G.(编辑)等,时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-21671-5/pbk)。计算机科学课堂讲稿279173-87(2004)。MSC公司:68问题85 65年第68季度 90B35型 90立方厘米11 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{S.Panek}等人,Lect。注释计算。科学。2791、73--87(2004年;Zbl 1099.68674) 全文: 内政部
格德·贝尔曼;Fehnker,Ansgar公司;托马斯·匈奴;金·拉森;保罗·佩特森 定价时间自动机的最低成本可达性。 (英语) Zbl 0991.68037号 Di Benedetto,Maria Domenica(编辑)等人,《混合系统:计算和控制》。第四届国际研讨会,2001年HSCC,意大利罗马,2001年3月28日至30日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2034, 147-161 (2002).MSC公司:65年第68季度 90C27型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人,Lect。注释计算。科学。2034147-161(2002;Zbl 0991.68037) 全文: 链接
彼得·尼伯特;塞尔吉奥·尤文 计算化工厂多批次模式下的高效运行方案。 (英语) Zbl 1293.93526号 欧洲药典控制 第7期,第440-453期(2001年).MSC公司:93元65角 90B30型 90B36型 PDF格式BibTeX公司 XML格式引用 \textit{P.Niebert}和\textit{S.Yovine},《欧洲期刊》第7卷,第4期,第440-453页(2001年;Zbl 1293.93526) 全文: 内政部
北迪帕·潘达莱。;拉里·霍洛韦(Larry E.Holloway)。 定时离散事件过程故障监测的模板语言。 (英语) Zbl 0979.93071号 IEEE传输。自动化。控制 45,第5期,868-882(2000). 审核人:卡尔·海因茨·沃尔德曼(卡尔斯鲁厄) MSC公司:93元65角 90B25型 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{D.N.Pandalai}和\textit{L.E.Holloway},IEEE Trans。自动化。控件45,编号5,868--882(2000;Zbl 0979.93071) 全文: 内政部
彼得·尼伯特;塞尔吉奥·尤文 计算化工厂多批次模式下的最优运行方案。 (英语) Zbl 0984.93061号 Lynch,Nancy(编辑)等人,《混合系统:计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1790, 338-351 (2000). 审核人:Ingmar Randvee(塔林) MSC公司:93立方厘米 93元65角 93C83号 90B30型 93个B03 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{P.尼伯特}和\textit{S.约文},莱克特。注释计算。科学。1790、338--351(2000;Zbl 0984.93061)