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

  • Walden, Marina (Co-Principal Investigator)
  • Sere, Kaisa (Principal Investigator)
  • Boström, Pontus (Co-Investigator)
  • Morel, Lionel (Co-Investigator)
  • Satpathy, M (Co-Investigator)
  • Olszewska, Marta (Co-Investigator)
  • Meincke, Larissa (Co-Investigator)
  • Malik, Qaisar (Co-Investigator)

Project Details

Description

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.
AcronymITCEE
StatusFinished
Effective start/end date01/08/0531/07/08

Collaborative partners

  • 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. (eds.). Linköping university electronic press, p. 21–28

    Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-review

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

    Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-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. (eds.). dpunkt.verlag GmbH, p. –

    Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-review