On Nov. 28, 2019, invited by Associate Professor Jie Song, Department of Industrial Engineering and Management, Prof. Bengt Lennartson from Chalmers University of Technology gave a talk on AI Planning, Learning and Optimization. Associate Professor Xi Zhang, Assistant Professor Jianguo Wu, and many students in the department attended the lecture.
Associate Professor Jie Song introducing Prof. Bengt Lennartson
Bengt Lennartson is a Professor of Automation since 1999 at Chalmers University of Technology, Gothenburg, Sweden. He is Head of the Division of Systems and Control at the Department of Electrical Engineering, and he is IEEE Fellow for his contributions to hybrid and discrete event systems for automation and sustainable production. He has been Associate Editor for Automatica and IEEE Transaction on Automation Science and Engineering, General Chair of IEEE CASE 2015, WODES 2008 and Dean of Education at Chalmers. He is the (co)author of more than 300 peer reviewed international papers, and his research is currently focused on AI planning and learning, as well as sustainable production.
Prof. Lennartson giving the talk
In his talk, Lennartson firstly introduced a unified model based on modular Petri nets with shared variables. An incremental abstraction method was also introduced for complex temporal logic planning. Uncontrollable events, as well as mu-calculus, were then shown to be interesting alternatives to more common game formulations. For hybrid systems, a specific method was also presented for energy optimization of robot systems, resulting in up to 30% energy and 50% peak power reduction. Finally, a recent integration of temporal logic and reinforcement learning was discussed. To summarize, methods from model checking were shown to be very useful for AI planning, learning and optimization.
After the talk, the department faculty and students had stimulating discussions with Prof. Lennartson.