报告会现场
10月26日，受苏黎世联邦理工学院（Eidgenössische Technische Hochschule Zürich, ETH Zürich）自动化研究所（Institut für Automatik, IfA）所长John Lygeros教授的邀请，中国科学院深圳先进技术研究院数字所嵌入式软件系统研究中心主任谷德权（T. John Koo）教授作了题为Development of Model-based Tools for the Design of Embedded Systems in Control Applications的学术报告。John Lygeros教授、Manfred Morari教授、Roy Smith教授、Lothar Reh教授等30余名科研人员及研究生参加了此次报告会。
报告主要介绍了面向控制领域的基于模型的嵌入式系统设计工具的开发研究。嵌入式系统促成了系统功能的急速增强，特别是在汽车电子，航空电子设备，制造系统，电力网络，医疗设备和运输系统等的控制领域。控制领域中对可靠性及安全性的要求，促使了形式化方法（Formal Methods）于基于模型的嵌入式系统设计的研究。混成系统（Hybrid Systems）是作为系统级的建模抽象（Abstraction），适用于基于模型设计方法中使用。本次报告主要介绍重要的混成系统模型以及相关的理论和计算方法的最新发展，以及深圳先进院开发出的基于模型的嵌入式系统工具于工业中的应用。
本次中瑞学者交流获得中瑞科技合作基金（Sino‐Swiss Science and Technology Cooperation, SSSTC）资助，谷德权教授作为访问教授于苏黎世联邦理工学院进行为期2个月的学术交流及研究，是深圳先进院首个获得中瑞科技合作基金资助的项目。双方在混成系统的基础理论和计算方法进行了深入的交流，对研究应用前景作出了详细的评估，并为下一步建立科研合作关系做好准备。
谷德权（T. John Koo）是中国科学院深圳先进技术研究院数字所嵌入式软件系统研究室中心主任、研究员、博导。2000年获美国加州大学伯克利分校（University of California at Berkeley）电机工程哲学博士学位，1994年获香港中文大学信息工程哲学硕士学位，1992年获香港中文大学电子工程工程学士学位。2005年获得美国国家科学基金会杰出青年教授奖（NSF CAREER Award），1994年获得香港中文大学工程学院颁发的卓越硕士论文奖。现为IEEE高级会员、ACM专业会员及Sigma Xi会员。研究方向为嵌入式软件、混成系统、非线性控制。
联系我们
