Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

Pontus Boström; Petr Sergeevish Alexeev; Mikko Heikkilä; Mikko Huova; Marina Walden; Matti Linjama

doi:10.1007/978-3-319-10702-8

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

Pontus Boström, Petr Sergeevish Alexeev, Mikko Heikkilä, Mikko Huova, Marina Walden, Matti Linjama

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

Original language	Undefined/Unknown
Title of host publication	Formal Methods for Industrial Critical Systems
Editors	Frédéric Lang, Francesco Flammini
Publisher	Lecture notes for computer science
Pages	33–47
ISBN (Electronic)	978-3-319-10702-8
ISBN (Print)	978-3-319-10701-1
DOIs	https://doi.org/10.1007/978-3-319-10702-8
Publication status	Published - 2014
MoE publication type	A4 Article in a conference publication
Event	conference; 2014-09-11; 2014-09-12 - Ghent, Belgium Duration: 11 Sept 2014 → 12 Sept 2014

Conference

Conference	conference; 2014-09-11; 2014-09-12
Period	11/09/14 → 12/09/14

Access to Document

10.1007/978-3-319-10702-8

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

Cite this

@inproceedings{1a312268495c4f9aa6f91825bde90cf4,

title = "Analysis of Real-Time Properties of a Digital Hydraulic Power Management System",

author = "Pontus Bostr{\"o}m and Alexeev, {Petr Sergeevish} and Mikko Heikkil{\"a} and Mikko Huova and Marina Walden and Matti Linjama",

year = "2014",

doi = "10.1007/978-3-319-10702-8",

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

isbn = "978-3-319-10701-1",

pages = "33–47",

editor = "Fr{\'e}d{\'e}ric Lang and Francesco Flammini",

booktitle = "Formal Methods for Industrial Critical Systems",

publisher = "Lecture notes for computer science",

note = "conference; 2014-09-11; 2014-09-12 ; Conference date: 11-09-2014 Through 12-09-2014",

}

Boström, P, Alexeev, PS, Heikkilä, M, Huova, M, Walden, M & Linjama, M 2014, Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. in F Lang & F Flammini (eds), Formal Methods for Industrial Critical Systems. Lecture notes for computer science, pp. 33–47, conference; 2014-09-11; 2014-09-12, 11/09/14. https://doi.org/10.1007/978-3-319-10702-8

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. / Boström, Pontus; Alexeev, Petr Sergeevish; Heikkilä, Mikko et al.
Formal Methods for Industrial Critical Systems. ed. / Frédéric Lang; Francesco Flammini. Lecture notes for computer science, 2014. p. 33–47.

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

TY - GEN

T1 - Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

AU - Boström, Pontus

AU - Alexeev, Petr Sergeevish

AU - Heikkilä, Mikko

AU - Huova, Mikko

AU - Walden, Marina

AU - Linjama, Matti

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-10702-8

DO - 10.1007/978-3-319-10702-8

M3 - Konferensbidrag

SN - 978-3-319-10701-1

SP - 33

EP - 47

BT - Formal Methods for Industrial Critical Systems

A2 - Lang, Frédéric

A2 - Flammini, Francesco

PB - Lecture notes for computer science

T2 - conference; 2014-09-11; 2014-09-12

Y2 - 11 September 2014 through 12 September 2014

ER -

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

Conference

Access to Document

Projects

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

Cite this