uedbet,uedbet体育,uedbet官网

[12-04] A component-based approach for cyber-physical systems in differential dynamic logic

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

  

Title: A component-based approach for cyber-physical systems in differential dynamic logic

Speaker: Simon Lunel (Inria, France)

Time: 10:00 , December 4th, Tuesday, 2018

Venue: Room 334, Building 5, State Key Laboratory of Computer Science,Institute of Software, Chinese Academy of Sciences

 

Abstract:

  There is a strong need for scalable methodology to model and verify Cyber-Physical Systems (CPS). In this presentation, we present a component-based approach to modularly design and prove CPSs correct. The proof effort is integrated to the design steps in the spirit of a correct-by-design approach. We show that our approach is amenable to automation and validate it against a water-plant example. It raises several challenges such as timing aspects, causal composition and modes composition. We adapt our component-based approach to tackle them, demonstrating its flexibility.