Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)

Sökresultat

• 2015

  Derivation of Parallel and Resilient Programs from Simulink Models

  Ostroumov, S., Boström, P. & Walden, M., 2015, Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd Euromicro International Conference on. O'Conner, L. (red.). IEEE, s. 416–420

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

• 2014

  Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

  Boström, P., Alexeev, P. S., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2014, Formal Methods for Industrial Critical Systems. Lang, F. & Flammini, F. (red.). Lecture notes for computer science, s. 33–47

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

• Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

  Wiik, J. & Boström, P., 2014, Formal Methods and Software Engineering. Merz, S. & Pang, J. (red.). Springer, s. 396–412

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

• 2013

  Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems

  Alexeev, P. S., Boström, P., Walden, M., Huova, M., Linjama, M. & Sere, K., 2013, Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems. Benavente-Peces, C. & Filipe, J. (red.). SCITEPRESS Digital Library, s. 189–194

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

• 2012

  Simulations with Fault-Tolerant Controller Software of a Digital Valve

  Huova, M., Ketonen, M., Alexeev, P., Boström, P., Linjama, M., Waldén, M. & Sere, K., 2012, Proceedings of the Fifth Workshop on Digital Fluid Power : DFP12. Laamanen, A. & Linjama, M. (red.). Tampere, Finland: Tampere University of Technology, s. 223-242

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Fault-tolerant Controller 100%
  • Digital Valve 100%
  • Optimal Controller 100%
  • Hydraulic System 50%
  • Simulation Study 50%

• 2009

  Controller Design of Digital Hydraulic Flow Control Valve

  Huova, M., Olszewska, M., Siivonen, L., Linjama, M., Walden, M., Vilenius, M. & Sere, K., 2009, Proceedings of 11th Scandinavian International Conference on Fluid Power (SICFP'09). s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

• Quality Analysis of Simulink Models

  Olszewska, M., Huova, M., Walden, M., Sere, K. & Linjama, M., 2009, Software Quality Engineering. Proceedings of the CONQUEST 2009.. Schieferdecker, I. & Goericke, S. (red.). dpunkt.verlag GmbH, s. –

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review