Sähkötekniikan ja automaation laitos

Automaation tietotekniikka

Tutkimusryhmän tutkimus kohdistuu tuotantoautomaation ja siihen liittyvien tietojärjestelmien ratkaisuihin.
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

Residual-Enhanced Physics-Guided Machine Learning With Hard Constraints for Subsurface Flow in Reservoir Engineering

Haibo Cheng, Yunpeng He, Peng Zeng, Valeriy Vyatkin 2024 IEEE Transactions on Geoscience and Remote Sensing

Probabilistic Model Checking for IEC 61499: A Manufacturing Application

Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin 2024 ICIT 2024 - 2024 25th International Conference on Industrial Technology

Toolset Development for Modelling Sympathetic Phenomenon and its Detection by a Neural Network

Nikolai Galkin, Chen Wei Yang, Nicholas Etherden, Math Bollen, Valeriy Vyatkin, Yiming Wu 2024 2023 IEEE 2nd Industrial Electronics Society Annual On-Line Conference, ONCON 2023

Formal verification of non-functional requirements of overall instrumentation and control architectures

Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin 2024 IEEE Open Journal of the Industrial Electronics Society

Enabling Professionals for Industry 5.0

Rui Pinto, Miroslav Žilka, Thalie Zanoli, Mikhail V. Kolesnikov, Gil Gonçalves 2024 PROCEDIA COMPUTER SCIENCE

Digital Twins for Process Industries

Seppo Sierla 2024 Handbook of Digital Twins

A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin 2024 IEEE Open Journal of the Industrial Electronics Society

Debugging approach for IEC 61499 control applications in FBME

Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin 2023 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings
Lisää tietoa tutkimuksestamme löytyy Aallon tutkimusportaalista.
Tutkimusportaali
  • Julkaistu:
  • Päivitetty:
Jaa
URL kopioitu