基于可达集上下近似的混成系统安全性验证研究

来源:bevictor伟德 时间:2022-10-21 点击数:

主 题:基于可达集上下近似的混成系统安全性验证研究

主讲人:佘志坤教授(北京航空航天大学)

学科领域:粒计算

时 间:2022年10月25日(周二)15:00

地 点:腾讯会议:573 668 404

Copyright © bevictor伟德(体育)官方网站-中文版 版权所有  电话:0596-2591441 传真:0596-2527931  公司党委信箱:msdstydzzh@163.com