学院动态
最新动态
当前位置: 首页>>学院动态>>通知公告>>正文

瑞典哈姆斯塔德大学计算机科学教授Walid Taha学术报告通知

2017年03月27日   点击:[]

报告题目:Rigorous Simulation

报告人:Walid Taha

报告人单位:瑞典哈姆斯塔德大学

报告时间:2017年3月29日星期三14:30-16:00

报告地点:西北工业大学友谊校区毅字楼218

报告简介:The falling price of computational and communication components means that they will increasingly be embedded into physical products. Verifying the designs of the resulting “cyber-physical” products is challenging for several reasons. First, closed-form solutions for the behavior of physical systems rarely exist. Second, the most natural mathematical tool for modeling cyber-physical combinations, namely, hybrid (discrete/continuous) systems, exhibit pathologies that arise in neither purely continuous nor purely discrete systems. Third, the expressivity of existing continuous dynamics formalisms is generally lower than those used by domain experts.
To address these problems, we are developing a technology called “rigorous simulation”. The back-end for rigorous simulation uses validated numerics algorithms, which compute guaranteed bounds for the precision of all solutions. We show that these algorithms can be extended to compute trajectories for some hybrid systems exhibiting Zeno behavior. Ongoing work suggests that chattering behavior can be similarly addressed. We make validated numerics more accessible to non-specialists through the use of a domain-specific language, based on hybrid ordinary differential equations, which we also extend to support partial derivatives and certain types of equational modeling. An implementation called “Acumen” has been built and used for several case studies. These include virtual testing of advanced driver assistance functions, bipedal robotics, and a range of model problems for teaching at both graduate and undergraduate levels.

报告人简介:Walid Taha瑞典哈姆斯塔德大学计算机科学教授,美国休斯顿大学兼职研究教授。曾在查尔姆斯理工大学、耶鲁大学和莱斯大学任学术职务,在诸如ACM GPCE会议和IFIP WG等多个知名国际会议任职,曾荣获美国自然科学基金委杰出青年学者奖(NSF CAREER )。他的研究兴趣包括软件工程、编程语言语义、建模与仿真及信息-物理系统。

 
西北工业大学 就业信息网 芹菜网 三航四方BBS 西北工业大学微博 校园公告 西工大新闻网 电子邮件

版权所有 © 2009 西北工业大学软件与微电子学院  
陕西省西安市友谊西路127号 邮编:710072