Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking

Publikation: Ph.d.-afhandling

230 Downloads (Pure)

Originalsprog	Engelsk
Udgiver	Aalborg Universitetsforlag
ISBN'er, elektronisk	978-87-7112-451-4
DOI	https://doi.org/10.5278/vbn.phd.engsci.00072
Status	Udgivet - 2016

Kim Guldstrand Larsen, Hovedvejleder
Rene Rydhof Hansen, Bivejleder

Adgang til dokumentet

@misc{a508401079ae43cfbb05a5695d30aaea,

title = "Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking",

author = "Wognsen, {Erik Ramsgaard}",

note = "Kim Guldstrand Larsen, Hovedvejleder Rene Rydhof Hansen, Bivejleder ",

year = "2016",

doi = "10.5278/vbn.phd.engsci.00072",

language = "English",

series = "Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

}

TY - GEN

T1 - Batteries in Space

T2 - Designing Energy-Optimal Satellites with Statistical Model Checking

AU - Wognsen, Erik Ramsgaard

N1 - Kim Guldstrand Larsen, Hovedvejleder Rene Rydhof Hansen, Bivejleder

PY - 2016

Y1 - 2016

U2 - 10.5278/vbn.phd.engsci.00072

DO - 10.5278/vbn.phd.engsci.00072

M3 - PhD thesis

T3 - Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet

PB - Aalborg Universitetsforlag

ER -