[07-05] Trustworthy Cyber-Physical Systems: Dream or Reality?

文章來源:  |  發布時間:2019-06-20  |  【打印】 【關閉


  Title: Trustworthy Cyber-Physical Systems: Dream or Reality?

  Speaker: Sergiy Bogomolov

  Venue: Lecture Room of SKLCS, Building 5, Room 334

  Time: 3:00pm, July 5th, Friday, 2019

  Abstract: Cyber-physical systems (CPS) are networks of physical and digital components and present a next generation of large-scale highly-interconnected networked embedded systems. On the one hand, CPS open enormous opportunities as they form the core of emerging smart devices and services which are going to revolutionize many traditional industries such as automotive, traffic management, power generation and delivery, as well as manufacturing. On the other hand, highly autonomous systems pose special engineering challenges as any unexpected behaviour might lead to large financial losses or even human deaths.

  In this talk, we address this challenge and propose automatic techniques to analyze CPS. For this purpose, we use the concept of hybrid automata which has proven to be particularly useful to model CPS. We give an overview of techniques to ensure efficient analysis of hybrid automata. In particular, we present support-function based representation of region state space and discuss ways to refine it.

  Finally, we discuss the connection between verification and hybrid planning, and use autonomous driving to showcase benefits their interplay can result at.

  Bio: Sergiy Bogomolov is on the faculty of the Research School of Computer Science at the Australian National University. He is broadly interested in algorithms and techniques to support design and development workflow of trustworthy and resilient autonomous systems.

  For this purpose, he uses and develops techniques on the interface of hybrid automata verification and AI planning. Prior to joining ANU Sergiy was Postdoctoral Researcher at the Institute of Science and Technology Austria. His Ph.D. and M.Sc. degrees are from the University of Freiburg, Germany.

浙江6十1走势图表 gpk捕鱼游戏心得攻略 皇家棋牌平台? 河南四方麻将下载苹果 河南11选5开奖 26选5好彩3开奖结果 重庆快十分开彩结果历史 股票配资有哪些正规平台 极速赛车技巧论坛 香港六肖王中特开奖 遇乐吧棋牌娱乐 黑桃棋牌还能玩吗 极速快3大小和值计划 广西快乐10分破解如何计算 疯狂飞车疯狂飞艇网站 福彩黑龙江p62开奖号 鑫福网