Development of Controllers Using Simulink and Contract-Based Design

Pontus Boström; Mikko Huova; Marta Olszewska; Matti Linjama; Mikko Heikkilä; Kaisa Sere; Marina Walden

doi:10.4018/978-1-60960-747-0.ch008

Development of Controllers Using Simulink and Contract-Based Design

Pontus Boström, Mikko Huova, Marta Olszewska, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Walden

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Editors	L Petre, K Sere, E Troubitsyna
Publisher	Information science reference IGI
Pages	151–169
ISBN (Electronic)	9781609607487
ISBN (Print)	9781609607470
DOIs	https://doi.org/10.4018/978-1-60960-747-0.ch008
Publication status	Published - 2011
MoE publication type	A3 Part of a book or another research book

Access to Document

10.4018/978-1-60960-747-0.ch008

Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M. (Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Alexeev, P. S. (Co-Investigator), Ostroumov, S. (Co-Investigator), Wiik, J. (Co-Investigator), Olszewska, M. (Co-Investigator) & Dahlvik, M. (Co-Investigator)
01/05/11 → 30/09/14
Project: Industry/Business Finland
DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Alexeev, P. S. (Co-Investigator), Ostroumov, S. (Co-Investigator) & Wiik, J. (Co-Investigator)
01/06/09 → 30/09/14
Project: Industry/Business Finland

Cite this

Boström, P., Huova, M., Olszewska, M., Linjama, M., Heikkilä, M., Sere, K., & Walden, M. (2011). Development of Controllers Using Simulink and Contract-Based Design. In L. Petre, K. Sere, & E. Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems (pp. 151–169). Information science reference IGI. https://doi.org/10.4018/978-1-60960-747-0.ch008

@inbook{2b533667cf4f437980b6a1e36d31e8b1,

title = "Development of Controllers Using Simulink and Contract-Based Design",

author = "Pontus Bostr{\"o}m and Mikko Huova and Marta Olszewska and Matti Linjama and Mikko Heikkil{\"a} and Kaisa Sere and Marina Walden",

year = "2011",

doi = "10.4018/978-1-60960-747-0.ch008",

language = "Odefinierat/ok{\"a}nt",

isbn = "9781609607470",

pages = "151–169",

editor = "L Petre and K Sere and E Troubitsyna",

booktitle = "Dependability and Computer Engineering: Concepts for Software-Intensive Systems",

publisher = "Information science reference IGI",

}

Boström, P, Huova, M, Olszewska, M, Linjama, M, Heikkilä, M, Sere, K & Walden, M 2011, Development of Controllers Using Simulink and Contract-Based Design. in L Petre, K Sere & E Troubitsyna (eds), Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Information science reference IGI, pp. 151–169. https://doi.org/10.4018/978-1-60960-747-0.ch008

Development of Controllers Using Simulink and Contract-Based Design. / Boström, Pontus; Huova, Mikko; Olszewska, Marta et al.
Dependability and Computer Engineering: Concepts for Software-Intensive Systems. ed. / L Petre; K Sere; E Troubitsyna. Information science reference IGI, 2011. p. 151–169.

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

TY - CHAP

T1 - Development of Controllers Using Simulink and Contract-Based Design

AU - Boström, Pontus

AU - Huova, Mikko

AU - Olszewska, Marta

AU - Linjama, Matti

AU - Heikkilä, Mikko

AU - Sere, Kaisa

AU - Walden, Marina

PY - 2011

Y1 - 2011

U2 - 10.4018/978-1-60960-747-0.ch008

DO - 10.4018/978-1-60960-747-0.ch008

M3 - Kapitel

SN - 9781609607470

SP - 151

EP - 169

BT - Dependability and Computer Engineering: Concepts for Software-Intensive Systems

A2 - Petre, L

A2 - Sere, K

A2 - Troubitsyna, E

PB - Information science reference IGI

ER -

Development of Controllers Using Simulink and Contract-Based Design

Access to Document

Projects

Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)

Cite this