×

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

多边形混杂系统状态空间约简的静态分析。 (英语) Zbl 1141.68438号

Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202306-321(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于混合系统的时间仿真关系和组成。 (英语) Zbl 1141.68434号

Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202200-214(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合自动机的抽象可观察性。 (英语) Zbl 1178.68309号

Hespanha,Joáo(编辑)等人,《混合系统:计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33170-0/pbk)。计算机科学课堂讲稿3927169-183(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

解不完全信息博弈的格理论。 (英语) Zbl 1178.93072号

Hespanha,Joáo(编辑)等人,《混合系统:计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33170-0/pbk)。计算机科学课堂讲稿3927153-168(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

积分连续时间混合自动机的基于事件的模型预测控制与验证。 (英语) Zbl 1178.68306号

Hespanha,Joáo(编辑)等人,《混合系统:计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33170-0/pbk)。计算机科学课堂讲稿392793-107(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前3名

主字段