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