澳门赌场网站_澳门网上赌场网址,官网,官方网站,官方网址

    <b id="ftvvx"><listing id="ftvvx"><i id="ftvvx"></i></listing></b>

    <meter id="ftvvx"></meter>
    <mark id="ftvvx"></mark>

    <i id="ftvvx"></i>

    <mark id="ftvvx"></mark>

    <em id="ftvvx"><address id="ftvvx"></address></em>
    <cite id="ftvvx"></cite>

    [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.

    Sitemap

    m88_明升m88_明升m88官方网站| 可以上下分炸金花游戏平台| 可提现炸金花棋牌游戏| 真人百家乐|百家乐官方网站| AG真人娱乐平台|