Context and Interaction in the Internet of Things

Future IoT killer apps leveraging ubiquitous sensors and actuators will create value inemergent properties of composition and contextual awareness. This thesis focuses on twokey aspects of principled IoT design: (1) using contextual information from the physicalworld, and (2) enabling interaction and composition across distributed cyber physical systems.These challenges are mutually intertwined. Acquiring contextual information aboutthe world (1) usually involves building applications to coordinate device interaction (2).Similarly, the decision an application makes about which sensors and actuators to interactwith (2) should be governed by contextual information (1).In this thesis I will present research in both directions: I propose semantic localization, alogical language as the interface between spatial modeling and spatial programming. I willpresent the accessors platform as a framework for building dynamic swarm applications, andgive an architecture for connected car service discovery with semantic accessors. I will showhow ontology matching adapters may be used to enhance distributed cyber physical systeminteraction. Finally, I will give an SMT solving algorithm for spatial ontology verification insensor networks