×

找到17份文件(结果1-17)

Koopman线性化系统使用随机傅立叶特征可观测度和多项式区域图精化的可达性。 (英语) Zbl 1518.93012号

Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。勒克特。注释计算。科学。13371, 490-510 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份