[12-04] A component-based approach for cyber-physical systems in differential dynamic logic
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
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.