Professor lecture - Knut Åkesson, Electrical Engineering

​Title: Automated reasoning of customizable products and cyber-physical production systems

​Abstract: Products, like for example cars and trucks, can be configured to meet the needs of individual customers. While this flexibility is good for the customer, it also poses some challenges during engineering. A major reason is that engineering solutions need to be developed for a, potentially very large, set of products. In addition, the production system itself that has to be able to produce all valid products. Product customization and production system flexibility are important concepts for realizing the ideas envisioned in industry 4.0. In this presentation, I discuss some challenges with implementing the industry 4.0 and the next generation production systems, i.e. the cyber-physical production systems. I will specifically focus on how formal methods and automated reasoning can support the engineering processes. I conclude my talk with some challenges for the future.
Category Lecture
Location: EL42, lecture room, Linsen, EDIT building, Hörsalsvägen 11, Campus Johanneberg
Starts: 13 October, 2017, 14:15
Ends: 13 October, 2017, 15:00

Published: Mon 09 Oct 2017. Modified: Wed 11 Oct 2017