带扰动控制系统的形式化设计
反馈控制、控制系统设计、带扰动控制系统、时序逻辑、有限抽象
32
TP273(自动化技术及设备)
国家自然科学基金项目11426136,60973045;江苏省自然科学基金项目BK20130735;江苏省高校自然科学基金项目13KJB520012,13KJB520011资助.Supported by National Natural Science Foundation of China11426136,60973045;Natural Science Foundation of Jiangsu ProvinceBK20130735;Natural Science Foundation of the Jiangsu Higher Education Institutions13KJB520012,13KJB520011
2015-05-08(万方平台首次上网日期,不代表论文的发表时间)
共9页
178-186