{"id":"https://openalex.org/W4391421442","doi":"https://doi.org/10.48550/arxiv.2401.17187","title":"Formal Synthesis of Uncertainty Reduction Controllers","display_name":"Formal Synthesis of Uncertainty Reduction Controllers","publication_year":2024,"publication_date":"2024-01-30","ids":{"openalex":"https://openalex.org/W4391421442","doi":"https://doi.org/10.48550/arxiv.2401.17187"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2401.17187","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.17187","pdf_url":"https://arxiv.org/pdf/2401.17187","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2401.17187","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086773593","display_name":"Marc Carwehl","orcid":"https://orcid.org/0000-0003-0631-365X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Carwehl, Marc","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070675201","display_name":"Calum Imrie","orcid":"https://orcid.org/0009-0004-3198-9226"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Imrie, Calum","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043774905","display_name":"Thomas Vogel","orcid":"https://orcid.org/0000-0002-7127-352X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vogel, Thomas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039374886","display_name":"Gena\u00edna Nunes Rodrigues","orcid":"https://orcid.org/0000-0003-1661-8131"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rodrigues, Gena\u00edna","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011374280","display_name":"Radu C\u0103linescu","orcid":"https://orcid.org/0000-0002-2678-9260"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Calinescu, Radu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5011312561","display_name":"Lars Grunske","orcid":"https://orcid.org/0000-0002-8747-3745"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Grunske, Lars","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14470","display_name":"Advanced Data Processing Techniques","score":0.9745000004768372,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T14470","display_name":"Advanced Data Processing Techniques","score":0.9745000004768372,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T13935","display_name":"Mathematical Control Systems and Analysis","score":0.9199000000953674,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.7664721012115479},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47415345907211304},{"id":"https://openalex.org/keywords/uncertainty-reduction-theory","display_name":"Uncertainty reduction theory","score":0.4201127886772156},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26323726773262024},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.1378491222858429},{"id":"https://openalex.org/keywords/communication","display_name":"Communication","score":0.10031864047050476}],"concepts":[{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7664721012115479},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47415345907211304},{"id":"https://openalex.org/C94361409","wikidata":"https://www.wikidata.org/wiki/Q7882500","display_name":"Uncertainty reduction theory","level":2,"score":0.4201127886772156},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26323726773262024},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.1378491222858429},{"id":"https://openalex.org/C46312422","wikidata":"https://www.wikidata.org/wiki/Q11024","display_name":"Communication","level":1,"score":0.10031864047050476},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2401.17187","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.17187","pdf_url":"https://arxiv.org/pdf/2401.17187","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:eprints.whiterose.ac.uk:210489","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.whiterose.ac.uk/id/eprint/210489/8/3643915.3644095.pdf","source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"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":"Proceedings Paper"},{"id":"doi:10.48550/arxiv.2401.17187","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2401.17187","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2401.17187","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.17187","pdf_url":"https://arxiv.org/pdf/2401.17187","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4391421442.pdf","grobid_xml":"https://content.openalex.org/works/W4391421442.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":{"In":[0],"its":[1],"quest":[2],"for":[3,134],"approaches":[4],"to":[5,29,61,100],"taming":[6],"uncertainty":[7,37,63,75,115],"in":[8,27],"self-adaptive":[9],"systems":[10],"(SAS),":[11],"the":[12,22,36,43,80,87,125,129],"research":[13],"community":[14],"has":[15],"largely":[16],"focused":[17],"on":[18],"solutions":[19,33],"that":[20,34,66,78,95],"adapt":[21],"SAS":[23,39,62,71,88,114],"architecture":[24,72],"or":[25],"behaviour":[26],"response":[28],"uncertainty.":[30],"By":[31],"comparison,":[32],"reduce":[35],"affecting":[38],"(other":[40],"than":[41],"through":[42],"blanket":[44],"monitoring":[45],"of":[46,83,131],"their":[47],"components":[48],"and":[49,91,118,127,138],"environment)":[50],"remain":[51],"underexplored.":[52],"Our":[53],"paper":[54],"proposes":[55],"a":[56,70,92],"more":[57],"nuanced,":[58],"adaptive":[59,81],"approach":[60,133],"reduction.":[64],"To":[65],"end,":[67],"we":[68],"introduce":[69],"comprising":[73],"an":[74],"reduction":[76,116],"controller":[77],"drives":[79],"acquisition":[82,121],"new":[84,119],"information":[85,120],"within":[86],"adaptation":[89],"loop,":[90],"tool-supported":[93],"method":[94,109],"uses":[96],"probabilistic":[97],"model":[98],"checking":[99],"synthesise":[101],"such":[102],"controllers.":[103],"The":[104],"controllers":[105],"generated":[106],"by":[107],"our":[108,132],"deliver":[110],"optimal":[111],"trade-offs":[112],"between":[113],"benefits":[117],"costs.":[122],"We":[123],"illustrate":[124],"use":[126],"evaluate":[128],"effectiveness":[130],"mobile":[135],"robot":[136],"navigation":[137],"server":[139],"infrastructure":[140],"management":[141],"SAS.":[142]},"counts_by_year":[],"updated_date":"2026-07-08T08:33:18.762332","created_date":"2025-10-10T00:00:00"}