×

找到6个文档(结果1-6)

基于惰性抽象的控制器综合。 (英语) Zbl 1447.93060号

Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11781, 23-47 (2019).
PDF格式BibTeX公司 XML格式引用

采样切换系统分布式控制器的基于游戏的综合。 (英语) 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格式引用
全文: 内政部

使用模型降阶和状态空间对分的切换控制系统的保证控制。 (英语) Zbl 1432.93043号

André,Etienne(编辑)等人,第二届复杂参数合成国际研讨会,SynCoP’15,2015年4月11日,英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 33-47 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段