报告人：曾海波，美国弗吉尼亚理工大学副教授

报告时间：2023年10月20日（星期五） 09:00 - 12:00  

报告地点：信息科学与工程学院 314会议室

报告摘要：汽车、机器人和航空电子设备等网络物理系统 (CPS) 通常对时间要求非常严格，因为它们具有严格的时序限制。 为了保证其时序正确性，大部分工作都致力于使用时序和可调度性分析来验证时间关键CPS 的正确性。 随着时间关键的 CPS 变得越来越复杂，迫切需要能够处理大型系统的高效优化技术。 这一直具有挑战性，因为时序和可调度性分析技术通常过于困难且效率低下，无法使用数学规划等优化框架。 现有工作主要依赖于特定启发式方法，其解决方案质量欠佳且适用性有限。在本次演讲中，我们讨论了为解决上述问题的时间关键 CPS 开发优化算法的新方向。我们展示了一些先前的研究，并表明所提出的方法有可能在保证解决方案质量的同时显著提高可扩展性。 尽管如此，当前仍有大量问题需要学术界的参与。

报告人简介：曾海波，现任美国弗吉尼亚理工大学副教授。 他在加州大学伯克利分校电气工程和计算机科学获得博士学位，中国北京清华大学获得电气工程学士和硕士学位。 2011年10月之前，他一直担任通用汽车研发中心的高级研究员，并于 2011年11月至2014年8月期间担任加拿大麦吉尔大学的教员。他的研究工作已获得六项论文奖，包括在时间关键的 CPS上的研究（RTSS' 20、RTSS'17 和 ECRTS'13）。

邀请人：李仁发、谢国琪

联系人：谢国琪