Giorgio Buttazzo, “Supporting real-time applications on multicore platforms”
Giorgio Buttazzo is Full Professor of Computer Engineering at the Scuola Superiore Sant'Anna of Pisa (Italy), where he teaches courses on Real-Time Systems and Computer Architectures. His main research interests include real-time operating systems, dynamic scheduling algorithms, quality of service control, multimedia systems, advanced robotics applications, and neural networks.
He received the B.S.E. degree in Electrical Engineering at the University of Pisa in 1985, a M.S. degree in Computer Science at the University of Pennsylvania in 1987, and a Ph.D. degree in Computer Engineering at the Scuola Superiore Sant’Anna of Pisa in 1991. Prof. Buttazzo has been Program Chair and General Chair of the major international conferences on real-time systems. He is Editor-in-Chief of the Journal of Real-Time Systems (Springer), the major journal on real-time computing. He is Vice Chair of the IEEE Technical Committee on Real-Time Systems and Member of the Euromicro Executive Board on Real-Time Systems. He has authored 6 books on real-time systems and over 200 papers in the field of real-time systems, robotics, and neural networks. He is Senior Member of IEEE.
Jean-Francois Raskin, “Synthesis of robust controller and games with imperfect information”
Jean-François Raskin was born in Belgium, in 1972. He received his master and Ph.D. degrees in computer science from the Université de Namur, Belgium, in june 1995 and april 1999, respectively. From 1995 to 1999, he was a Research Associate (aspirant) of the Belgian National Fund for Scientific Research (FNRS), Université de Namur, Belgium. He worked on the decidability,complexity and expressiveness of formalisms for reasoning about real-time systems.
After long research stays at the University of California at Berkeley, Max-Planck Institute for Computer Science (Saarbrucken), and ENS Paris, he is a Professor at the computer science department of the Université Libre de Bruxelles (ULB), Belgium. His research interests are the formal methods for the verification and synthesis of concurrent, real-time, and hybrid systems. His main research interests are: Logic formalisms, especially temporal logics and real-time logics; Automata formalisms and their extensions for real-time and hybrid systems; Abstract interpretation theory and its application to the verification of concurrent, real-time and hybrid systems; Game theory for synthesis of controllers.
In this talk, we will show how the synthesis of robust controller are related with games of imperfect information. We will recall the basic definitions underlying games with imperfect information and how to solve them algorithmically.
Stefan Svensson, “Challenges of Wireless Communication in Industrial Systems”
Stefan Svensson holds a M Sc in Electrical Engineering from the Technical University of Lund. He joined ABB in Sweden in 2001 as researcher at ABB Corporate Research developing embedded systems for different kinds of field level communication. From 2005 until 2008 Stefan worked as the coordinator for ABB research in Wireless and Mobility. Between 2008 and 2010 he worked as a group leader at the Acreo Research Institute in the area of innovative electronics. He returned to ABB in 2011 to take on the position of manager for the industrial communication program. Industrial communication in the ABB definition includes wired and wireless communication, device integration as well as embedded systems development. As program manager Stefan Svensson manages a portfolio of around 40 projects (~62 people) and is responsible for the ABB strategy in the area. The people working in the program is located in five countries, in addition to Sweden also in India, Germany, Switzerland and Norway.