{"id":"https://openalex.org/W3023751629","doi":"https://doi.org/10.1007/s00165-018-0458-2","title":"Battery-aware scheduling in low orbit: the GomX\u20133 case","display_name":"Battery-aware scheduling in low orbit: the GomX\u20133 case","publication_year":2018,"publication_date":"2018-07-04","ids":{"openalex":"https://openalex.org/W3023751629","doi":"https://doi.org/10.1007/s00165-018-0458-2","mag":"3023751629"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-018-0458-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-018-0458-2","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-018-0458-2","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-018-0458-2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103570702","display_name":"Morten Bisgaard","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Morten Bisgaard","raw_affiliation_strings":["GomSpace ApS, Aalborg, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GomSpace ApS, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003374080","display_name":"David Gerhardt","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"David Gerhardt","raw_affiliation_strings":["GomSpace ApS, Aalborg, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GomSpace ApS, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028747794","display_name":"Holger Hermanns","orcid":"https://orcid.org/0000-0002-2766-9615"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Holger Hermanns","raw_affiliation_strings":["Saarland University \u2013 Computer Science, Saarland Informatics Campus, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saarland University \u2013 Computer Science, Saarland Informatics Campus, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081789779","display_name":"Jan Kr\u010d\u00e1l","orcid":null},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Kr\u010d\u00e1l","raw_affiliation_strings":["Saarland University \u2013 Computer Science, Saarland Informatics Campus, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saarland University \u2013 Computer Science, Saarland Informatics Campus, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042967428","display_name":"Gilles Nies","orcid":"https://orcid.org/0000-0002-2535-1590"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gilles Nies","raw_affiliation_strings":["Saarland University \u2013 Computer Science, Saarland Informatics Campus, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0000-0002-2535-1590","affiliations":[{"raw_affiliation_string":"Saarland University \u2013 Computer Science, Saarland Informatics Campus, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087165827","display_name":"Marvin Stenger","orcid":null},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marvin Stenger","raw_affiliation_strings":["Saarland University \u2013 Computer Science, Saarland Informatics Campus, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saarland University \u2013 Computer Science, Saarland Informatics Campus, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5103570702"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":1.8998,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.87893826,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"31","issue":"2","first_page":"261","last_page":"285"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10663","display_name":"Advanced Battery Technologies Research","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7798585295677185},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6605468988418579},{"id":"https://openalex.org/keywords/satellite","display_name":"Satellite","score":0.464147686958313},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4621250331401825},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.44672688841819763},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.437640905380249},{"id":"https://openalex.org/keywords/workload","display_name":"Workload","score":0.43679237365722656},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3671083152294159},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.25751757621765137},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2018599510192871},{"id":"https://openalex.org/keywords/aerospace-engineering","display_name":"Aerospace engineering","score":0.12831932306289673}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7798585295677185},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6605468988418579},{"id":"https://openalex.org/C19269812","wikidata":"https://www.wikidata.org/wiki/Q26540","display_name":"Satellite","level":2,"score":0.464147686958313},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4621250331401825},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.44672688841819763},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.437640905380249},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.43679237365722656},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3671083152294159},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.25751757621765137},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2018599510192871},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.12831932306289673},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00165-018-0458-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-018-0458-2","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-018-0458-2","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:zenodo.org:3504533","is_oa":true,"landing_page_url":"https://zenodo.org/record/3504533","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s00165-018-0458-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-018-0458-2","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-018-0458-2","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2530059168","display_name":null,"funder_award_id":"RFP/NC/IPL- PTE/GLC/as/881.2014","funder_id":"https://openalex.org/F4320318240","funder_display_name":"European Space Agency"},{"id":"https://openalex.org/G4953002138","display_name":null,"funder_award_id":"695614","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G5176241688","display_name":null,"funder_award_id":"RFP/NC/IPL-PTE/GLC/as/881.2014","funder_id":"https://openalex.org/F4320318240","funder_display_name":"European Space Agency"},{"id":"https://openalex.org/G8584818304","display_name":null,"funder_award_id":"318490","funder_id":"https://openalex.org/F4320333065","funder_display_name":"Seventh Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320318240","display_name":"European Space Agency","ror":"https://ror.org/03wd9za21"},{"id":"https://openalex.org/F4320321015","display_name":"University of Twente","ror":"https://ror.org/006hf6230"},{"id":"https://openalex.org/F4320321409","display_name":"Aalborg Universitet","ror":"https://ror.org/04m5j1k67"},{"id":"https://openalex.org/F4320333065","display_name":"Seventh Framework Programme","ror":null},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3023751629.pdf","grobid_xml":"https://content.openalex.org/works/W3023751629.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W98269856","https://openalex.org/W1022177737","https://openalex.org/W1541469688","https://openalex.org/W1574915741","https://openalex.org/W1987734880","https://openalex.org/W2000947342","https://openalex.org/W2005186378","https://openalex.org/W2008445369","https://openalex.org/W2037736623","https://openalex.org/W2050591158","https://openalex.org/W2065323166","https://openalex.org/W2099874319","https://openalex.org/W2101508170","https://openalex.org/W2105934661","https://openalex.org/W2118857421","https://openalex.org/W2123757087","https://openalex.org/W2130664212","https://openalex.org/W2151534553","https://openalex.org/W2152571083","https://openalex.org/W2170977282","https://openalex.org/W2176215692","https://openalex.org/W2527940885","https://openalex.org/W2555199731","https://openalex.org/W2599510053","https://openalex.org/W2604773389","https://openalex.org/W2763149318"],"related_works":["https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2067910792","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2889071233","https://openalex.org/W4321471459","https://openalex.org/W4221156924","https://openalex.org/W2380814829"],"abstract_inverted_index":{"Abstract":[0],"When":[1],"working":[2],"with":[3,138],"space":[4],"systems":[5],"the":[6,20,158,178,189],"keyword":[7],"is":[8,26,29,40,65],"resources.":[9],"For":[10],"a":[11,71,114,139,165,199],"satellite":[12,46],"in":[13,47,53],"orbit":[14,48],"all":[15,25],"resources":[16],"are":[17,82,97],"scarce":[18],"and":[19,95,104,171,191,217],"most":[21],"critical":[22],"resource":[23],"of":[24,70,101,133,145,195],"power.":[27],"It":[28,127],"therefore":[30],"crucial":[31],"to":[32,66,92,117,176,214],"have":[33],"detailed":[34],"knowledge":[35],"on":[36],"how":[37,157,205],"much":[38],"power":[39,59,88],"available":[41],"for":[42,121,188],"an":[43],"energy":[44],"harvesting":[45],"at":[49],"every":[50],"time\u2014especially":[51],"when":[52],"eclipse,":[54],"where":[55],"it":[56],"draws":[57],"its":[58],"from":[60],"onboard":[61],"batteries.":[62],"The":[63,181],"challenge":[64],"maximise":[67],"operational":[68],"performance":[69],"satellite,":[72],"while":[73],"providing":[74],"hard":[75],"guarantees":[76],"that":[77,167],"critically":[78],"low":[79],"battery":[80,142],"levels":[81],"avoided,":[83],"taking":[84],"into":[85,164],"account":[86],"these":[87],"restrictions.":[89],"Classic":[90],"approaches":[91],"workload":[93],"scheduling":[94,120,194],"analysis":[96,160],"not":[98],"suitable,":[99],"because":[100],"heterogeneity,":[102],"interdependencies":[103],"system":[105],"dynamics":[106],"involved.":[107],"This":[108],"paper":[109],"addresses":[110],"this":[111,206],"problem":[112],"by":[113],"two-step":[115],"procedure":[116,183],"perform":[118],"task":[119,179],"low-earth-orbit":[122],"satellites":[123],"exploiting":[124],"formal":[125],"methods.":[126],"combines":[128],"time-bounded":[129,159],"cost-optimal":[130],"reachability":[131],"analyses":[132],"priced":[134],"timed":[135],"automata":[136],"networks":[137],"realistic":[140],"kinetic":[141],"model":[143],"capable":[144],"capturing":[146],"capacity":[147],"limits":[148],"as":[149,151,175],"well":[150],"stochastic":[152],"fluctuations.":[153],"We":[154,203],"also":[155],"discuss":[156],"can":[161],"be":[162],"embedded":[163],"workflow":[166],"exploits":[168],"in-orbit":[169,187],"current":[170],"voltage":[172],"measurements":[173],"so":[174],"perpetuate":[177],"scheduling.":[180],"core":[182],"has":[184,208,212,218],"been":[185],"exercised":[186],"automatic":[190],"resource-optimal":[192],"day-ahead":[193],"G":[196],"om":[197],"X\u20133,":[198],"power-hungry":[200],"3-unit":[201],"nanosatellite.":[202],"explain":[204],"approach":[207],"overcome":[209],"existing":[210],"problems,":[211],"led":[213],"improved":[215],"designs,":[216],"provided":[219],"new":[220],"insights.":[221]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":4}],"updated_date":"2026-05-18T08:16:58.900851","created_date":"2025-10-10T00:00:00"}