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.