Matthew Weber

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2019-114

August 15, 2019

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2019/EECS-2019-114.pdf

Future IoT killer apps leveraging ubiquitous sensors and actuators will create value in emergent properties of composition and contextual awareness. This thesis focuses on two key aspects of principled IoT design: (1) using contextual information from the physical world, and (2) enabling interaction and composition across distributed cyber physical systems. These challenges are mutually intertwined. Acquiring contextual information about the world (1) usually involves building applications to coordinate device interaction (2). Similarly, the decision an application makes about which sensors and actuators to interact with (2) should be governed by contextual information (1).

In this thesis I will present research in both directions: I propose semantic localization, a logical language as the interface between spatial modeling and spatial programming. I will present the accessors platform as a framework for building dynamic swarm applications, and give an architecture for connected car service discovery with semantic accessors. I will show how ontology matching adapters may be used to enhance distributed cyber physical system interaction. Finally, I will give an SMT solving algorithm for spatial ontology verification in sensor networks.

Advisors: Edward A. Lee

---

BibTeX citation:

@phdthesis{Weber:EECS-2019-114,
    Author= {Weber, Matthew},
    Title= {Context and Interaction in the Internet of Things},
    School= {EECS Department, University of California, Berkeley},
    Year= {2019},
    Month= {Aug},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2019/EECS-2019-114.html},
    Number= {UCB/EECS-2019-114},
    Abstract= {Future IoT killer apps leveraging ubiquitous sensors and actuators will create value in emergent properties of composition and contextual awareness. This thesis focuses on two key aspects of principled IoT design: (1) using contextual information from the physical world, and (2) enabling interaction and composition across distributed cyber physical systems. These challenges are mutually intertwined. Acquiring contextual information about the world (1) usually involves building applications to coordinate device interaction (2). Similarly, the decision an application makes about which sensors and actuators to interact
with (2) should be governed by contextual information (1).

In this thesis I will present research in both directions: I propose semantic localization, a logical language as the interface between spatial modeling and spatial programming. I will present the accessors platform as a framework for building dynamic swarm applications, and
give an architecture for connected car service discovery with semantic accessors. I will show how ontology matching adapters may be used to enhance distributed cyber physical system interaction. Finally, I will give an SMT solving algorithm for spatial ontology verification in
sensor networks.},
}

EndNote citation:

%0 Thesis
%A Weber, Matthew 
%T Context and Interaction in the Internet of Things
%I EECS Department, University of California, Berkeley
%D 2019
%8 August 15
%@ UCB/EECS-2019-114
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2019/EECS-2019-114.html
%F Weber:EECS-2019-114