Improving Transient Control and Energy Efficiency by digital hydraulics (TEKES, KITARA-programme)

  • Walden, Marina (CoPI)
  • Sere, Kaisa (PI)
  • Boström, Pontus (CoI)
  • Morel, Lionel (CoI)
  • Satpathy, M (CoI)
  • Olszewska, Marta (CoI)
  • Meincke, Larissa (CoI)
  • Malik, Qaisar (CoI)

Projektin tiedot


Digital hydraulics systems contain advanced and intelligent control algorithms, where reliability is an important issue. The complexity of control code is a problem in Digital Hydraulic systems and the problem becomes even more severe when new control features are added. Within the ITCEE-project we are relying on formal software construction techniques to assist in developing reliable complex algorithms. We have developed a method for structuring control systems using mode-automata and Simulink/Stateflow, where control logic is separated from signal processing and control computation. Furthermore, a development method involving design by contract applied on the Simulink models has been developed. The method provides a way of verifying the validity of the system in a stepwise manner. In order to provide an alternative way for finding contract violations in complex control systems we have investigated optimization based search methods

In cooperation with the IHA-lab at Tampere University of Technology, we have set up the requirements for the digital hydraulics system and created a structured specification of the system using our methodology. The quality of the Simulink models are being assessed to better evaluate the performance of the development methods.
Todellinen alku/loppupvm01/08/0531/07/08


  • Contract-based Design in Controller Development and its Evaluation

    Boström, P., Olszewska, M., Huova, M., Linjama, M., Heikkilä, M., Sere, K. & Walden, M., 2009, NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009. Asplund, M., Nadjm-Tehrani, S. & Petre, L. (toim.). Linköping university electronic press, s. 21–28

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 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. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

  • 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. (toim.). dpunkt.verlag GmbH, s. –

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu