阿德里安·勒科恩特;劳伦特·弗里堡;乔纳森·瓦彻;拉斐尔·维斯涅夫斯基 随机切换系统的概率可达性与控制综合。 (英语) Zbl 1441.93294号 非线性分析。,混合系统。 36,文章ID 100860,18 p.(2020).MSC公司:93E03型 93个B03 93立方 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Le Coönt}等人,《非线性分析》。,混合系统。36,文章ID 100860,18 p.(2020;Zbl 1441.93294) 全文: 内政部 哈尔
徐凯尔;鲁帕克·马朱姆达尔;考希·马利克;安妮·凯瑟琳·施穆克 基于惰性抽象的控制器综合。 (英语) Zbl 1447.93060号 Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11781, 23-47 (2019).MSC公司:93B30型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Hsu}等人,Lect。注释计算。科学。11781、23-47(2019年;Zbl 1447.93060) 全文: 内政部 arXiv公司
阿德里安·勒科恩特;劳伦特·弗里堡;尼古拉斯·马基;弗洛里安·德·维斯特;卢多维奇·查莫因 状态相关开关控制的合成。 (英语) Zbl 1405.93098号 西奥。计算。科学。 750, 53-68 (2018).MSC公司:93亿B50 93立方 93C55美元 93个B03 93立方厘米 93B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Le Coönt}等人,Theor。计算。科学。750、53-68(2018年;Zbl 1405.93098) 全文: 内政部
阿德里安·勒科恩特;亚历山大·迪特·桑德雷托,朱利安;亚历山大·查普托;劳伦特·弗里堡 非线性采样切换系统控制综合的一种改进算法。 (英语) Zbl 1428.93053号 形式方法系统。设计。 53,第3期,363-383(2018).MSC公司:93立方 93个B03 93立方厘米 93亿B50 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Le Coönt}等人,《形式方法系统》。设计。53,第3号,363--383(2018;Zbl 1428.93053) 全文: 内政部 哈尔
劳伦特·弗里堡;乌尔里希·库恩;尼古拉斯·马基 采样切换系统分布式控制器的基于游戏的综合。 (英语) Zbl 1429.93105号 André,Etienne(编辑)等人,第二届复杂参数合成国际研讨会,SynCoP’15,2015年4月11日,英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 48-62 (2015).MSC公司:93亿B50 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}等人,OASIcs--OpenAccess服务器。通知。44、48-62(2015年;Zbl 1429.93105) 全文: 内政部
阿德里安·勒科恩特;弗洛里安·德·维斯特;克里斯蒂安·雷伊;卢多维奇·查莫因;劳伦特·弗里堡 使用模型降阶和状态空间对分的切换控制系统的保证控制。 (英语) Zbl 1432.93043号 André,Etienne(编辑)等人,第二届复杂参数合成国际研讨会,SynCoP’15,2015年4月11日,英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 33-47 (2015).MSC公司:93B11号机组 93立方 93个B03 第93天05 PDF格式BibTeX公司 XML格式引用 \textit{A.Le Coönt}等人,OASIcs--OpenAccess Ser。通知。44,33-47(2015年;兹比尔1432.93043) 全文: 内政部