讲座主题:
Taming delays in cyber-physical systems
主讲人姓名及介绍:
詹乃军,中科院软件所研究员,中科院特聘研究员,中国科学院大学岗位教授,博士生导师,计算机科学国家重点实验室副主任,国家杰出青年科学基金获得者。研究方向包括:形式化方法,实时、嵌入式、混成系统,并发理论,程序验证,对象和构件系统理论基础等。
报告摘要:
时延现象在通讯、控制和计算中普遍存在,在通讯和控制领域得到广泛研究,但是在计算机科学领域仍旧是空白。时延问题已经成为设计安全可靠的信息物理融合系统的一个关键因素和重大挑战。在这个报告里, 我首先介绍一下我们最近在时延系统控制生成和时延系统稳定性分析与安全性自动验证方面的进展,主要包括:离散时延系统的控制生成,时延微分方程的验证(有界时间和无界时间)等;最后讨论一下面临的挑战和未来发展方向。