introduction-动态系统的形式化分析与控制-上海交通大学殷翔

AID:
CID:
视频图片:
作者头像:
弹幕地址:
视频描述:

热门回复:

  • 火的影子会燃烧:在殷老师的课上看殷老师上课[嗑瓜子]
  • 门框肉饼:这节课基本是按照Katoen那本书讲的,其实Katoen的课在油管也能找到,但是殷老师给精简拔萃到非常适合入门,Katoen的课里讲两节课3个小时的内容,殷老师这儿30分钟就把概念讲清楚了
  • DemonCosmos:有里面的ppt吗
  • 保存_保和存:形式自动化确实也属于自动化一部分 美国有个challenge for control research中专门有一张海报提到这一点
  • 门框肉饼:这课竟然是自动化系的