Viðburðir framundan

Synthesis, Verification and Optimization for Cyber-Physical Systems

Kim G. Larsen, Háskólanum í Álaborg

  • 16.9.2019, 14:00 - 16:00

Félag prófessora við Háskólann í Reykjavík (RUAP) og Þekkingarsetur í fræðilegri tölvunarfræði (ICE-TCS) standa fyrir fyrirlestri mánudaginn 16. september. Fyrirlesarinn verður Prof. Kim G. Larsen frá Háskólanum í Álaborg. Kim er leiðandi í rannsóknum í tölvunarfræði á heimsvísu og hefur náð miklum árangri í að hagnýta niðurstöður rannsókna til að bæta rekstur á ýmsum flóknum kerfum, svo sem stýringu á umferðaljósum.

Fyrirlesturinn verður haldinn í stofu M103 í Háskólanum í Reykjavik mánudaginn 16. september klukkan 14:30. Fyrir fyrirlesturinn verður boðið upp á kaffi og kleinur.

Synthesis, Verification and Optimization for Cyber-Physical Systems
In this talk we will highlight demonstrate recent advances and applications of the tool UPPAAL Stratego (www.uppaal.org) towards automatic synthesis of guaranteed safe and near-optimal control strategies for Cyber Physical Systems (CPS). The tool considers a CPS as a game between a complex (e.g. with discrete, stochastic and continuous aspects) environment and the controller. The automatic synthesis of the tool combines symbolic methods from model checking, reinforcement learning methods from machine learning, as well as abstraction techniques for hybrid games. The talk will highlight successful applications including autonomous driving maneuvers, optimal heating systems and intelligent traffic control.

Bio
Kim G. Larsen (23. December 1957) became Cand.Scient. in Mathematics and Computer Science from Aalborg University (1982) and PhD in Computer Science from Edinburgh University, Scotland (1986). He is Professor in Computer Science at Aalborg University (1993- ), and has been Industrial Professor at Twente University, The Netherlands (2000-2007). He is currently director of CISS, the Centre for Embedded Software Systems, a national centre of excellence within ICT bridging between industry and research (2002- ), and is director of the Danish National ICT Innovation network InfinIT (2009- ). Also he is director of the Innovation Center DiCyPS (2015-2021).

His research interests include modeling, verification, performance analysis of real-time and embedded systems with application and contributions to concurrency theory and model checking. In particular since 1995 he has been prime investigator of the tool UPPAAL and co-founder of the company UP4ALL International. He has published more than 300 publications in international peer-reviewed journals and conferences as well as co-authored 12 software-tools. He has received Danish Citation Laureates Award (Thomson Scientific) as the most cited Danish Computer Scientist in the period 1990-2004; his H-index (according to Google Scholar, May 2018) is 76.



Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á ru.is eða með því að senda tölvupóst á netfangið: personuvernd@ru.is

//


Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our ru.is or send an e-mail: personuvernd@ru.is