Morteza Lahijanian
Smead 航空航天公司助理教授
10 月 4 日星期五 |上午 10:40 |航空111
摘要：随着自主系统在安全关键领域中变得越来越普遍，确保其安全运行仍然是一个关键挑战。本次研讨会探讨以下问题：我们到了吗？我们是否达到了广泛部署所需的安全自主水平？本次演讲将重点关注通过形式推理的视角整合三个基本要素：学习、控制和决策。
我将讨论机器学习如何在动态环境中实现自适应行为，但通常缺乏安全所需的保证。控制理论为系统稳定性提供了稳健的框架，但在处理复杂、不确定的环境时面临着局限性。决策策略提供了高层指导，但可能很难与现实世界的限制保持一致。我认为形式化方法为弥合这些差距提供了强大且关键的解决方案，为系统行为提供数学保证，同时考虑了自主决策固有的不确定性。
我将介绍我们在统一这些方法以实现安全自主方面取得的进展，解决理论进展和实际挑战。具体来说，我将强调我们对实现有保障、可靠和交互式自治的关键贡献。
简介：Morteza Lahijanian 是航空航天工程科学系的助理教授、计算机科学系和机器人项目的附属教员，以及该大学可靠、可靠和交互式自治 (ARIA) 系统小组的主任科罗拉多州博尔德。他获得了学士学位。他拥有加州大学伯克利分校的学士学位和硕士学位。和博士学位。波士顿大学机械工程专业。他曾担任莱斯大学计算机科学博士后学者。在加入 CU Boulder 之前，他是牛津大学计算机科学系的研究科学家。
博士。Lahijanian 的研究兴趣涵盖控制理论、随机混合系统、形式方法、机器学习和博弈论及其在机器人技术中的应用，特别是运动规划、策略综合、模型检查和人机交互。他的实验室开发了新颖的理论基础和计算框架，以实现可靠和智能的自治。重点特别是通过构建正确的算法方法实现安全自主。