{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:05:39Z","timestamp":1762459539219,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/iros.2017.8206115","type":"proceedings-article","created":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T22:12:59Z","timestamp":1513289579000},"page":"2835-2842","source":"Crossref","is-referenced-by-count":3,"title":["Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity"],"prefix":"10.1109","author":[{"given":"Aixuan","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiping","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiumei","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Guan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongdong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2015.04.011"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3901\/CJME.2014.01.130"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574712000562"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechmachtheory.2012.06.008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechmachtheory.2011.11.015"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-012-4594-1"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref16"},{"journal-title":"Introduction to HOL A Theorem Proving Environment for Higher-Order Logic","year":"1993","author":"gordon","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2242"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0304-0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechmachtheory.2014.11.009"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-014-9311-3"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1163\/156855309X462574"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1115\/1.2801200"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/rob.10079"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechmachtheory.2013.12.007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechmachtheory.2011.01.009"},{"journal-title":"Robot Analysis the Mechanics of Serial and Parallel Manipulators","year":"1999","author":"tsai","key":"ref2"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"31003","DOI":"10.1115\/1.4028622","article-title":"An Approach to determining the unknown twist\/wrench subspaces of lower mobility serial kinematic chains","volume":"7","author":"huang","year":"2015","journal-title":"Journal of Mechanisms and Robotics"},{"journal-title":"Mathematical Introduction to Robotic Manipulation","year":"1994","author":"murray","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2011.01.002"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/978-3-642-41202-8_23","article-title":"Formal kinematic analysis of the two-link planar manipulator","volume":"8144","author":"farooq","year":"2013","journal-title":"Formal Methods and Software Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41071-0_14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/195276"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/549797"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2010.12.009"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/201214"}],"event":{"name":"2017 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2017,9,24]]},"location":"Vancouver, BC","end":{"date-parts":[[2017,9,28]]}},"container-title":["2017 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8119304\/8202121\/08206115.pdf?arnumber=8206115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T21:50:45Z","timestamp":1643147445000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8206115\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/iros.2017.8206115","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}