{"id":"https://openalex.org/W41255450","doi":null,"title":"Introducing a Formal High-Level Language for Instructing Automated Manikins","display_name":"Introducing a Formal High-Level Language for Instructing Automated Manikins","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W41255450","mag":"41255450"},"language":"en","primary_location":{"id":"pmh:oai:publications.lib.chalmers.se:180889","doi":null,"is_oa":false,"landing_page_url":"http://publications.lib.chalmers.se/publication/180889-introducing-a-formal-high-level-language-for-instructing-automated-manikins","pdf_url":null,"source":{"id":"https://openalex.org/S4377196470","display_name":"Chalmers Publication Library (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Text.Article.Conference.PeerReviewed"},"parent_works":[],"lineage":["https://openalex.org/W41255450"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011351318","display_name":"Peter M\u00e5rdberg","orcid":"https://orcid.org/0009-0003-9027-6026","observed_orcids":["https://orcid.org/0009-0003-9027-6026"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter M\u00e5rdberg","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0003-9027-6026","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045892686","display_name":"Johan S. Carlson","orcid":"https://orcid.org/0000-0002-6042-5540","observed_orcids":["https://orcid.org/0000-0002-6042-5540"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Johan S. Carlson","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6042-5540","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079777366","display_name":"Robert Bohlin","orcid":"https://orcid.org/0000-0003-0961-8811","observed_orcids":["https://orcid.org/0000-0003-0961-8811"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Bohlin","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-0961-8811","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079715293","display_name":"Niclas Delfs","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Niclas Delfs","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014851971","display_name":"Stefan Gustavsson","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stefan Gustavsson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075405199","display_name":"Ali Keyvani","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ali Keyvani","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5042810823","display_name":"Lars \u00c5ke Hanson","orcid":"https://orcid.org/0000-0002-7232-9353","observed_orcids":["https://orcid.org/0000-0002-7232-9353"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lars Hanson","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7232-9353","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6289,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.82623318,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":95},"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/T12006","display_name":"Ergonomics and Musculoskeletal Disorders","score":0.24160000681877136,"subfield":{"id":"https://openalex.org/subfields/3307","display_name":"Human Factors and Ergonomics"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12006","display_name":"Ergonomics and Musculoskeletal Disorders","score":0.24160000681877136,"subfield":{"id":"https://openalex.org/subfields/3307","display_name":"Human Factors and Ergonomics"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.19760000705718994,"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/T14270","display_name":"Simulation and Modeling Applications","score":0.1656000018119812,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/high-level-programming-languages","display_name":"high-level programming languages","score":0.7509999871253967},{"id":"https://openalex.org/keywords/digital-human-modeling","display_name":"digital human models","score":0.8980000019073486},{"id":"https://openalex.org/keywords/virtual-manufacturing","display_name":"virtual manufacturing","score":0.7210000157356262},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6079999804496765},{"id":"https://openalex.org/keywords/human-robot-interaction","display_name":"human-robot interaction","score":0.550000011920929},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"collision avoidance","score":0.5559999942779541},{"id":"https://openalex.org/keywords/human-factors","display_name":"human factors","score":0.47200000286102295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8054409623146057},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5749672651290894},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.5664073824882507},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5053804516792297},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.502485990524292},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.34268689155578613},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2828640937805176},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23304876685142517}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:publications.lib.chalmers.se:180889","doi":null,"is_oa":false,"landing_page_url":"http://publications.lib.chalmers.se/publication/180889-introducing-a-formal-high-level-language-for-instructing-automated-manikins","pdf_url":null,"source":{"id":"https://openalex.org/S4377196470","display_name":"Chalmers Publication Library (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Text.Article.Conference.PeerReviewed"},{"id":"pmh:oai:research.chalmers.se:180889","doi":null,"is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/180889","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"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":null},{"id":"mag:41255450","doi":null,"is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/180889","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2160159161","https://openalex.org/W4293199992","https://openalex.org/W2030590193","https://openalex.org/W2470401787","https://openalex.org/W2810999293","https://openalex.org/W2126375310","https://openalex.org/W60249379","https://openalex.org/W1583917952","https://openalex.org/W2283794538","https://openalex.org/W61697604"],"abstract_inverted_index":{"Digital":[0],"Human":[1],"Modeling":[2],"programs":[3],"are":[4,70,178,360,390],"important":[5],"tools":[6],"in":[7,131,292,297,338],"virtual":[8],"manufacturing":[9,62],"that":[10,120,125,147,246,326,357,383],"allow":[11],"simulation":[12,253,341,366],"of":[13,48,60,152,156,226,238,243,259,271,284],"manual":[14],"assembly":[15,68,267,299],"work,":[16],"long":[17],"before":[18],"any":[19],"physical":[20],"product":[21],"has":[22],"been":[23,336],"built.":[24],"By":[25],"investigating":[26],"the":[27,31,34,46,52,57,75,83,93,106,112,116,132,158,189,200,221,239,247,256,260,263,266,282,288,294,298,314,317,327,339,368,376,384,388],"logistics,":[28],"ergonomics":[29],"and":[30,54,89,115,124,206,208,218,262,276,344],"interaction":[32],"among":[33],"workers":[35],"at":[36,265],"an":[37,153,172],"early":[38],"stage,":[39],"it":[40,126,379],"may":[41,139,249,305,320],"be":[42,109,140,303,307,321],"possible":[43],"to":[44,55,87,90,99,143,234,302,324,351,362,373],"reduce":[45],"cost":[47],"design":[49],"changes,":[50],"increase":[51],"quality":[53],"decrease":[56],"ramp-up":[58],"time":[59,141],"a":[61,97,101,136,150,165,181,185,230,235,252,364],"process.":[63],"However,":[64],"far":[65],"from":[66],"all":[67,74,92],"operations":[69,300],"simulated,":[71],"even":[72,135],"if":[73],"necessary":[76],"data":[77],"is":[78,82,122,149,370,380],"available.":[79],"One":[80],"reason":[81],"tedious":[84],"work":[85,162],"required":[86],"setup":[88],"define":[91,224,281],"motions":[94],"needed":[95,361],"by":[96,180,387],"manikin":[98,107,190,248,261,328,340],"perform":[100,250,363],"simulation.":[102],"In":[103,160],"each":[104],"simulation,":[105],"must":[108,118],"adjusted":[110],"into":[111],"desired":[113],"posture":[114],"user":[117],"ensure":[119,325],"balance":[121],"held":[123],"avoids":[127],"collision":[128],"with":[129,349],"objects":[130,264],"environment.":[133],"Thus,":[134,220,269],"small":[137],"case":[138],"consuming":[142],"simulate.":[144],"This":[145],"shows":[146],"there":[148],"need":[151],"easier":[154],"way":[155],"instructing":[157,375],"manikins.":[159],"this":[161],"we":[163],"propose":[164],"new":[166],"formal":[167],"high-level":[168,222],"language":[169,176,334,369,389],"for":[170,188,198,287,313],"controlling":[171],"automated":[173],"manikin.":[174,240,289,315,377],"The":[175,192,241,290,333,354],"instructions":[177,194,214,223,245,286,385],"structured":[179],"grammar,":[182],"which":[183,293],"defines":[184],"hierarchical":[186],"tree":[187],"instructions.":[191,332],"low-level":[193,231],"contains":[195],"basic":[196],"functionality":[197],"maneuvering":[199],"manikin,":[201],"such":[202,215,273],"as":[203,216,274],"Move,":[204],"Position":[205],"Grasp,":[207],"higher":[209],"levels":[210],"contain":[211],"more":[212],"abstract":[213],"Get":[217],"Assemble.":[219],"sequences":[225,312,319],"other":[227],"instructions,":[228],"whereas":[229],"instruction":[232,237,311,318],"corresponds":[233],"direct":[236],"set":[242,283],"available":[244,285],"during":[251],"depends":[254],"on":[255,346],"current":[257],"state":[258],"station.":[268],"properties":[270],"objects,":[272],"grasping":[275],"mating":[277],"points,":[278],"also":[279,306,381],"help":[280],"order":[291],"different":[295],"parts":[296],"have":[301,335],"connected":[304],"considered":[308],"when":[309,367],"constructing":[310],"Furthermore,":[316,378],"formally":[322,391],"verified":[323],"only":[329],"performs":[330],"valid":[331],"implemented":[337],"software":[342],"IMMA":[343],"tested":[345],"elementary":[347],"cases":[348],"relevance":[350],"industrial":[352],"applications.":[353],"results":[355],"show":[356],"fewer":[358],"steps":[359],"realistic":[365],"used":[371],"compared":[372],"manually":[374],"shown":[382],"generated":[386],"correct.":[392]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}