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

作者: 时间:2022-10-21 点击数:

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

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

学科领域:粒计算

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

地 点:腾讯会议:573 668 404

Copyright ©2018 闽南师范大学-数学与统计学院  电话:0596-2591441 传真:0596-2527931  学院党委信箱:msdstydzzh@163.com