• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Design and Validation of Digital Controllers for Hydraulics Systems

Pontus Boström, Matti Linjama, Lionel Morel, Lauri Siivonen, Marina Waldén, Design and Validation of Digital Controllers for Hydraulics Systems. In: J. Vilenius, K. T. Koskimies, J. Uusi-Heikkilä (Eds.), Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07), 1, 227-241, Tampere University of Technology, 2007.

Abstract:

In order to increase the flexibility and performance of hydraulically
actuated machines there is a demand for more intelligent controllers.
This leads to a rapid increase in complexity of the control systems. To
manage the complexity and to ensure reliability of these systems, adequate
software development methods are needed. In this work, we propose a
methodology for structured design of digital hydraulics controllers in
Simulink/Stateflow. A model architecture based on mode-automata is
introduced to separate control and data processing. Furthermore, {\em
design by contract} is advocated as a method for system development. The
contracts can be used to mathematically reason about correctness of
Simulink/Stateflow models and thereby increase the safety and reliability
of the developed systems. The usefulness of these concepts are demonstrated
on a larger case study from the area of digital hydraulics.

BibTeX entry:

@INPROCEEDINGS{inpBoLiMoSiWa07a,
  title = {Design and Validation of Digital Controllers for Hydraulics Systems},
  booktitle = {Proceedings of 10th Scandinavian International Conference on Fluid Power (SICFP'07)},
  author = {Boström, Pontus and Linjama, Matti and Morel, Lionel and Siivonen, Lauri and Waldén, Marina},
  volume = {1},
  editor = {Vilenius, J. and Koskimies, K. T. and Uusi-Heikkilä, J.},
  publisher = {Tampere University of Technology},
  pages = {227-241},
  year = {2007},
  keywords = {Controller Architecture, Mode-Automata, Simulink/Stateflow, Design by Contract, Reliability},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication