{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:38:01Z","timestamp":1740148681852,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,4,13]],"date-time":"2017-04-13T00:00:00Z","timestamp":1492041600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["2012\/20224-8"],"award-info":[{"award-number":["2012\/20224-8"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Sign Process Syst"],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1007\/s11265-017-1243-9","type":"journal-article","created":{"date-parts":[[2017,4,13]],"date-time":"2017-04-13T04:39:35Z","timestamp":1492058375000},"page":"357-369","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Faddeev Systolic Array for EKF-SLAM and its Arithmetic Data Representation Impact on FPGA"],"prefix":"10.1007","volume":"90","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3457-9164","authenticated-orcid":false,"given":"Leandro","family":"de Souza Rosa","sequence":"first","affiliation":[]},{"given":"Aravind","family":"Dasu","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"C. Diniz","sequence":"additional","affiliation":[]},{"given":"Vanderlei","family":"Bonato","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"1243_CR1","doi-asserted-by":"crossref","unstructured":"Smith, P.C.R., & Self, M. (1990) In Cox, I., & Wilfong, G. (Eds.), Autonomous robot vehicles, (pp. 167\u2013193). New York: Springer.","DOI":"10.1007\/978-1-4613-8997-2_14"},{"key":"1243_CR2","volume-title":"Probabilistic robotics","author":"S Thrun","year":"2005","unstructured":"Thrun, S., Burgard, W., & Fox, D. (2005). Probabilistic robotics. Cambridge: MIT Press."},{"key":"1243_CR3","doi-asserted-by":"crossref","unstructured":"Fox, D., Hightower, J., Liao, D.S.L., & Borriello, G. (2003). Bayesian filtering for location estimation, IEEE Pervasive Computing, (Vol. 2 p. 24).","DOI":"10.1109\/MPRV.2003.1228524"},{"key":"1243_CR4","unstructured":"Zhang, F. (2005). The schur complement and its applications, Numerical Methods and Algorithms, Vol. 4. S\u00e3o Paulo (Brasil): Springer."},{"key":"1243_CR5","unstructured":"Gaston, F.M.F., & Irwin, G. (1990). Control Theory and Applications, IEEE Proceedings D, (Vol. 137 p. 235)."},{"key":"1243_CR6","unstructured":"Chen, G., & Guo, L. Proc. of the 5th WSEAS Intl. Conf. on Signal Processing, Computational Geometry & Artificial Vision (World Scientific and Engineering Academy and Society (WSEAS), Stevens Point, Wisconsin, USA, 2005), ISCGAV\u201905. http:\/\/dl.acm.org\/citation.cfm?id=1369774.1369784 (pp. 61\u201365)."},{"key":"1243_CR7","first-page":"41","volume-title":"Journal of Signal Processing Systems 56.1","author":"V Bonato","year":"2009","unstructured":"Bonato, V., Marques, E., & Constantinides, G. (2009). A floating-point extended kalman filter implementation for autonomous mobile robots, Journal of Signal Processing Systems 56.1 (pp. 41\u201350)."},{"issue":"3","key":"1243_CR8","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0024-3795(74)90066-4","volume":"8","author":"RW Cottle","year":"1974","unstructured":"Cottle, R.W. (1974). Linear Algebra and its Applications, 8(3), 189. http:\/\/www.sciencedirect.com\/science\/article\/pii\/0024379574900664 .","journal-title":"Linear Algebra and its Applications"},{"key":"1243_CR9","doi-asserted-by":"crossref","unstructured":"Sudarsanam, A., Barnes, R., Carver, J., Kallam, R., & Dasu, A. (2010). Dynamically reconfigurable systolic array accelerators: A case study with extended Kalman filter and discrete wavelet transform algorithms, Computers Digital Techniques, IET, (Vol. 4 p. 126).","DOI":"10.1049\/iet-cdt.2008.0139"},{"key":"1243_CR10","volume-title":"EURASIP Journal on Advances in Signal Processing (1), 75","author":"A Bigdeli","year":"2006","unstructured":"Bigdeli, A., Biglari-Abhari, M., Salcic, Z., & Lai, Y. (2006). A new pipelined systolic array-based architecture for matrix inversion in fpgas with kalman filter case study, EURASIP Journal on Advances in Signal Processing (1), 75."},{"issue":"9","key":"1243_CR11","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/12.29471","volume":"38","author":"B Hochet","year":"1989","unstructured":"Hochet, B., Quinton, P., & Robert, Y. (1989). Systolic Gaussian elimination over GF (p) with partial pivoting. IEEE Trans. Comput., 38(9), 1321.","journal-title":"IEEE Trans. Comput."},{"key":"1243_CR12","doi-asserted-by":"publisher","unstructured":"Rosa, L., & Bonato, V. (2012). A method to convert floating to fixed-point EKF-SLAM for embedded robotics, Journal of the Brazilian Computer Society, (Vol. 19 p. 181), DOI doi: 10.1007\/s13173-012-0092-4 .","DOI":"10.1007\/s13173-012-0092-4"},{"key":"1243_CR13","unstructured":"Newman, P.M. (2005). C4b - mobile robotics - version 2.0. http:\/\/www.robots.ox.ac.uk\/pnewman\/Teaching\/C4CourseResources\/C4BResources.html . Robotics Research Group in the Department of Engineering Science, University of Oxford."},{"key":"1243_CR14","first-page":"8","volume":"6","author":"N Sorokin","year":"2006","unstructured":"Sorokin, N. (2006). Implementation of high-speed fixed-point dividers on FPGA. Journal of Computer Science & Technology, 6, 8. http:\/\/hdl.handle.net\/10915\/9513 .","journal-title":"Journal of Computer Science & Technology"},{"key":"1243_CR15","volume-title":"Computer arithmetic algorithms","author":"I Koren","year":"1993","unstructured":"Koren, I. (1993). Computer arithmetic algorithms. New Jersey: Prentice Hall."},{"key":"1243_CR16","doi-asserted-by":"publisher","unstructured":"Roesler, B.N.E. (2002) In Glesner, M., Zipf, P., & Renovell, M. (Eds.), Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, Lecture Notes in Computer Science (Vol. 2438, pp. 637\u2013646). Berlin: Springer. doi: 10.1007\/3-540-46117-5_66 .","DOI":"10.1007\/3-540-46117-5_66"},{"key":"1243_CR17","volume-title":"Parallel and Distributed Processing Symposium, 2004. Proceedings 18th International","author":"G Govindu","year":"2004","unstructured":"Govindu, G., Zhuo, L., Choi, S., & Prasanna, V. (2004). Analysis of high-performance floating-point arithmetic on FPGAs, Parallel and Distributed Processing Symposium, 2004. Proceedings 18th International."},{"key":"1243_CR18","unstructured":"Altera (2012). Altera website. http:\/\/www.altera.com ."},{"key":"1243_CR19","unstructured":"OpenCores (2011). Hardware division units project. http:\/\/opencores.org\/project,divider ."},{"key":"1243_CR20","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1109\/FCCM.2004.59","volume-title":"Field-Programmable Custom Computing Machines, 2004. FCCM 2004. 12th Annual IEEE Symposium on","author":"AA Gaffar","year":"2004","unstructured":"Gaffar, A.A., Mencer, O., & Luk, W. (2004). Unifying bit-width optimisation for fixed-point and floating-point designs, Field-Programmable Custom Computing Machines, 2004. FCCM 2004. 12th Annual IEEE Symposium on (pp. 79\u201388)."},{"key":"1243_CR21","unstructured":"Idris, M., Yamani, I., Arof, H., Noorzaily, M., Emran, M., Razak, Z., & Wahid, A. (2011). Reducing multiplication operation and independent processing for monocular simultaneous localization and mapping (SLAM) feature state covariance matrix computation, International Journal of Physical Sciences, (Vol. 6 p. 5648)."},{"key":"1243_CR22","doi-asserted-by":"crossref","unstructured":"Cruz, S., Munoz, D., Conde, M., Llanos, C., & Borges, G. (2013). A hardware approach for solving the robot localization problem using a sequential EKF, Proc. of the PhD Forum Workshop (jointly held with the IEEE Intl. Symp. on Parallel and Distributed Processing, 306\u2013313.","DOI":"10.1109\/IPDPSW.2013.139"},{"key":"1243_CR23","unstructured":"Inc, V.L. (2010). high definition lidar hdl-64e s2 datasheet. http:\/\/velodynelidar.com\/lidar\/hdlproducts\/hdl64e.aspx ."},{"key":"1243_CR24","doi-asserted-by":"crossref","unstructured":"Thrun, S., & Montemerlo, M. (2006). The graph SLAM algorithm with applications to large-scale mapping of urban structures, The International Journal of Robotics Research, (Vol. 25 p. 403).","DOI":"10.1177\/0278364906065387"},{"key":"1243_CR25","unstructured":"Eade, E., & Fong, P. (2010). M. Munich, Monocular graph SLAM with complexity reduction, Intelligent Robots and Systems (IROS), 2010 IEEE\/RSJ International Conference on (pp. 3017\u20133024)."},{"key":"1243_CR26","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-46402-0_4","volume-title":"FastSLAM 2.0 FastSLAM: A scalable method for the simultaneous localization and mapping problem in robotics","author":"STM Montemerlo","year":"2007","unstructured":"Montemerlo, S.T.M. (2007). FastSLAM 2.0 FastSLAM: A scalable method for the simultaneous localization and mapping problem in robotics, (pp. 63\u201390). Berlin: Springer. doi: 10.1007\/978-3-540-46402-0_4 10.1007\/978-3-540-46402-0_4 ."},{"key":"1243_CR27","unstructured":"Inc, X. (2006). Acceldsp systhesis tool floating-point to fixed-point conversion of matlab algorithms targeting fpgas. http:\/\/www.xilinx.com\/tools\/acceldsp.htm ."},{"key":"1243_CR28","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1109\/RSP.2005.15","volume-title":"International Workshop on Rapid System Prototyping RSP\u201905","author":"P Belanovi\u0107","year":"2005","unstructured":"Belanovi\u0107, P. (2005). Automated Floating-point to Fixed-point Conversion with the fixify Environment, International Workshop on Rapid System Prototyping RSP\u201905 (pp. 172\u2013178)."},{"key":"1243_CR29","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1109\/SiPS.2011.6088971","volume-title":"Signal Processing Systems (SiPS), 2011 IEEE Workshop on","author":"A Banciu","year":"2011","unstructured":"Banciu, A., Casseau, E., Menard, D., & Michel, T. (2011). Stochastic modeling for floating-point to fixed-point conversion, Signal Processing Systems (SiPS), 2011 IEEE Workshop on (pp. 180\u2013185)."},{"issue":"9","key":"1243_CR30","first-page":"1265","volume":"30","author":"A Kinsman","year":"2011","unstructured":"Kinsman, A., & Nicolici, N. (2011). Computer-Aided Design of integrated circuits and systems. IEEE Transactions on, 30(9), 1265.","journal-title":"IEEE Transactions on"},{"key":"1243_CR31","volume-title":"Proc. of the 16th IEEE Intl, Conf. on Electronics, Circuits, and Systems (ICECS)","author":"S Moyers","year":"2009","unstructured":"Moyers, S., Stevens, D., Chouliaras, V., & Mulvaney, D. (2009). Implementation of a fixed-point fastSLAM 2.0 algorithm on a configurable and extensible VLIW processor, Proc. of the 16th IEEE Intl, Conf. on Electronics, Circuits, and Systems (ICECS)."},{"key":"1243_CR32","unstructured":"Mingas, L.P.G., & Tsardoulias, E. (2012). An FPGA implementation of the SMG-SLAM algorithm, Microprocessors and Microsystems - Embedded Hardware Design. http:\/\/dblp.uni-trier.de\/db\/journals\/mam\/mam36.html#MingasTP12 , (Vol. 36 p. 190)."},{"key":"1243_CR33","doi-asserted-by":"publisher","unstructured":"Rosa, L.S., Delbem, A.C.B., Toledo, C.F.M., & Bonato, V. (2016). Design and analysis of evolutionary bit-length optimization algorithms for floating to fixed-point conversion, Applied Software Computing, (Vol. 49 pp. 447\u2013461), DOI doi: 10.1016\/j.asoc.2016.08.035 .","DOI":"10.1016\/j.asoc.2016.08.035"},{"key":"1243_CR34","doi-asserted-by":"publisher","unstructured":"Rosa, L.S., Toledo, C.F.M., & Bonato, V. (2015). Accelerating floating-point to fixed-point data type conversion with evolutionary algorithms, Electronics Letters. doi: 10.1049\/el.2014.3791 , (Vol. 51 pp. 244\u2013246).","DOI":"10.1049\/el.2014.3791"},{"key":"1243_CR35","doi-asserted-by":"publisher","unstructured":"Rosa, L.S., Delbem, A.C.B., Toledo, C.F.M., & Bonato, V. (2016). Design and analysis of evolutionary bit-length optimization algorithms for floating to fixed-point conversion, Applied Software Computing, (Vol. 49 pp. 447\u2013461), DOI doi: 10.1016\/j.asoc.2016.08.035 10.1016\/j.asoc.2016.08.035 .","DOI":"10.1016\/j.asoc.2016.08.035"}],"container-title":["Journal of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11265-017-1243-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-017-1243-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-017-1243-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T21:17:47Z","timestamp":1569014267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11265-017-1243-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,13]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["1243"],"URL":"https:\/\/doi.org\/10.1007\/s11265-017-1243-9","relation":{},"ISSN":["1939-8018","1939-8115"],"issn-type":[{"type":"print","value":"1939-8018"},{"type":"electronic","value":"1939-8115"}],"subject":[],"published":{"date-parts":[[2017,4,13]]}}}