Invited Keynote Speakers

Title of the talk: Explainable and Verifiable Machine Learning – A Grand Challenge for Computer Science

Kim G. Larsen (Aalborg University)

Bio: Kim G. Larsen is a professor in the Department of Computer Science at Aalborg University within the Distributed, Embedded Systems and Intelligent (DEIS) Unit and director of the ICT-competence center CISS, Center for Embedded Software Systems. His research interests include modeling and semantics, verification and logic, concurrency theory, performance analysis of real-time, embedded and cyber-physical systems, model checking and machine learning with numerous application in transport, energy and water management.  He is a prime investigator of the award winning tool UPPAAL as well as its branches targeting planning, optimization, testing, synthesis, machine learning and compositional analysis.

Abstract of Talk: Learning-based components in general and Neural Networks in particular are increasingly used in safety-critical systems, e.g. autonomous vehicles, smart energy grids, traffic control systems and several other complex and critical infrastructure systems. In such cyber-physical systems (CPS), which connect the physical and the digital world, the components do not only influence how the system perceive and interact with the environment but also makes decisions that influence its behavior. The rapid growth of machine-learning techniques in CPS leads to better products in terms of adaptability, performance, efficiency and usability. However, CPSs are often safety critical (e.g., self-driving cars and medical devices), and the need for measures against potential fatal accidents is self-evident and of key importance.  

In fact, the trustworthy use of machine learning in safety-critical systems is a Grand Challenge.  Importantly, the decisions made by a learning-based component should be explainable in terms that can be understood by a domain expert or end-user. Moreover,  verification techniques must be developed that can provide absolute guarantees of a learning-based component, e.g. verified robustness of a Neural Network with respect to adversarial attacks or verified correctness when used in an application context.    

The talk will highlight ongoing research towards explainable and verifiable learning-based CPS pursued within the context of the modelling and verification tool UPPAAL Stratego ( Here machine learning (reinforcement learning) are combined with symbolic synthesis (dating back to Alonso Church in 1957) in order to obtain provably safe, near-optimal and explainable control strategies.   So far UPPAAL Stratego has been applied successfully within a number of application domains including energy systems, autonomous driving, storm-water detention ponds and traffic control.  

Title of the talk: The future of automation will accelerate with IT-Capabilities

Mr. Matthias Himmler  (Siemens)

Today´s automation is what we know as Operational Technology (OT). If we look ahead and think about tomorrow, IT will play a significant (even a major) role in automation and OT. Combining the OT world with IT capabilities is seen as the future of automation, many challenges come with it.

  • Ensuring the convergence of the OT world and the IT world
  • Orchestration of the two worlds (OT/IT Orchestration)
  • Addressing the benefits and advantages to unify them for a Software defined Automation

The dependencies are obvious, environments as of today are adverse. Let´s make the IMPOSSIBLE possible and talk about the reliable/dependable Internet of Things in adverse environments.