Contract-based Design in Controller Development and its Evaluation

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

Contract-based Design in Controller Development and its Evaluation

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

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

Alkuperäiskieli	Ei tiedossa
Otsikko	NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
Toimittajat	Mikael Asplund, Simin Nadjm-Tehrani, Luigia Petre
Kustantaja	Linköping university electronic press
Sivut	21–28
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2009-04-27 - NOrdic workshop and doctoral symposium on DEpendability and Security, NODES 09 Kesto: 27 huhtik. 2009 → …

Konferenssi

Konferenssi	conference; 2009-04-27
Ajanjakso	27/04/09 → …

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
ITCEE: Improving Transient Control and Energy Efficiency by digital hydraulics (TEKES, KITARA-programme)
Walden, M. (CoPI), Sere, K. (Vastuullinen tutkija), Boström, P. (CoI), Morel, L. (CoI), Satpathy, M. (CoI), Olszewska, M. (CoI), Meincke, L. (CoI) & Malik, Q. (CoI)
01/08/05 → 31/07/08
Projekti: Industry/Business Finland

Viittausmuodot

Boström, P., Olszewska, M., Huova, M., Linjama, M., Heikkilä, M., Sere, K., & Walden, M. (2009). Contract-based Design in Controller Development and its Evaluation. teoksessa M. Asplund, S. Nadjm-Tehrani, & L. Petre (Toimittajat), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009 (Sivut 21–28). Linköping university electronic press.

@inproceedings{2bbc6b31fbe94ccf81e145a039bd7fd0,

title = "Contract-based Design in Controller Development and its Evaluation",

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

year = "2009",

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

pages = "21–28",

editor = "Mikael Asplund and Simin Nadjm-Tehrani and Luigia Petre",

booktitle = "NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Link{\"o}ping, Sweden, April 27, 2009",

publisher = "Link{\"o}ping university electronic press",

note = "conference; 2009-04-27 ; Conference date: 27-04-2009",

}

Boström, P, Olszewska, M, Huova, M, Linjama, M, Heikkilä, M, Sere, K & Walden, M 2009, Contract-based Design in Controller Development and its Evaluation. julkaisussa M Asplund, S Nadjm-Tehrani & L Petre (toim), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009. Linköping university electronic press, Sivut 21–28, conference; 2009-04-27, 27/04/09.

Contract-based Design in Controller Development and its Evaluation. / Boström, Pontus; Olszewska, Marta; Huova, Mikko et al.
NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009. toim. / Mikael Asplund; Simin Nadjm-Tehrani; Luigia Petre. Linköping university electronic press, 2009. s. 21–28.

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

TY - GEN

T1 - Contract-based Design in Controller Development and its Evaluation

AU - Boström, Pontus

AU - Olszewska, Marta

AU - Huova, Mikko

AU - Linjama, Matti

AU - Heikkilä, Mikko

AU - Sere, Kaisa

AU - Walden, Marina

PY - 2009

Y1 - 2009

M3 - Publicerad konferensartikel

SP - 21

EP - 28

BT - NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009

A2 - Asplund, Mikael

A2 - Nadjm-Tehrani, Simin

A2 - Petre, Luigia

PB - Linköping university electronic press

T2 - conference; 2009-04-27

Y2 - 27 April 2009

ER -

Boström P, Olszewska M, Huova M, Linjama M, Heikkilä M, Sere K et al. Contract-based Design in Controller Development and its Evaluation. julkaisussa Asplund M, Nadjm-Tehrani S, Petre L, toimittajat, NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009. Linköping university electronic press. 2009. s. 21–28

Contract-based Design in Controller Development and its Evaluation

Konferenssi

Projektit

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)

ITCEE: Improving Transient Control and Energy Efficiency by digital hydraulics (TEKES, KITARA-programme)

Viittausmuodot