Type
Topic
- Information Communication & Computing (Field of Expertise)
Kim G Larsen from the Department of Computer Science at Aalborg University gives a lecture on Cyber-Physical Systems. Larsen is currently a visiting professor with the TU Graz LEAD project "Dependable Internet of Things".
Lecture "Learning, Synthesis and Verification for Cyber-Physical Systems"
Cyber-Physical Systems (CPS) describe systems combining computing elements with dedicated hardware and software having to monitor and control a particular physical environment. This combination of the physical and virtual world provides the digital foundation for smart solutions throughout society and within all sectors. The constant demand for increased functionality and performance that needs to be produced with tight time schedules and cost budges challenges without compromising dependability of the final products constitutes a significant challenge. What is needed are improved, scalable methods, tools and techniques that support the development of CPS.
The talk will be based on the model-based approach for the design of dependable and optimal CPS, supported by the model checking tool UPPAAL (www.uppaal.org). In the talk we will present and discuss the most recent branches UPPAAL Stratego that offer a highly disruptive design methodology for CPS: UPPAAL Stratego allows for fully automatic generation of safe and optimal control software directly from requirement. UPPAAL Stratego is based on a unique combination of symbolic techniques with reinforcement learning methods, as well as abstraction techniques. The talk will report on the application to a number of industrial CPS examples including synthesis of safe and optimal adaptive cruise control, synthesis of energy-optimal floor-heating systems, and synthesis of safe and optimal traffic controllers.
Short presentations
The winners of the "Competitive Initial Funding Program" (Anschubfinanzierung) will present their projects.
Networking
Discussion and networking with drinks and snacks.
Kim J. Larsen
Kim J. Larsen is a professor in the Department of Computer Science at Aalborg University within the Distributed and Embedded Systems Unit and director of the ICT-competence center CISS, Center for Embedded Software Systems. In 2015 he won an ERC Advanced Grant with the project LASSO for learning, analysis, synthesis and optimization of cyber physical systems. He is also director of the Sino-Danish Basic Research Center IDEA4CPS, the Danish Innovation Network InfinIT, as well as the newly founded innovation research center DiCyPS: Data Intensive Cyber Physical Systems.
Host
Prof. Kay Römer
