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

Research output: PhD thesis

208 Downloads (Pure)

Original language	English
Publisher	Aalborg Universitetsforlag
Electronic ISBNs	978-87-7112-451-4
DOIs	https://doi.org/10.5278/vbn.phd.engsci.00072
Publication status	Published - 2016

Access to Document

@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 -