平特肖简易表世图 论坛|2014年平特肖公式|

[05-06] Towards Safety Verification of Autonomous Systems

文章来源:  |  发布时间:2019-04-28  |  【打印】 【关闭

  

Title: Towards Safety Verification of Autonomous Systems

Speaker: Dr. Chao Huang, Northwestern University, USA

Venue: Seminar Room (Room 334), Building 5, Institute of Software, CAS

Time: 10:00, May 6th, Monday, 2019

  Abstract: There are full of uncertainties in today’s autonomous systems. Some of the uncertainties are caused by potential deadline misses, namely timing disturbances, due to the complex environment. Also with the growing interest on data-driven approaches, more uncertainties arise due to applying data-driven controllers. In this talk, I would like to introduce our recent works on safety verification of autonomous systems with either timing disturbances or neural-network controllers. For the systems with timing disturbance, we consider the model of (m,K) weakly-hard systems and give the sufficient condition to ensure the system safety. For the neural-network controlled systems, we abstract feedforward neural network controllers with Bernstein polynomials and propose two methods to estimate the approximation error bound. Combining with forward reachability analysis, our approach can compute overapproximate reachable sets of neural-network controlled systems with precise error bounds.

  Bio: Dr. Chao Huang is a postdoc working with Prof. Qi Zhu, at the Department of Electrical and Computer Engineering (ECE) in Northwestern University. Dr. Huang received a Ph.D. and a B.E. in CS from Nanjing University in 2018 and 2011 respectively. His research interests include synthesis and verification of cyber-physical systems (CPS), Internet of Things, embedded and real-time systems. His papers were accepted by the conferences including IJCAI, FM, EMSOFT, HSCC etc. He served IJCAI 19 as a PC member.

平特肖简易表世图 论坛
助赢彩票计划软件手机版 七星彩百万位杀号预测 合乐分分彩计划软件 七乐彩免费缩水软件 11选5稳赚技术 澳门旅游攻略 pk10一天稳赚几百万 私彩11选5定单双玩法 足彩怎么买稳赚不赔视频 老时时360官网