{"id":"https://openalex.org/W4414776753","doi":"https://doi.org/10.1007/s10703-025-00486-1","title":"Formalization of robot collision detection method based on conformal geometric algebra","display_name":"Formalization of robot collision detection method based on conformal geometric algebra","publication_year":2025,"publication_date":"2025-10-03","ids":{"openalex":"https://openalex.org/W4414776753","doi":"https://doi.org/10.1007/s10703-025-00486-1"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-025-00486-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-025-00486-1","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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 Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5018799998","display_name":"Yingjie Wu","orcid":"https://orcid.org/0000-0003-2492-0226"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yingjie Wu","raw_affiliation_strings":["Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, 100048, China","Beijing Key Laboratory of Electronic System Reliability and Prognostics, College of Information Engineering, Capital Normal University, Beijing, 100048, China"],"affiliations":[{"raw_affiliation_string":"Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, 100048, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"Beijing Key Laboratory of Electronic System Reliability and Prognostics, College of Information Engineering, Capital Normal University, Beijing, 100048, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100642257","display_name":"Guohui Wang","orcid":"https://orcid.org/0000-0002-0749-6059"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guohui Wang","raw_affiliation_strings":["Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, 100048, China","International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, 100048, China"],"affiliations":[{"raw_affiliation_string":"Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, 100048, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, 100048, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102750217","display_name":"Shanyan Chen","orcid":"https://orcid.org/0009-0005-0837-5215"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shanyan Chen","raw_affiliation_strings":["Beijing Key Laboratory of Electronic System Reliability and Prognostics, College of Information Engineering, Capital Normal University, Beijing, 100048, China"],"affiliations":[{"raw_affiliation_string":"Beijing Key Laboratory of Electronic System Reliability and Prognostics, College of Information Engineering, Capital Normal University, Beijing, 100048, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072412248","display_name":"Zhiping Shi","orcid":"https://orcid.org/0000-0002-3562-8602"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]},{"id":"https://openalex.org/I4210162962","display_name":"Beijing Academy of Science and Technology","ror":"https://ror.org/05ct4fn38","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210162962"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiping Shi","raw_affiliation_strings":["Beijing Academy of Science and Technology, Beijing, 100094, China","International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, 100048, China"],"affiliations":[{"raw_affiliation_string":"Beijing Academy of Science and Technology, Beijing, 100094, China","institution_ids":["https://openalex.org/I4210162962"]},{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, 100048, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087366755","display_name":"Yong Guan","orcid":"https://orcid.org/0000-0002-2373-2779"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Guan","raw_affiliation_strings":["International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, 100048, China"],"affiliations":[{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, 100048, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035489181","display_name":"Ximeng Li","orcid":"https://orcid.org/0000-0002-7816-5441"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ximeng Li","raw_affiliation_strings":["Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, 100048, China"],"affiliations":[{"raw_affiliation_string":"Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, 100048, China","institution_ids":["https://openalex.org/I96852419"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5018799998"],"corresponding_institution_ids":["https://openalex.org/I96852419"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.37781497,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"67","issue":"3","first_page":"255","last_page":"281"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12037","display_name":"Algebraic and Geometric Analysis","score":0.9876000285148621,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12037","display_name":"Algebraic and Geometric Analysis","score":0.9876000285148621,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13267","display_name":"Advanced Theoretical and Applied Studies in Material Sciences and Geometry","score":0.9302999973297119,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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/T12504","display_name":"Mathematics and Applications","score":0.9161999821662903,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conformal-geometric-algebra","display_name":"Conformal geometric algebra","score":0.7369999885559082},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.6798999905586243},{"id":"https://openalex.org/keywords/collision-detection","display_name":"Collision detection","score":0.6572999954223633},{"id":"https://openalex.org/keywords/conformal-map","display_name":"Conformal map","score":0.6202999949455261},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5978000164031982},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5659999847412109},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.44780001044273376},{"id":"https://openalex.org/keywords/hol","display_name":"HOL","score":0.44269999861717224}],"concepts":[{"id":"https://openalex.org/C147898140","wikidata":"https://www.wikidata.org/wiki/Q5160252","display_name":"Conformal geometric algebra","level":5,"score":0.7369999885559082},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.6798999905586243},{"id":"https://openalex.org/C199668693","wikidata":"https://www.wikidata.org/wiki/Q1550329","display_name":"Collision detection","level":3,"score":0.6572999954223633},{"id":"https://openalex.org/C98214594","wikidata":"https://www.wikidata.org/wiki/Q850275","display_name":"Conformal map","level":2,"score":0.6202999949455261},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5978000164031982},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5774000287055969},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5659999847412109},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.44780001044273376},{"id":"https://openalex.org/C17435882","wikidata":"https://www.wikidata.org/wiki/Q17030435","display_name":"HOL","level":2,"score":0.44269999861717224},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4390999972820282},{"id":"https://openalex.org/C181095308","wikidata":"https://www.wikidata.org/wiki/Q1541599","display_name":"Geometric primitive","level":2,"score":0.4327999949455261},{"id":"https://openalex.org/C104065381","wikidata":"https://www.wikidata.org/wiki/Q1002535","display_name":"Geometric modeling","level":2,"score":0.4302999973297119},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.4106999933719635},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40869998931884766},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.38929998874664307},{"id":"https://openalex.org/C180671464","wikidata":"https://www.wikidata.org/wiki/Q1186649","display_name":"Geometric algebra","level":4,"score":0.3862999975681305},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.33820000290870667},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32409998774528503},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32030001282691956},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2903999984264374},{"id":"https://openalex.org/C2776126113","wikidata":"https://www.wikidata.org/wiki/Q1128980","display_name":"Industrial robot","level":3,"score":0.2705000042915344},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26910001039505005},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.2667999863624573}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10703-025-00486-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-025-00486-1","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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 Methods in System Design","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G392225649","display_name":null,"funder_award_id":"62272322","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6570050552","display_name":null,"funder_award_id":"62272323","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8418102654","display_name":null,"funder_award_id":"62002246","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W96575200","https://openalex.org/W2305158040","https://openalex.org/W2464016696","https://openalex.org/W2483793066","https://openalex.org/W2602050702","https://openalex.org/W2739437798","https://openalex.org/W2762220014","https://openalex.org/W2790559109","https://openalex.org/W2883708228","https://openalex.org/W2889439262","https://openalex.org/W2902885544","https://openalex.org/W2913815615","https://openalex.org/W2929018801","https://openalex.org/W2953773709","https://openalex.org/W2972451142","https://openalex.org/W3023194619","https://openalex.org/W3036333943","https://openalex.org/W3045880280","https://openalex.org/W3048351835","https://openalex.org/W3090060051","https://openalex.org/W3129265343","https://openalex.org/W3132129332","https://openalex.org/W3183640287","https://openalex.org/W3196798710","https://openalex.org/W3196878016","https://openalex.org/W4213378223","https://openalex.org/W4395031676","https://openalex.org/W4396661352","https://openalex.org/W4399124273"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}