乔瓦尼·巴奇;帕特里夏·鲍耶;乌里法伦伯格;Larsen,Kim G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 使用具有不确定性的能量时间自动机的最优鲁棒控制器综合。 (英语) Zbl 1458.93072号 正式Asp。计算。 33,编号1,3-25(2021).MSC公司:93亿B50 65年第68季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《正式Asp》。计算。33,编号1,3--25(2021;Zbl 1458.93072) 全文: 内政部 arXiv公司
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里法伦伯格;金·古德斯特兰·拉森;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 (英语) Zbl 1460.93031号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 203-221 (2018).MSC公司:93亿B50 65年第68季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。10951,203-221(2018;Zbl 1460.93031) 全文: 内政部
王秋叶;李,杨佳;夏碧灿;詹乃军 生成非自治多项式混合系统的半代数不变量。 (英语) Zbl 1420.68244号 J.系统。科学。复杂。 30,编号1234-252(2017).MSC公司:68瓦30 93B25型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}等人,J.Syst。科学。复杂。30,第1号,234--252(2017;Zbl 1420.68244) 全文: 内政部
甘婷;戴丽云;夏碧灿;詹乃军;卡普尔,迪帕克;陈明帅 二次多项式不等式的插值综合及与EUF的结合。 (英语) Zbl 1475.03072号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 195-212 (2016).MSC公司:03B35型 03C40号 60年第68季度 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{T.Gan}等人,Lect。注释计算。科学。9706195--212(2016;Zbl 1475.03072) 全文: 内政部 arXiv公司
詹乃军;王淑玲;赵恒军 混合系统的形式化建模、分析和验证。 (英语) Zbl 1444.68105号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).MSC公司:60年第68季度 03B70号 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}等人,Lect。注释计算。科学。8050207--281(2013;Zbl 1444.68105) 全文: 内政部
赵恒军;詹乃军;卡普尔,迪帕克 通过生成不变量来综合混合系统的开关控制器。 (英语) 兹比尔1390.68316 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,354-373(2013)。MSC公司:2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhao}等人,Lect。注释计算。科学。8051、354--373(2013;Zbl 1390.68316) 全文: 内政部 arXiv公司