可达集计算相关硕士博士期刊学术论文 - 搜论网

可达集计算相关论文

切换型混杂系统的可达性研究

混杂系统是连续变量系统和离散事件系统并存的复杂系统，已成为计算机科学和控制理论研究的热点，在工业及社会生活的各个领域有着广泛......

学位

混杂系统可达集计算自动机理论

实代数工具与程序验证

计算机代数方法和工具，如Grobner基计算、QEPCAD、DISCOVERER等已经应用到不变量生成，寻找秩函数，可达集计算等程序验证领域。本文结......

学位

程序验证误差分析秩函数计算机代数可达集计算

看过本文同时还关注