Projects per year
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, 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.
| Original language | English |
|---|---|
| Publisher | Turku Centre for Computer Science (TUCS) |
| ISBN (Print) | 978-952-12-1842-2 |
| Publication status | Published - 2006 |
| MoE publication type | D4 Published development or research report or study |
Publication series
| Name | TUCS Technical Report |
|---|---|
| Volume | 800 |
| ISSN (Print) | 1239-1891 |
Keywords
- Controller Architecture
- Mode-Automata
- Simulink/Stateflow
- Design by Contract
- Reliability
Fingerprint
Dive into the research topics of 'Design and Validation of Digital Controllers for Hydraulics Systems'. Together they form a unique fingerprint.Projects
- 1 Finished
-
ITCEE: Improving Transient Control and Energy Efficiency by digital hydraulics (TEKES, KITARA-programme)
Walden, M. (Co-Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Morel, L. (Co-Investigator), Satpathy, M. (Co-Investigator), Olszewska, M. (Co-Investigator), Meincke, L. (Co-Investigator) & Malik, Q. (Co-Investigator)
01/08/05 → 31/07/08
Project: Industry/Business Finland