Tuomas Miettinen

According to our database, Tuomas Miettinen authored at least 4 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

A framework for runtime verification of industrial process control systems.

Roope Savolainen, Seppo A. Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

2016

Parameters selection in predictive online simulation.

Gerardo Santillan Martinez, Tuomas Miettinen, Antti Aikala, Jouni Savolainen, Kalle Kondelin, Tommi Karhela, Valeriy Vyatkin

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

2015

An OPC UA Based Architecture for Testing Tracking Simulation Methods.

Gerardo Santillan Martinez, Tommi Karhela, Valeriy Vyatkin, Tuomas Miettinen, Cheng Pang

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

2014

Co-simulation of a dynamic process simulator and an event-based control system: Case district heating system.

Heikki Nikula, Eero Vesaoja, Seppo A. Sierla, Tommi Karhela, Paul G. Flikkema, Antti Aikala, Tuomas Miettinen, Chen-Wei Yang

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014