{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:02:46Z","timestamp":1761976966791,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642412011"},{"type":"electronic","value":"9783642412028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41202-8_23","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T05:11:19Z","timestamp":1382332279000},"page":"347-362","source":"Crossref","is-referenced-by-count":6,"title":["Formal Kinematic Analysis of the Two-Link Planar Manipulator"],"prefix":"10.1007","author":[{"given":"Binyameen","family":"Farooq","sequence":"first","affiliation":[]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[]},{"given":"Sohail","family":"Iqbal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"23_CR1","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1017\/S1755020309990098","volume":"2","author":"J. Avigad","year":"2009","unstructured":"Avigad, J., Dean, E., Mumma, J.: A Formal System for Euclid\u2019s Elements. Review of Symbolic Logic\u00a02(4), 700\u2013768 (2009)","journal-title":"Review of Symbolic Logic"},{"key":"23_CR2","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Verification over Discrete-Continuous Boundaries","author":"B. Becker","year":"2010","unstructured":"Becker, B., Cardelli, L., Hermanns, H., Tahar, S.: Abstracts collection. In: Verification over Discrete-Continuous Boundaries. Dagstuhl Seminar Proceedings, vol.\u00a010271. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2010)"},{"key":"23_CR3","unstructured":"Binyameen, M.: Formal Kinematic Analysis of the Two-Link Planar Manipulator using HOL-Light (2013), http:\/\/save.seecs.nust.edu.pk\/students\/binyameen\/tlpm.html"},{"key":"23_CR4","unstructured":"Chivarov, N., Galabov, V.: Kinematics of Scara Robots. In: Problems of Engineering Cybernetics and Robotics, pp. 51\u201359 (2008)"},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1115\/1.4011045","volume":"23","author":"J. Denavit","year":"1955","unstructured":"Denavit, J., Hartenberg, R.S.: A Kinematic Notation for Lower-Pair Mechanisms based on Matrices. Trans. ASME Journal of Applied Mechanics\u00a023, 215\u2013221 (1955)","journal-title":"Trans. ASME Journal of Applied Mechanics"},{"issue":"3","key":"23_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1109\/TSMCA.2006.886378","volume":"37","author":"J.M. Esposito","year":"2007","unstructured":"Esposito, J.M., Moonzoo, K.: Using Formal Modeling with an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a037(3), 285\u2013297 (2007)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"key":"23_CR7","unstructured":"Fryziel, L., Fried, G., Djouani, K., Iqbal, S., Amirat, Y.: A Kinematic Analysis for a Hybrid Continuum Active Catheter. In: Proceedings of the 7th France-Japon Congress 5th Europe-Asia Congress on Mechatronics (MECHATRONICS 2008), Le Grand Bornand, France (2008)"},{"issue":"11-12","key":"23_CR8","doi-asserted-by":"publisher","first-page":"1507","DOI":"10.1177\/0278364909343970","volume":"28","author":"S. Haddadin","year":"2009","unstructured":"Haddadin, S., Albu-Sch\u00e4ffer, A., Hirzinger, G.: Requirements for Safe Robots: Measurements, Analysis and New Insights. International Journal of Robotics Research\u00a028(11-12), 1507\u20131527 (2009)","journal-title":"International Journal of Robotics Research"},{"issue":"2","key":"23_CR9","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10817-012-9250-9","volume":"50","author":"J. Harrison","year":"2013","unstructured":"Harrison, J.: The HOL Light Theory of Euclidean Space. Automated Reasoning\u00a050(2), 173\u2013190 (2013)","journal-title":"Automated Reasoning"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Hurmuzlu, Y., Ganot, F., Brogliato, B.: Modeling, Stability and Control of Biped Robots: general framework. Automatica\u00a010 (2004)","DOI":"10.1016\/j.automatica.2004.01.031"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Iqbal, S., Mohammed, S., Amirat, Y.: A Guaranteed Approach for Kinematic Analysis of Continuum Robot Based Catheter. In: Robotics and Biomimetics, pp. 1573\u20131578 (2009)","DOI":"10.1109\/ROBIO.2009.5420395"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"1319","DOI":"10.1016\/S0020-7225(98)00118-9","volume":"37","author":"H.K. Lum","year":"1999","unstructured":"Lum, H.K., Zirbi, M., Soh, Y.C.: Planning and Control of a Biped Robot. International Journal of Engineering Science\u00a037, 1319\u20131349 (1999)","journal-title":"International Journal of Engineering Science"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1109\/TRO.2007.898981","volume":"23","author":"J.P. Merlet","year":"2007","unstructured":"Merlet, J.P.: A Formal Numerical Approach for Robust In-Workspace Singularity Detection. IEEE Transactions on Robotics\u00a023, 393\u2013402 (2007)","journal-title":"IEEE Transactions on Robotics"},{"key":"23_CR14","unstructured":"Myszka, D.: Machines and Mechanisms: Applied Kinematic Analysis, 4th edn. Prentice Hall (2011)"},{"key":"23_CR15","unstructured":"Petrovic, D., Maric, F.: Formalizing Analytic Geometries. In: Automated Deduction in Geometry (2012)"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-21898-9_32","volume-title":"Computational Science and Its Applications - ICCSA 2011","author":"T.-M. Pham","year":"2011","unstructured":"Pham, T.-M., Bertot, Y., Narboux, J.: A Coq-based Library for Interactive and Automated Theorem Proving in Plane Geometry. In: Murgante, B., Gervasi, O., Iglesias, A., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2011, Part IV. LNCS, vol.\u00a06785, pp. 368\u2013383. Springer, Heidelberg (2011)"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Proetzsch, M., Berns, K., Schuele, T., Schneider, K.: Formal Verification of Safety Behaviours of the Outdoor Robot RAVON. In: Informatics in Control, Automation and Robotics, pp. 157\u2013164 (2007)","DOI":"10.5220\/0001619101570164"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Ras, J., Cheng, A.M.K.: On Formal Verification of Toyota\u2019s Electronic Throttle Controller. In: Systems Conference, SysCon (2011)","DOI":"10.1109\/SYSCON.2011.5929080"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Shores, B.E., Minor, M.A.: Design, Kinematic Analysis, and Quasi-steady Control of a Morphic Rolling Disk Biped Climbing Robot. In: Robotics and Automation, pp. 2721\u20132726 (2005)","DOI":"10.1109\/ROBOT.2005.1570525"},{"key":"23_CR20","unstructured":"Sloth, C.: Formal Verification of Continuous Systems. PhD thesis, Aalborg University (2013)"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Sloth, C., Wisniewski, R.: Abstractions for Mechanical Systems. IFAC Workshop Series, pp. 96\u2013101 (2012)","DOI":"10.3182\/20120829-3-IT-4022.00049"},{"key":"23_CR22","unstructured":"Spong, M.W., Hutchinson, S., Vidyasagar, M.: Robot Modeling and Control, 1st edn. Wiley (2005)"},{"key":"23_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-642-15651-9_26","volume-title":"Computer Safety, Reliability, and Security","author":"D. Walter","year":"2010","unstructured":"Walter, D., T\u00e4ubig, H., L\u00fcth, C.: Experiences in applying Formal Verification in Robotics. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol.\u00a06351, pp. 347\u2013360. Springer, Heidelberg (2010)"},{"key":"23_CR24","unstructured":"Wang, Y., Chirikjian, G.S.: Propagation of Errors in Hybrid Manipulators. In: International Conference on Robotics and Automation, pp. 1848\u20131853 (2006)"},{"key":"23_CR25","unstructured":"Wolfram Research. Mathematica Mechanical Systems: Kinematic and Dynamic Analysis in Mathematica, 3rd edn. (2005), http:\/\/www.wolfram.com"},{"issue":"2","key":"23_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1177\/027836498500400201","volume":"4","author":"T. Yoshikawa","year":"1985","unstructured":"Yoshikawa, T.: Manipulability of Robotic Mechanisms. The International Journal of Robotics Research\u00a04(2), 3\u20139 (1985)","journal-title":"The International Journal of Robotics Research"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41202-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:42:50Z","timestamp":1746034970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41202-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642412011","9783642412028"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41202-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}