{"id":"https://openalex.org/W2805739846","doi":"https://doi.org/10.1145/3196558.3196562","title":"Using physical quantities in robot software models","display_name":"Using physical quantities in robot software models","publication_year":2018,"publication_date":"2018-05-28","ids":{"openalex":"https://openalex.org/W2805739846","doi":"https://doi.org/10.1145/3196558.3196562","mag":"2805739846"},"language":"en","primary_location":{"id":"doi:10.1145/3196558.3196562","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3196558.3196562","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Workshop on Robotics Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/10630/15885","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037353994","display_name":"Loli Burgue\u00f1o","orcid":"https://orcid.org/0000-0002-7779-8810"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Loli Burgue\u00f1o","raw_affiliation_strings":["Universidad de M\u00e1laga, M\u00e1laga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad de M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065430911","display_name":"Tanja Mayerhofer","orcid":"https://orcid.org/0000-0001-6205-0992"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Tanja Mayerhofer","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023093639","display_name":"Manuel Wimmer","orcid":"https://orcid.org/0000-0002-1124-7098"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Manuel Wimmer","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003199242","display_name":"Antonio Vallecillo","orcid":"https://orcid.org/0000-0002-8139-9986"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Antonio Vallecillo","raw_affiliation_strings":["Universidad de M\u00e1laga, M\u00e1laga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad de M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"23","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9965999722480774,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/robot","display_name":"Robot","score":0.7418069839477539},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7078703045845032},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.666808545589447},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5713222026824951},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5686684846878052},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4288775324821472},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.38787394762039185},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.34515291452407837},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25871044397354126},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1913350522518158},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17498087882995605}],"concepts":[{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.7418069839477539},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7078703045845032},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.666808545589447},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5713222026824951},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5686684846878052},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4288775324821472},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.38787394762039185},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.34515291452407837},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25871044397354126},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1913350522518158},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17498087882995605},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3196558.3196562","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3196558.3196562","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Workshop on Robotics Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:riuma.uma.es:10630/15885","is_oa":true,"landing_page_url":"https://hdl.handle.net/10630/15885","pdf_url":null,"source":{"id":"https://openalex.org/S4306401385","display_name":"Repositorio Institucional de la Universidad de M\u00e1laga (University of M\u00e1laga)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I82767444","host_organization_name":"Universidad de M\u00e1laga","host_organization_lineage":["https://openalex.org/I82767444"],"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":null,"raw_type":"conference output"}],"best_oa_location":{"id":"pmh:oai:riuma.uma.es:10630/15885","is_oa":true,"landing_page_url":"https://hdl.handle.net/10630/15885","pdf_url":null,"source":{"id":"https://openalex.org/S4306401385","display_name":"Repositorio Institucional de la Universidad de M\u00e1laga (University of M\u00e1laga)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I82767444","host_organization_name":"Universidad de M\u00e1laga","host_organization_lineage":["https://openalex.org/I82767444"],"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":null,"raw_type":"conference output"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1481314069","https://openalex.org/W1585244194","https://openalex.org/W1619787994","https://openalex.org/W1975596341","https://openalex.org/W1994575466","https://openalex.org/W2025013592","https://openalex.org/W2111445678","https://openalex.org/W2124968587","https://openalex.org/W2139872812","https://openalex.org/W2169239645","https://openalex.org/W2315214008","https://openalex.org/W2466879797","https://openalex.org/W2504717005","https://openalex.org/W2526720582","https://openalex.org/W2535938897","https://openalex.org/W2769171049","https://openalex.org/W2786096329","https://openalex.org/W2787495826","https://openalex.org/W2946461223","https://openalex.org/W3107949494"],"related_works":["https://openalex.org/W4231775656","https://openalex.org/W2046435967","https://openalex.org/W2062195135","https://openalex.org/W2383646825","https://openalex.org/W2371018915","https://openalex.org/W2354191502","https://openalex.org/W1972225038","https://openalex.org/W8302103","https://openalex.org/W2809157142","https://openalex.org/W2037023988"],"abstract_inverted_index":{"One":[0],"of":[1,4,20,44,57,78,99,104],"the":[2,17,54,79,97,102],"challenges":[3],"modeling":[5],"any":[6],"software":[7,40],"application":[8],"that":[9],"deals":[10],"with":[11],"real-world":[12],"physical":[13],"systems":[14],"resides":[15],"in":[16,53,84,101],"correct":[18],"representation":[19],"numerical":[21],"values":[22],"and":[23,33,49,72,75,81,92,107],"their":[24,45,82],"units.":[25],"This":[26],"paper":[27],"shows":[28],"how":[29,63],"both":[30],"measurement":[31,76],"uncertainty":[32,100],"units":[34,74],"can":[35],"be":[36],"effectively":[37],"incorporated":[38],"into":[39],"models,":[41],"becoming":[42],"part":[43],"basic":[46],"type":[47],"systems,":[48],"illustrates":[50],"this":[51],"approach":[52,65],"particular":[55],"case":[56],"a":[58,85],"robot":[59,67],"language.":[60],"We":[61],"show":[62],"our":[64],"allows":[66],"modelers":[68],"to":[69],"safely":[70],"represent":[71],"manipulate":[73],"uncertainties":[77],"robots":[80],"elements":[83],"natural":[86],"manner,":[87],"statically":[88],"ensuring":[89],"unit-safe":[90],"assignments":[91],"operations,":[93],"as":[94,96],"well":[95],"propagation":[98],"computations":[103],"derived":[105],"attributes":[106],"operations.":[108]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}