Publikationer per år
Publikationer per år
Projektinformation
Beskrivning
This is a project within Fimecc/EFFIMA/MeKo SHOK for the period 2009-2014. The goal of the project is to develop second generation digital hydraulic valves that are energy efficient, as well as to improve controllability and fault tolerance of control systems via developing modular control code.
| Akronym | DiHy |
|---|---|
| Status | Slutfört |
| Gällande start-/slutdatum | 01/06/09 → 30/09/14 |
Samarbetspartner
- Åbo Akademi (huvudsaklig)
- Tamperen teknillinen yliopisto
- Aalto-Universitetet
- Valmet (Finland)
- Metso Automation Oy
- Nurmi Hydraulics Oy
-
Contract-based verification of discrete-time multi-rate Simulink models
Boström, P. & Wiik, J., 2015, I: Software and Systems Modeling. s. –Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
14 Citeringar (Scopus) -
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–420Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Deriving Efficient and Dependable Parallel Programs from Simulink Models
Ostroumov, S., Boström, P., Walden, M. & Huova, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1111)Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
Öppen tillgångFil63 Nedladdningar (Pure)