Prof. Bart Besselink (格罗宁根大学) 在课题组作学术报告

我们非常荣幸地邀请到格罗宁根大学的 Prof. Bart Besselink 在我们课题组作了题为 “Modular analysis of linear systems using assumeguarantee contracts” 的精彩学术报告。

个人简介 (Biography)

Bart Besselink 是荷兰格罗宁根大学伯努利数学、计算机科学与人工智能研究所的助理教授。他于2008年获得机械工程硕士学位（以优异成绩毕业），并于2012年获得博士学位，均毕业于荷兰埃因霍温理工大学。2012年，他曾在日本东京工业大学进行短期访问研究；2012年至2016年，他在瑞典皇家理工学院（KTH）自动控制系及ACCESS Linnaeus中心担任博士后研究员，师从Karl H. Johansson教授。他的主要研究兴趣包括大规模互联系统的模块化分析与控制、非线性系统，以及在智能交通系统领域的应用。他是2020年Automatica论文奖的获得者。

报告摘要 (Abstract)

现代工程系统日益增长的复杂性要求一种本质上模块化的设计与分析理论，即允许对子系统进行独立分析。本次报告将介绍这样一种理论，通过引入针对线性动力系统的“假设-保障”合约，该理论受到计算机科学领域合约理论的启发，并利用了行为系统理论。除了使用合约作为（子）系统规范的描述外，我们还将介绍使用合约进行组合分析的结果。这使得模块化设计与分析成为可能，因为首先，子系统仅需保证满足其局部合约；其次，正确设计的合约能保证期望的全局系统行为。