×

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

最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 (英语) Zbl 1460.93031号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 203-221 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有最小观测功率的控制器(应用于定时系统)。 (英语) Zbl 1374.68255号

Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561223-237(2012)。
PDF格式BibTeX公司 XML格式引用

鲁棒和最优控制器的自动综合——一个工业案例研究。 (英语) Zbl 1237.93058号

Majumdar,Rupak(编辑)等人,《混合系统:计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00601-2/pbk)。计算机科学课堂讲稿5469,90-104(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段