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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Toimittajat	L Petre, K Sere, E Troubitsyna
Kustantaja	Information science reference IGI
Sivut	151–169
ISBN (elektroninen)	9781609607487
ISBN (painettu)	9781609607470
DOI - pysyväislinkit	https://doi.org/10.4018/978-1-60960-747-0.ch008
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A3 Kirjan osa tai toinen tutkimuskirja

Pääsy asiakirjaan

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. (Vastuullinen tutkija), Sere, K. (Vastuullinen tutkija), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI), Wiik, J. (CoI), Olszewska, M. (CoI) & Dahlvik, M. (CoI)
01/05/11 → 30/09/14
Projekti: Industry/Business Finland
DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Vastuullinen tutkija), Sere, K. (Vastuullinen tutkija), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI) & Wiik, J. (CoI)
01/06/09 → 30/09/14
Projekti: Industry/Business Finland

Viittausmuodot

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. teoksessa L. Petre, K. Sere, & E. Troubitsyna (Toimittajat), Dependability and Computer Engineering: Concepts for Software-Intensive Systems (Sivut 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. julkaisussa L Petre, K Sere & E Troubitsyna (toim), Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Information science reference IGI, Sivut 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. toim. / L Petre; K Sere; E Troubitsyna. Information science reference IGI, 2011. s. 151–169.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

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

Pääsy asiakirjaan

Projektit

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

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)

Viittausmuodot