The core competences within this research group are formal methods from computer science, control theory, discrete event modelling, verification and optimization, applied to flexible production systems.
The research group is internationally well recognized. General Motors R&D, Warren, USA recently identified the group as one of their long-term strategic research partners globally within automation.
Research group leader: Professor Bengt Lennartson, Department of Electrical Engineering, Chalmers University of Technology, Sweden.
The group includes at present 4 professors, 1 additional senior researcher and 11 PhD students.
From January 2017 Bengt Lennartson is IEEE Fellow for his contributions to hybrid and discrete event systems for automation and sustainable production.
IEEE Fellow is the highest grade of membership in the world’s largest technical professional organization, given to persons with an outstanding record of accomplishments in any of the IEEE fields of interest.
Industrial and scientific challenges
- Information integration: Huge amount of information is stored in today’s manufacturing design process. The challenge is to make necessary information for simulation and control design available in a simple and efficient manner.
- Complexity issues: New tools developed within this research area involve inherently complex computations. Both efficient algorithms and data structures, which exploit the modular structure of the problem, are considered to be able to solve real industrial problems.
- Simple user interaction: To obtain industrial acceptance it is crucial to obtain simple methods and working procedures. User-friendly software interfaces and interaction are necessary, where the user can map the software and the physical behaviour onto each other.