{"id":"https://openalex.org/W4401344959","doi":"https://doi.org/10.1007/s10270-024-01195-9","title":"Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games","display_name":"Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games","publication_year":2024,"publication_date":"2024-08-05","ids":{"openalex":"https://openalex.org/W4401344959","doi":"https://doi.org/10.1007/s10270-024-01195-9"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-024-01195-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01195-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01195-9.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01195-9.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040241905","display_name":"Hendrik G\u00f6ttmann","orcid":"https://orcid.org/0000-0002-2753-7719"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Hendrik G\u00f6ttmann","raw_affiliation_strings":["Real-Time Systems Lab, Technical University of Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0002-2753-7719","affiliations":[{"raw_affiliation_string":"Real-Time Systems Lab, Technical University of Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015182628","display_name":"Birte Caesar","orcid":"https://orcid.org/0000-0001-7772-7337"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]},{"id":"https://openalex.org/I4210157642","display_name":"Institute of Automation","ror":"https://ror.org/056qj1t15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210157642","https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Birte Caesar","raw_affiliation_strings":["Institute of Automation Technology, Helmut Schmidt University, Hamburg, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7772-7337","affiliations":[{"raw_affiliation_string":"Institute of Automation Technology, Helmut Schmidt University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885","https://openalex.org/I4210157642"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082992149","display_name":"Lasse Beers","orcid":"https://orcid.org/0000-0003-0946-7742"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]},{"id":"https://openalex.org/I4210157642","display_name":"Institute of Automation","ror":"https://ror.org/056qj1t15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210157642","https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lasse Beers","raw_affiliation_strings":["Institute of Automation Technology, Helmut Schmidt University, Hamburg, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0946-7742","affiliations":[{"raw_affiliation_string":"Institute of Automation Technology, Helmut Schmidt University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885","https://openalex.org/I4210157642"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056787798","display_name":"Malte Lochau","orcid":"https://orcid.org/0000-0002-8404-753X"},"institutions":[{"id":"https://openalex.org/I206895457","display_name":"University of Siegen","ror":"https://ror.org/02azyry73","country_code":"DE","type":"education","lineage":["https://openalex.org/I206895457"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Malte Lochau","raw_affiliation_strings":["Model-Based Engineering Group, University of Siegen, Siegen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8404-753X","affiliations":[{"raw_affiliation_string":"Model-Based Engineering Group, University of Siegen, Siegen, Germany","institution_ids":["https://openalex.org/I206895457"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013053241","display_name":"Andy Sch\u00fcrr","orcid":"https://orcid.org/0000-0001-8100-1109"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andy Sch\u00fcrr","raw_affiliation_strings":["Real-Time Systems Lab, Technical University of Darmstadt, Darmstadt, Germany"],"raw_orcid":"https://orcid.org/0000-0001-8100-1109","affiliations":[{"raw_affiliation_string":"Real-Time Systems Lab, Technical University of Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016841027","display_name":"Alexander Fay","orcid":"https://orcid.org/0000-0002-1922-654X"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]},{"id":"https://openalex.org/I4210157642","display_name":"Institute of Automation","ror":"https://ror.org/056qj1t15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210157642","https://openalex.org/I78650965"]},{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Fay","raw_affiliation_strings":["Chair of Automation, Ruhr University, Bochum, Germany","Institute of Automation Technology, Helmut Schmidt University, Hamburg, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1922-654X","affiliations":[{"raw_affiliation_string":"Chair of Automation, Ruhr University, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]},{"raw_affiliation_string":"Institute of Automation Technology, Helmut Schmidt University, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885","https://openalex.org/I4210157642"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5040241905"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.419,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81570433,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"24","issue":"4","first_page":"1059","last_page":"1089"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"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.9993000030517578,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/precomputation","display_name":"Precomputation","score":0.9943851232528687},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.8122353553771973},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6694169640541077},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3231099545955658},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.23495393991470337},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.10244718194007874}],"concepts":[{"id":"https://openalex.org/C159379195","wikidata":"https://www.wikidata.org/wiki/Q7239568","display_name":"Precomputation","level":3,"score":0.9943851232528687},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.8122353553771973},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6694169640541077},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3231099545955658},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.23495393991470337},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.10244718194007874},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10270-024-01195-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01195-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01195-9.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:149198","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/149198/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":{"id":"doi:10.1007/s10270-024-01195-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-024-01195-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-024-01195-9.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4744901200","display_name":null,"funder_award_id":"CRC 1053 MAKI","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G8577637170","display_name":null,"funder_award_id":"SFB 1053","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G8793038005","display_name":null,"funder_award_id":"210487104","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401344959.pdf","grobid_xml":"https://content.openalex.org/works/W4401344959.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W59365162","https://openalex.org/W88515723","https://openalex.org/W92051393","https://openalex.org/W644447851","https://openalex.org/W1482233117","https://openalex.org/W1569051713","https://openalex.org/W1573865009","https://openalex.org/W1580572138","https://openalex.org/W1587691136","https://openalex.org/W1792369775","https://openalex.org/W1862398452","https://openalex.org/W1962072139","https://openalex.org/W1986416516","https://openalex.org/W1990911977","https://openalex.org/W1991396026","https://openalex.org/W2017150251","https://openalex.org/W2023808162","https://openalex.org/W2025782239","https://openalex.org/W2045173716","https://openalex.org/W2049696538","https://openalex.org/W2053684693","https://openalex.org/W2056896754","https://openalex.org/W2065323166","https://openalex.org/W2099213660","https://openalex.org/W2111765806","https://openalex.org/W2113201637","https://openalex.org/W2121319037","https://openalex.org/W2128967738","https://openalex.org/W2135876957","https://openalex.org/W2139101939","https://openalex.org/W2144965436","https://openalex.org/W2156879585","https://openalex.org/W2166423024","https://openalex.org/W2407348992","https://openalex.org/W2442701636","https://openalex.org/W2481150835","https://openalex.org/W2525427301","https://openalex.org/W2590123570","https://openalex.org/W2591698964","https://openalex.org/W2626297971","https://openalex.org/W2742858122","https://openalex.org/W2753494700","https://openalex.org/W2912198824","https://openalex.org/W2962858291","https://openalex.org/W2990292333","https://openalex.org/W3013238004","https://openalex.org/W3021385735","https://openalex.org/W3033649961","https://openalex.org/W3035434438","https://openalex.org/W3043398144","https://openalex.org/W3090077115","https://openalex.org/W3093479430","https://openalex.org/W3093556890","https://openalex.org/W3099242408","https://openalex.org/W3119776821","https://openalex.org/W3126793167","https://openalex.org/W4200624005","https://openalex.org/W4230126391","https://openalex.org/W4246219036","https://openalex.org/W4255176593","https://openalex.org/W4297922711","https://openalex.org/W4307279682","https://openalex.org/W4312989560","https://openalex.org/W4388927324","https://openalex.org/W6637251723"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W126258643","https://openalex.org/W2157769033","https://openalex.org/W2096978683","https://openalex.org/W414359703","https://openalex.org/W2687399516","https://openalex.org/W2543067032","https://openalex.org/W2170398238","https://openalex.org/W3029113864"],"abstract_inverted_index":{"Abstract":[0],"In":[1,112],"many":[2],"recent":[3],"application":[4],"domains,":[5],"software":[6],"systems":[7],"must":[8],"repeatedly":[9],"reconfigure":[10],"themselves":[11],"at":[12,181],"runtime":[13,83,110],"to":[14,106,153,173,203,211,238],"satisfy":[15],"changing":[16],"contextual":[17],"requirements.":[18],"To":[19],"decide":[20],"which":[21,72,164],"next":[22],"configuration":[23],"is":[24,28,101,235],"presumably":[25,167],"best":[26],"suited":[27],"a":[29,117,135,212,217,244],"very":[30],"challenging":[31],"task":[32],"as":[33,145,171],"it":[34],"involves":[35],"not":[36,89,103],"only":[37],"functional":[38],"requirements":[39],"but":[40],"also":[41,102],"non-functional":[42],"properties":[43],"(NFP).":[44],"NFP":[45],"include":[46],"multiple,":[47],"potentially":[48,78],"contradicting,":[49],"criteria":[50],"like":[51,57],"real-time":[52,128],"constraints":[53,129],"and":[54,130],"cost":[55,131],"measures":[56],"energy":[58],"consumption.":[59],"Effectiveness":[60],"of":[61,175,192,216,225,247],"context-aware":[62,122],"reconfiguration":[63,86,96,123,146,169,241],"decisions":[64,97,124,170],"further":[65],"depends":[66],"on":[67,139],"mostly":[68],"uncertain":[69,127],"future":[70],"contexts":[71],"makes":[73],"greedy":[74],"one-step":[75],"decision":[76],"heuristics":[77],"misleading.":[79],"Moreover,":[80],"the":[81,91,159,176,188,197,223],"computational":[82,190],"overhead":[84],"for":[85,120,158,222],"planning":[87],"should":[88],"nullify":[90],"benefits.":[92],"Nevertheless,":[93],"entirely":[94],"pre-planning":[95],"during":[98],"design":[99],"time":[100],"feasible":[104],"due":[105],"missing":[107],"knowledge":[108],"about":[109],"contexts.":[111],"this":[113],"article,":[114],"we":[115],"propose":[116],"model-based":[118],"technique":[119],"precomputing":[121],"under":[125],"partially":[126],"measures.":[132],"We":[133,207],"employ":[134],"game-theoretic":[136],"approach":[137],"based":[138],"stochastic":[140],"priced":[141],"timed":[142],"game":[143],"automata":[144],"model.":[147],"This":[148],"formal":[149],"model":[150,199],"allows":[151],"us":[152],"automatically":[154],"synthesize":[155],"winning":[156],"strategies":[157,242],"first":[160],"player":[161,178],"(the":[162,179],"system)":[163],"efficiently":[165],"delivers":[166],"best-fitting":[168],"reactions":[172],"moves":[174],"second":[177],"context)":[180],"runtime.":[182],"Our":[183,228],"tool":[184,210],"implementation":[185],"copes":[186],"with":[187],"high":[189],"complexity":[191],"strategy":[193],"synthesis":[194],"by":[195],"utilizing":[196],"statistical":[198],"checker":[200],"Uppaal":[201,233],"Stratego":[202,234],"approximate":[204],"near-optimal":[205],"solutions.":[206],"applied":[208],"our":[209],"real-world":[213],"example":[214],"consisting":[215],"reconfigurable":[218],"robot":[219],"support":[220],"system":[221],"construction":[224],"aircraft":[226],"fuselages.":[227],"evaluation":[229],"results":[230],"show":[231],"that":[232],"indeed":[236],"able":[237],"precompute":[239],"effective":[240],"within":[243],"reasonable":[245],"amount":[246],"time.":[248]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-26T08:31:28.666265","created_date":"2025-10-10T00:00:00"}