In our research we are interested in developing formal theories that can provide systematic design and analysis methodology for perceptual robotic systems.