* IntroducciónUno de los principales retos de la robótica en la actualidad es conseguir que los robots realicen robustamente tareas útiles en entornos no triviales. Para la gran mayoría de tareas es necesario no sólo que sean capaces de modelar los objetos que haya en el entorno e interactuar con ellos sino también con humanos (comunicándose con ellos y aceptando órdenes). Todo esto implica que han de ser capaces de percibir el entorno autónoma y eficientemente, de tal forma que les sirva para poder completar exitosamente las misiones que se les encomienden.Para poder realizar tareas que no puedan ser completadas de una forma meramente reactiva es necesario que los robots generen algún tipo de representación del entorno. Para tareas simples como la navegación local o global estas estructuras pueden ser extremadamente simples, como mapas de rejillas bidimensionales. Sin embargo, cuando se espera que los robots desarrollen tareas complejas se hace necesario que estos modelos sean considerablemente ricos y estructurados, con una carga semántica mayor que una simple rejilla de ocupación.Con los avances de la robótica, es cada vez más viable que los robots habiten entornos reales no controlados, donde las sombras, zonas de baja textura, oclusiones y obstáculos representan importantes dificultades tanto para percibir el mundo como para realizar acciones sobre él. A pesar de que estos entornos son más complejos y menos predecibles que un entorno controlado, ni están compuestos de formas aleatorias ni cambian sin razón. Para construir robots verdaderamente inteligentes, es necesario que estos usen toda la información ecológica disponible. Esta información es aun más importante en entornos de interior, donde las habitaciones y los objetos que en ellas se pueden encontrar están en su mayor parte sujetos a pequeños conjuntos de formas geométricas y, en muchos casos, mantienen relaciones estructurales fuertes (e.g., de composición, donde un elemento del entorno está siempre compuesto por otros; de localización, donde un elemento siempre se encuentra dentro o al lado de otro. Por tanto, es preciso disponer de la tecnología que nos permita crear robots que modelen e interaccionen con su entorno usando la información a priori de la que se disponga sobre el entorno de una forma eficiente, que permita a los robots actuar con el de una forma apropiada.*Desarrollo teóricoEl objetivo de este trabajo es el estudio y desarrollo de técnicas novedosas que puedan ser usadas para suplir estas necesidades. Las aportaciones de la tesis se pueden clasificar en tres bloques: a) ingeniería de software orientada a la robótica; b) modelado y percepción activa; y c) experimentos. En concreto, el grueso de la tesis se centra en el segundo y tercero de los bloques.Dentro de la ingeniería de software orientada a la robótica destaca una parte importante del desarrollo de RoboComp, un framework de robótica. RoboComp destaca por ser orientado a componentes, por el conjunto de herramientas y librerías que lo forman, y por hacer un uso extensivo de lenguajes específicos de dominio (DSL) que facilitan y aceleran el desarrollo de software para robots. Entre las herramientas desarrolladas destacan RCManager (un gestor gráfico de redes de componentes), RCMonitor (un monitorizador y un replicador dela salida de componentes), RCControlPanel (una herramienta que sirve para acceder y controlar simultáneamente varios componentes de robots) y RCInnerModelSimulator (un simulador de robótica). También son dignos de mención InnerModel e InnerModelViewer, un par de clases diseñadas para representar, manejar y visualizar árboles cinemáticos; y IMDSL, un lenguaje específico de dominio usado para describir estos árboles.En el campo de la percepción activa se presenta Active Grammar-based Modeling (AGM), una arquitectura que representa la principal contribución de la tesis. Active Grammar-based Modeling se basa en el hecho de que los cambios que tienen lugar en los modelos del mundo que generan y usan los robots pueden ser descritos dentro de una gramátoca formal con ciertas características especiales. Estas gramáticas, junto con la asociación de las reglas que las componen con diferentes configuraciones de sus comportamientos físicos y perceptivos (siendo estos últimos planteados como procesos de muestreo estocástico) aportan soluciones a distintos problemas o fenómenos perceptivos: la generación de modelos, la selección de acción (tanto para la percepción como para cumplir un objetivo determinado), la percepción encubierta y la inclusión de restricciones perceptivas dependientes del contexto.* ConclusiónAGM propone un planteamiento distribuido donde varios agentes interactúan de acuerdo a la gramática que rige el control del robot, haciendo que éste interactúe con el entorno y modificando entre todos el modelo del mundo. Un nodo central se encarga de gestionar los cambios (permitiendo únicamente aquellos que no violan la gramática) y coordinar al resto de agentes. Ambas tareas se basan en el uso de un planificador, que es el que realmente trabaja con la gramática, que genera planes y verifica que las modificaciones son el resultado de aplicar las reglas de la gramática al modelo previo.El resto de las aportaciones de la tesis, técnicas específicas relacionadas con el modelado de entornos de interior, se presentan en forma de experimentos en entornos reales, inicialmente usando representaciones simples de características conocidas y finalmente usando las representaciones en grafos de tamaño variable que se proponen dentro de Active Grammar-based Modeling. En particular, se presentan dos experimentos que muestran cómo AGM puede ser usado para percibir activamente el entorno, tanto la habitación en sí como los objetos que están dentro de ella.* Bibliografía consultada[Angelopoulou et al., 1992] Angelopoulou, E., Hong, T. H., and Wu, A. Y. (1992). World Model Representations for Mobile Robots. In Proc. of the Intelligent Vehicles Symposium, pages 293-297.[Arkin, 1998] Arkin, R. C. (1998). Behavior-based robotics. MIT Press. [Bachiller et al., 2011] Bachiller, P., Bustos, P., and Manso, L. J. (2011). Stereo Vision, chapter Attentional Behaviors for Environment Modeling by a Mobile Robot, pages 17-40. InTech.[Badino et al., 2011] Badino, H., Huber, D., Park, Y., and Kanade, T. (2011). Fast and accurate computation of surface normals from range images. In IEEE International Conference on Robotics and Automation (ICRA), pages 3084-3091. IEEE.[Bandouch, 2010] Bandouch, J. (2010). Observing and Interpreting Complex Human Activities in Everyday Environments. PhD thesis, Technical University of Munich. [Bauer and Wilhelm, 2006] Bauer, J. and Wilhelm, R. (2006). Abstract Interpretation of Graph Grammars. In Proc. of Simulation and Verification of Dynamic Systems Seminar.[Besl and McKay, 1992] Besl, P. J. and McKay, N. D. (1992). Method for registration of 3-d shapes. In Robotics-DL tentative, pages 586-606. International Society for Optics and Photonics.[Bishop, 2007] Bishop, M. C. (2007). Pattern Recognition and Machine Learning (Information Science and Statistics). Springer, 1 edition.[Bousassida et al., 2010] Bousassida, I., Chassor, C., and Jmaiel, M. (2010). Graph Grammar-based Transformation for Context-aware Architectures Supporting Group Communication. Revue des Nouvelles Technologies de l-Information, L(19):29-42.[Brandao et al., 2006] Brandao, B. C., Wainer, J., and Goldenstein, S. K. (2006). Subspace Hierarchical Particle Filter. In Brazilian Symposium on Computer Graphics and Image Processing, SIBGRAPI -06, pages 194-204.[Brooks et al., 2005] Brooks, A., Kaupp, T., Makarenko, A., Oreback, A., and Williams, S. B. (2005). Towards component-based robotics. In Proceedings of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, pages 163-168.[Brooks et al., 2007] Brooks, A., Kaupp, T., Makarenko, A., Williams, S., and Oreback, A. (2007). Orca: A Component Model and Repository. Software Engineering for Experimental Robotics, Springer, pages 231-251.[Coughlan and Yuille, 1999] Coughlan, J. M. and Yuille, A. L. (1999). Manhattan World: Compass Direction from a Single Image by Bayesian Inference. In Computer Vision, 1999. The Proceedings of the Seventh IEEE International Conference on, volume 2, pages 941-947. IEEE.[Del Pero et al., 2012] Del Pero, L., Bowdish, J., Fried, D., Kermgard, B., Hartley, E., and Barnard, K. (2012). Bayesian geometric modeling of indoor scenes. In Computer Vision and Pattern Recognition (CVPR), 2012 IEEE Conference on, pages 2719-2726. IEEE.[Delage et al., 2006] Delage, E., Lee, H., and Ng, A. Y. (2006). A dynamic Bayesian network model for autonomous 3d reconstruction from a single indoor image. In IEEE Computer Society Conference on Computer Vision and Pattern Recognition, volume 2, pages 2418-2428. IEEE.[Descartes, 1641] Descartes, R. (1641). Meditationes de prima philosophia, in qua dei existentia et animæ immortalitas demonstratur.[Deutscher and Reid, 2005] Deutscher, J. and Reid, I. (2005). Articulated Body Motion Capture by Stochastic Search. International Journal of Computer Vision, 61(2):185-205.[Doucet et al., 2000] Doucet, A., De Freitas, N., Murphy, K., and Russell, S. (2000). Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks. In Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence, pages 176-183. Morgan Kaufmann Publishers Inc.[Drews et al., 2010] Drews, P., Nunez, P., Rocha, R., Campos, M., and Dias, J. (2010). Novelty detection and 3d shape retrieval using superquadrics and multi-scale sampling for autonomous mobile robots. In Robotics and Automation (ICRA), 2010 IEEE International Conference on, pages 3635-3640. IEEE.[Duda and Hart, 1972] Duda, R. O. and Hart, P. E. (1972). Use of the hough transformation to detect lines and curves in pictures. Commun. ACM, 15:11-15.[Echeverria et al., 2011] Echeverria, G., Lassabe, N., Degroote, A., and Lemaignan, S. (2011). Modular open robots simulation engine: Morse. In Robotics and Automation (ICRA), 2011 IEEE International Conference on, pages 46-51.[Efron, 1982] Efron, B. (1982). The bootstrap, jacknife and other resampling plans. Society of Industrial and Applied Mathematics.[Fitzpatrick et al., 2008] Fitzpatrick, P., Metta, G., and Natale, L. (2008). Towards Long-Lived Robot Genes. Journal of Robotics and Autonomous Systems, 56(1):29-45.[Frith, 2009] Frith, C. (2009). Making up the mind: How the brain creates our mental world. Wiley-Blackwell.[Gaborski et al., 2004] Gaborski, R. S., Vaingankar, V. S., Chaoji, V., Teredesai, A., and Tentler, A. (2004). Venus: A system for novelty detection in video streams with learning. In Proceedings of the 17th International FLAIRS Conference, pages 1-5.[Gat, 1998] Gat, E. (1998). On Three-Layer Architectures. In Artificial Intelligence and Mobile Robots, pages 195-210. MIT Press.[Gelfand and Smith, 1990] Gelfand, A. E. and Smith, A. F. M. (1990). Sampling-Based Approaches to Calculating Marginal Densities. Journal of the American statistical association, 85(410):398-409.[Gerkey et al., 2005] Gerkey, B., Collet, T., and MacDonald, B. (2005). Player 2.0: Toward a Practical Robot Programming Framework. In Proc. of the Australasian Conf. on Robotics and Automation.[Gerkey et al., 2003] Gerkey, B., Vaughan, R. T., and Howard, A. (2003). The player/stage project: Tools for multi-robot and distributed sensor systems. In Proceedings of the 11th international conference on advanced robotics, pages 317-323.[Ghallab et al., 1998] Ghallab, M., Aeronautiques, C., Isi, C. K., and Wilkins, D. (1998). PDDL: the planning domain definition language. Technical Report Technical Report CVC TR98003/DCS TR1165, New Haven, CT: Yale Center for Computational Vision and Control.[Gibson, 1986] Gibson, J. J. (1986). The Ecological Approach to Visual Perception. Lawrence Erlbaum Associates.[Gordon et al., 1993] Gordon, N. J., Salmond, D. J., and Smith, A. F. M. (1993). Novel approach to nonlinear/non-Gaussian Bayesian state estimation. In Radar and Signal Processing, IEEE Proceedings, volume 140, pages 107-113.[Green, 1995] Green, P. J. (1995). Reversible Jump Markov Chain Monte Carlo Computation and Bayesian Model Determination. Biometrika, 82.[Grisetti et al., 2006] Grisetti, G., Stachniss, C., and Burgard, W. (2006). Improved techniques for grid mapping with Rao-Blackwellized Particle Pilters. Robotics, IEEE Transactions on, 23(1):34-46.[Gupta et al., 2010] Gupta, A., Efros, A. A., and Hebert, M. (2010). Blocks World Revisited: Image Understanding Using Qualitative Geometry and Mechanics. In European Conference on Computer Vision(ECCV).[Gutierrez et al., 2013] Gutierrez, M. A., Romero-Garcia, A., Bustos, P., and Martinez, J. (2013). Progress in RoboComp. Journal of Physical Agents, 7(1):38-47.[H. and R., 2004] H., H. and R., M. (2004). Action selection and mental transformation based on a chain of forward models. In Proceedings of the eighth international conference on simulation of behavior, SAB, pages 213-222.[Han and Zhu, 2009] Han, F. and Zhu, S.-C. (2009). Bottom-Up/Top-Down Image Parsing with Attribute Grammar. IEEE Transactions on Pattern Analysis and Machine Intelligence, 31(1).[Hasemann, 1994] Hasemann, J.-M. (1994). A Robot Control Architecture based on Graph Grammars and Fuzzy Logic. In Proc. of Int. Conf. on Intelligent Robots and Systems (IROS), pages 2123-2130.[Hastings, 1970] Hastings, W. K. (1970). Monte Carlo sampling methods using Markov chains and their applications. Biometrika, 57(1):97-109. [He et al., 2005] He, J., Li, X., and Liu, Z. (2005). Component-based Software Engineering: the Need to Link Methods and their Theories, pages 70-95. Proc. of ICTAC 2005, Lecture Notes in Computer Science 3722. Springer.[Heckel, 2006] Heckel, R. (2006). Graph transformation in a nutshell. Electronic notes in theoretical computer science, 148(1):187-198.[Henning and Spruiell, 2005] Henning, M. and Spruiell, M. (2005). Ice - Internet Communications Engine.[Henning and Spruiell, 2007] Henning, M. and Spruiell, M. (2007). Distributed Programming with Ice. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and applications, pages 89-110.[Hesslow, 2002] Hesslow, G. (2002). Conscious thought as simulation of behaviour and perception. Trends in cognitive sciences, 6(6):242-247.[Holland, 2003] Holland, O. (2003). Robots with internal models. Journal of Consciousness Studies, 10(4-5):77-109.[Holz et al., 2011] Holz, D., Schnabel, R., Droeschel, D., Stuckler, J., and Behnke, S. (2011). Towards semantic scene analysis with time-of-flight cameras. In RoboCup 2010: Robot Soccer World Cup XIV, pages 121-132. Springer.[Hugues and Bredeche, 2006] Hugues, L. and Bredeche, N. (2006). Simbad: An autonomous robot simulation package for education and research. In Nolfi, S., Baldassarre, G., Calabretta, R., Hallam, J., Marocco, D., Meyer, J.-A., Miglino, O., and Parisi, D., editors, From Animals to Animats 9, volume 4095 of Lecture Notes in Computer Science, pages 831-842. Springer Berlin Heidelberg.[Johansen and Doucet, 2008] Johansen, A. M. and Doucet, A. (2008). A note on Auxiliary Particle Filters. Statistics & Probability Letters, 78(12):1498-1504.[Jung and Schramm, 2004] Jung, C. R. and Schramm, R. (2004). Rectangle detection based on a windowed hough transform. In Proceedins of the XVII Brasilian Symposium on Computer Graphics and Image Processing, pages 113-120.[Kalman, 1960] Kalman, R. E. (1960). A new approach to linear filtering and prediction problems. Transactions of the ASME Journal of Basic Engineering, 82(Series D):35-45.[Khan et al., 2004] Khan, Z., Balch, T., and Dellaert, F. (2004). An mcmc-based particle filter for tracking multiple interacting targets. Computer Vision-ECCV 2004, pages 279-290.[Kirkpatrick et al., 1983] Kirkpatrick, S., Gelatt Jr, C. D., and Vecchi, M. P. (1983). Optimization by simulated annealing. science, 220(4598):671-680.[Koenig and Howard, 2004] Koenig, N. and Howard, A. (2004). Design and use paradigms for gazebo, an open-source multi-robot simulator. In Intelligent Robots and Systems, 2004. (IROS 2004). Proceedings. 2004 IEEE/RSJ International Conference on, volume 3, pages 2149-2154.[Kosaka and Kak, 1992] Kosaka, A. and Kak, A. (1992). Fast vision-guided mobile robot navigation using model-based reasoning and prediction of uncertainties. In Intelligent Robots and Systems, 1992., Proceedings of the 1992 lEEE/RSJ International Conference on, volume 3, pages 2177-2186.[Lagunovsky and Ablameyko, 1999] Lagunovsky, D. and Ablameyko, S. (1999). Straight-line-based primitive extraction in grey-scale object recognition. Pattern Recognition Letters, 20(10):1005-1014.[LaValle and Kuffner, 2001] LaValle, S. M. and Kuffner, J. J. (2001). Algorithmic and Computational Robotics: New Directions, chapter Rapidly-exploring Random Trees: Progress and Prospects, pages 293-308. A K Peters.[Leger, 1999] Leger, C. (1999). Automated synthesis and Optimization of Robot Configurations: An Evloutionary Approach. PhD thesis, The Robotics institute, Carnegie Mellon University.[Lin and Nevatia, 1998] Lin, C. and Nevatia, R. (1998). Building detection and description from a single intensity image. Computer Vision and Image Understanding, 72(2):101-121.[Lin et al., 2009] Lin, L., Wu, T., Porway, J., and Xu, Z. (2009). A Stochastic Graph Grammar for Compositional Object Representation and Recognition. Journal of Pattern Recognition, 42(7):1297-1307.[M. Markou and S. Singh, 2003a] M. Markou and S. Singh (2003a). Novelty detection: a review - part 1: statistical approaches. Signal processing, 83(12):2481-2497. [M. Markou and S. Singh, 2003b] M. Markou and S. Singh (2003b). Novelty detection: a review - part 2: neural network based approaches. Signal processing, 83(12):2499-2521.[MacCormick and Blake, 2000] MacCormick, J. and Blake, A. (2000). A probabilistic exclusion principle for tracking multiple objects. International Journal of Computer Vision, 39(1):57-71.[Manso, 2012] Manso, L. J. (2012). InnerModel*: InnerModel, InnerModelViewer, RCInnerModelEditor and RCInnerModelSimulator. RoboComp-s Wiki Tutorials.[Manso et al., 2010] Manso, L. J., Bachiller, P., Bustos, P., Nunez, P., Cintas, R., and Calderita, L. (2010). RoboComp: a Tool-based Robotics Framework. In Proc. of Int. Conf. on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR), pages 251-262.[Manso et al., 2012] Manso, L. J., Bustos, P., Bachiller, P., and Gutierrez, M. A. (2012). Graph Grammars for Active Perception. In Proc. of 12th International Conference on Autonomous Robot Systems and Competitions, pages 63-68.[Martinez and Caputo, 2011] Martinez, J. and Caputo, B. (2011). Towards Semi-Supervised Learning of Semantic Spatial Concepts. In Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA), pages 1936-1943.[Martinez et al., 2011] Martinez, J., Jimenez, A., Gomez, J. A., and Garcia, I. (2011). Combining invariant features and localization techniques for visual place classification: successful experiences in the robotVision@ImageCLEF competition. Journal of Physical Agents, 5(1):45-54.[Mataric, 1990] Mataric, M. J. (1990). A Distributed Model for Mobile Robot Environment-Learning and Navigation. Technical report, Massachusetts Institute of Technology AI Lab.[Matas et al., 2000] Matas, J., Galambos, C., and Kittler, J. (2000). Robust detection of lines using the progressive probabilistic hough transform. Computer Vision and Image Understanding, 78(1):119-137.[Mateos et al., 2010] Mateos, J., Sanchez, A., Manso, L. J., Bachiller, P., and Bustos, P. (2010). RobEx: an open-hardware robotics platform. In Workshop of Physical Agents.[McIlroy, 1969] McIlroy, M. D. (1969). Mass produced software components. NATO, Scientific Affairs Division, pages 79-85.[Meng et al., 2006] Meng, Y., Nickerson, V., J., and Gan, J. (2006). Multi-robot aggregation strategies with limited communication. In Intelligent Robots and Systems, 2006 IEEE/RSJ International Conference on, pages 2691-2696. IEEE.[Metropolis et al., 1953] Metropolis, N., Rosenbluth, A. W., Rosenbluth, M. N., and Teller, A. H. (1953). Equations of State Calculations by Fast Computing Machines. Journal of Chemical Physics, 21:1087-1091.[Miller et al., 1986] Miller, G. A., Galanter, E., and Pribram, K. H. (1986). Plans and the Structure of Behavior. Adams Bannister Cox. [Montemerlo et al., 2003] Montemerlo, M., Roy, N., and Thrun, S. (2003). Perspectives on Standardization in Mobile Robot Programming: The Carnegie Mellon Navigation (CARMEN) Toolkit. In Proceedings of International the International Conference on Intelligent Robots and Systems, pages 2436-2441.[Montijano and Sagues, 2009] Montijano, E. and Sagues, C. (2009). Topological maps based on graphs of planar regions. In Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 1661-1666.[Murtra et al., 2010] Murtra, A. C., Trulls, E., Tur, J. M. M., and Sanfeliu, A. (2010). Efficient use of 3d environment models for mobile robot simulation and localization. In Simulation, Modeling, and Programming for Autonomous Robots, pages 461-472. Springer.[Muller and Rodriguez, 1996] Muller, J. P. and Rodriguez, M. O. (1996). A constructivist approach to autonomous systems. In In Growing Mind Symposium, Piaget.[NAIST, 2010] NAIST (2010). RT-Middleware: OpenRTM-AIST. National Institute of Advanced Industrial Science and Technology (AIST).[Neal, 2001] Neal, R. M. (2001). Annealed importance sampling. Statistics and Computing, 11(2):125-139.[Newman, 2006] Newman, P. (2006). Moos - mission orientated operating suite. Massachusets Institute of Technology, Dept. of Ocean Engineering.[Newton, M. A. and Raftery, A. E., 1994] Newton, M. A. and Raftery, A. E. (1994). Approximate Bayesian inference with the weighted likelihood bootstrap. Journal of the Royal Statistical Society, pages 3-48.[Nicolescu and Mataric, 2002] Nicolescu, M. N. and Mataric, M. J. (2002). A Hierarchical Architecture for Behavior-Based Robots. In Proc. of Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems, pages 227-233.[Noe, 2004] Noe, A. (2004). Action in perception. The MIT Press. [Nuske et al., 2009] Nuske, S., Roberts, J., and Wyeth, G. (2009). Robust outdoor visual localization using a three-dimensional-edge map. Journal of Field Robotics, 26(9):728-756.[Palmer et al., 1994] Palmer, P. L., Kittler, J., and Petrou, M. (1994). Using focus of attention with the hough transform for accurate line parameter estimation. Pattern Recognition, 27(9):1127-1134.[Pitt and Shephard, 1999] Pitt, M. K. and Shephard, N. (1999). Filtering via simulation: Auxiliary particle filters. Journal of the American statistical association, 94(446):590-599.[Quigley et al., 2009] Quigley, M., Gerkey, B., Conley, K., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., and Ng, A. (2009). ROS: an open-source Robot Operating System. In Proc. of ICRA Workshop on Open Source Software.[Quintero et al., 2011] Quintero, E., Garcia-Olaya, A., Borrajo, D., and Fernandez, F. (2011). Control of Autonomous Mobile Robots with Automated Planning. Journal of Physical Agents, 5(1):3-13.[Richtsfeld et al., 2012] Richtsfeld, A., Morwald, T., Prankl, J., Balzer, J., Zillich, M., and Vincze, M. (2012). Towards scene understanding-object segmentation using rgbd-images. In Computer Vision Winter Workshop (CVWW), volume 1.[Roberts, 1963] Roberts, L. G. (1963). Machine Perception of Three-dimensional Solids. PhD thesis, Massachusetts Institute of Technology.[Rodriguez et al., 2008] Rodriguez, S., S. Thomas, R. P., and Amato, N. (2008). RESAMPL: A region-sensitive adaptive motion planner. Algorithmic Foundation of Robotics VII, pages 285-300.[Romero-Garces et al., 2011] Romero-Garces, A., Manso, L. J., Gutierrez, M. A., Cintas, R., and Bustos, P. (2011). Improving the life cycle of robotics components using Domain Specific Languages. In 2nd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-2011).[Rosenfeld, 1969] Rosenfeld, A. (1969). Picture processing by computer. ACM Comput. Surv. 1:147-176.[Rubin et al., 1988] Rubin, D. B. et al. (1988). Using the SIR algorithm to simulate posterior distributions. Bayesian statistics, 3:395-402.[Rusu, 2009] Rusu, R. B. (2009). Semantic 3D Object Maps for Everyday Manipulation in Human Living Environments. PhD thesis, Technical University of Munich, Germany.[Rusu et al., 2009] Rusu, R. B., Blodow, N., Marton, Z. C., and Beetz, M. (2009). Close-range scene segmentation and reconstruction of 3d point cloud maps for mobile manipulation in domestic environments. In Intelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on, pages 1-6.[Sanchez et al., 2012] Sanchez, A., Nunez, P., Manso, L. J., and Bustos, P. (2012). Experiments in self-calibration of an autonomous mobile manipulator. In Proceedings of the Workshop of Physical Agents (WAF2012), pages 183-190.[ScGutierrezhlegel et al., 2010] ScGutierrezhlegel, C., Steck, A., Brugali, D., and Knoll, A. (2010). Design abstraction and processes in robotics: From code-driven to model-driven engineering. In 2nd International Conference on Simulation, Modeling and Programming for Autonomous Robots, pages 324-335. Springer.[Schlegel, 2004] Schlegel, C. (2004). Navigation and Execution for Mobile Robots in Dynamic Environments: An Integrated Approach. PhD thesis, University of Ulm.[Schmidt et al., 1997] Schmidt, D. C., Gokhale, A., Harrison, T. H., Levine, D., and Cleeland, C. (1997). Tao: a high-performance end system architecture for real-time corba. IEEE Communications Magazine, 14(2).[Schmidt and Huston, 2002] Schmidt, D. C. and Huston, S. (2002). C++ Network Programming Volume 2: Systematic Reuse with ACE and Frameworks. Addison-Wesley.[Septier et al., 2009] Septier, F., Pang, S. K., Carmi, A., and Godsill, S. (2009). On mcmc based particle methods for bayesian filtering: Application to multitarget tracking. In Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP), 2009 3rd IEEE International Workshop on, pages 360-363. IEEE.[Sheng et al., 2006] Sheng, W., Yang, Q., Tan, J., and Xi, N. (2006). Distributed multi-robot coordination in area exploration. Robotics and Autonomous Systems, 54(12):945-955. [Simhon and Dudek, 1998] Simhon, S. and Dudek, G. (1998). A Global Topological Map formed by Local Metric Maps. In In IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 1708-1714.[Siskind et al., 2007] Siskind, J. M., Sherman, J., Pollak, I., Harper, M. P., and Bouman, C. A. (2007). Spatial Random Tree Grammars for Modeling Hierarchal Structure in Images with Regions of Arbitrary Shape. Transactions on Pattern Analysis and Machine Intelligence, 29(9):1504-1519.[Smith and Gelfand, 1992] Smith, A. F. M. and Gelfand, A. E. (1992). Bayesian statistics without tears: a sampling-resampling perspective. American Statistician, pages 84-88.[Smith et al., 2009] Smith, B., Howard, A., McNew, J.-M., Wang, J., and Egerstedt, M. (2009). Multi-robot Deployment and Coordination with Embedded Graph Grammars. Journal of Autonomous Robots, 26(1):77-98.[Smith, 2007] Smith, K. (2007). Bayesian methods for visual multi-object tracking with applications to human activity recognition. PhD thesis, Lausanne, EPFL.[Svensson et al., 2009] Svensson, H., Morse, A., and Ziemke, T. (2009). Neural Pathways of Embodied Simulation, pages 95-114. Anticipatory Behavior in Adaptive Learning Systems. Springer.[Tao et al., 2002] Tao, W. B., Tian, J. W., and Liu, J. (2002). A new approach to extract rectangular building from aerial urban images. In Signal Processing, 2002 6th International Conference on, volume 1, pages 143-146.[Thrun, 1998] Thrun, S. (1998). Learning metric-topological maps for indoor mobile robot navigation. Artificial Intelligence, 9(1):21-71.[Thrun, 2000] Thrun, S. (2000). Monte carlo pomdps. Advances in neural information processing systems, 12:1064-1070.[Thrun, 2002] Thrun, S. (2002). Robotic Mapping: A Survey. Technical report, School of Computer Science, Carnegie Mellon University.[Thrun et al., 2005] Thrun, S., Burgard, W., and Fox, D. (2005). Probabilistic Robotics. MIT Press, Cambridge.[Tikhanoff et al., 2008] Tikhanoff, V., Cangelosi, A., Fitzpatrick, P., Metta, G., Natale, L., and Nori, F. (2008). An open-source simulator for cognitive robotics research: The prototype of the icub humanoid robot simulator.[Tomatis et al., 2003] Tomatis, N., Nourbakhsh, I., and Siegwart, R. (2003). Hybrid simultaneous localization and map building: a natural integration of topological and metric. Robotics and Autonomous Systems, 44(1):3-14.[Torralba et al., 2010] Torralba, A., Murphy, K. P., and Freeman, W. T. (2010). Using the forest to see the trees: exploiting context for visual object detection and localization. Communications of the ACM, 53(3):107-114.[Tu et al., 2005] Tu, Z., Chen, X., Yuille, A., and Zhu, S. C. (2005). Image parsing: Unifying segmentation, detection, and recognition. International Journal of Computer Vision, 63(2):113-140.[Tu and Zhu, 2002] Tu, Z. and Zhu, S.-C. (2002). Image Segmentation by Data-Driven Markov Chain Monte Carlo. Transactions on Pattern Analysis and Machine Intelligence, 24. [Ulam and Arkin, 2004] Ulam, P. and Arkin, R. C. (2004). When good communication go bad: communications recovery for multi-robot teams. In Robotics and Automation, 2004. Proceedings. ICRA-04. 2004 IEEE International Conference on, volume 4, pages 3727-3734. IEEE.[Utz et al., 2007] Utz, H., Mayer, G., Kaufmann, U., and Kraetzschmar, G. (2007). VIP: The Video Image Processing Framework Based on the MIRO Middleware. Software Engineering for Experimental Robotics, Springer, pages 325-344.[van Zwynsvoorde et al., 2000] van Zwynsvoorde, D., Simeon, T., and Alami, R. (2000). Incremental topological modeling using local Voronoi-like graphs. In Proc. of IEEE/RSJ Int. Conf. on Intelligent Robots and System (IROS 2000), volume 2, pages 897-902.[Vaughan et al., 2003] Vaughan, R. T., Gerkey, B., and Howard, A. (2003). On device abstractions for portable, resuable robot code. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robot Systems, pages 2121-2427.[Vlassis et al., 2002] Vlassis, N., Terwijn, B., and Krose, B. (2002). Auxiliary particle filter robot localization from high-dimensional sensor observations. In Proceedings of IEEE International Conference on Robotics and Automation, volume 1, pages 7-12. IEEE.[Volpe et al., 2001] Volpe, R., Nesnas, I., Estlin, T., Mutz, D., Petras, R., and Das, H. (2001) The CLARAty Architecture for Robotic Autonomy. In Proc. of Aerospace Conference, pages 121-132.[Welch and Bishop, 1995] Welch, G. and Bishop, G. (1995). An introduction to the kalman filter. Technical Report 041, University of North Carolina at Chapel Hill, Chapel Hill, NC.[Wolf and Sukhatme, 2008] Wolf, D. F. and Sukhatme, G. S. (2008). Semantic mapping using mobile robots. IEEE Transactions on Robotics, 24(2):245-258.[Yan et al., 2006] Yan, F., Zhuang, Y., and Wang, W. (2006). Large-scale Topological Environmental Model Based Particle Filters for Mobile Robot Indoor Localization. In Proc. of the IEEE Int. Conf. on Robotics and Biomimetics, volume 0, pages 858-863.[ZeroC, 2010] ZeroC (2010). ZeroC Customers.[Zhu et al., 2000] Zhu, S.-C., Zhang, R., and Tu, Z. (2000). Integrating Bottom-Up/Top-Down for Object Recognition by Data Driven Markov Chain Monte Carlo. In Proc. of Int. Conf. in Computer Vision and Pattern Recognition, pages 738-745.[Zhu et al., 2003] Zhu, Y., Carragher, B., Mouche, F., and Potter, C. S. (2003). Automatic Particle Detection through Efficient Hough Transforms. IEEE Trans. Med. Imaging, 22(9).[Ziemke et al., 2005] Ziemke, T., Jirenhed, D.-A., and Hesslow, G. (2005). Internal simulation of perception: a minimal neuro-robotic model. Neurocomputing, 68:85-104.