Sähkötekniikan ja automaation laitos

Automaation tietotekniikka

Information Technologies in Industrial Automation

Tutkimusryhmän tutkimus kohdistuu tuotantoautomaation ja siihen liittyvien tietojärjestelmien ratkaisuihin. Tutkimusaiheisiin kuuluu muun muassa seuraavat:

  • Mallipohjainen ohjelmistosuunnittelu.
  • Hajautetut automaatiojärjestelmät.
  • Tekoäly automaatiossa.
  • Teollisten sulautettujen järjestelmien simulaatio, testaus ja verifiointi.
  • Tuotantoautomaation tietojärjestelmien yhteentoimivuus.
  • Teollisen informaation integrointi: tekniikat, tietomallit ja standardit.

 

Lue lisää tutkimuksesta

People

Staff

Valeriy Vyatkin - professor 
Tommi Karhela - visiting professor in computer simulation technology
Jan Olaf Blech - professor of practice
Seppo Sierla   - university lecturer
Ilkka Seilonen - research scientist
Udayanto Atmojo - postdoctoral researcher
Pekka Aarnio - teaching researcher
Taneli Hölttä   - innovation advisor

Doctoral candidates

Igor Buzhinsky    
Thesis: Combined use of formal methods for reliability assurance of safety-critical software systems

Christian Giovanelli
Thesis: Aggregating domestic energy storage resources to participate in frequency containment reserves

Gerardo Santillán Martínez
Thesis: Simulation-based digital twins of industrial process plants: A semi-automatic implementation approach

Uladzimir Miranovich

Polina Ovsyannikova

Graduated doctoral candidates:

Olli Kilkki
Thesis: Optimizing Demand Response of Aggregated Residential Energy Storages
Defended: 10/12/2018

Evgeny Nefedov
Thesis: Collaborative energy management systems: design and evaluation for intelligent buildings, electric vehicles and street lighting
Defended: 27/04/2018

Tutkimusprojektit

Viimeisimmät julkaisut

Information Technologies in Industrial Automation, Sähkötekniikan ja automaation laitos, Jaan Praks Group, Dept Electronics and Nanoeng.

Utilizing software design patterns in product-driven manufacturing system

Publishing year: 2020
Information Technologies in Industrial Automation, Sähkötekniikan ja automaation laitos

Towards formal ASM semantics of timed control systems for industrial CPS

Publishing year: 2019
Information Technologies in Industrial Automation, Sähkötekniikan ja automaation laitos

Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm

Publishing year: 2019
Information Technologies in Industrial Automation, Sähkötekniikan ja automaation laitos

On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory

Publishing year: 2019
Information Technologies in Industrial Automation, Sähkötekniikan ja automaation laitos

Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory

Publishing year: 2019
Information Technologies in Industrial Automation, Sähkötekniikan ja automaation laitos

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

Publishing year: 2019 IEEE Transactions on Industrial Informatics
Sähkötekniikan ja automaation laitos, Information Technologies in Industrial Automation

Guest editorial

Publishing year: 2019 IEEE Transactions on Industrial Informatics
Information Technologies in Industrial Automation, Sähkötekniikan ja automaation laitos

On Portability of IEC 61499 Compliant Structures and Systems

Publishing year: 2019
Sähkötekniikan ja automaation laitos, Information Technologies in Industrial Automation

Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system

Publishing year: 2019 Future Generation Computer Systems
Sähkötekniikan ja automaation laitos, Information Technologies in Industrial Automation

Applying graph matching techniques to enhance reuse of plant design information

Publishing year: 2019 Computers in Industry
More information on our research in the Research database.
Research database
  • Julkaistu:
  • Päivitetty:
Jaa
URL kopioitu