Department ofElectrical Engineering
A Semantic Situation Awareness Framework for Indoor Cyber-Physical Systems
Dissertation Committee
Director Dr. Kuldip Rattan
Co-Director Dr. Amit Sheth
Dr. Marian Kazimierczuk
Dr. Frank Zhang
Dr. Guru Subramanyam
Ph.D. in Engineering Dissertation Defense
Pratikkumar DesaiMonday, 4/29/2013
Department ofElectrical Engineering
Embedded systemse.g. thermostat
Networked embedded systeme.g. wireless sensor networks
Cyber-physical systeme.g. Intelligent traffic management systems
Department ofElectrical Engineering
Cyber-Physical Systems
http://www.cs.binghamton.edu/~tzhu/
Cyber : Computation, communication, and control that are discrete, logical, and switched.
Physical : Natural and human-made systems governed by the laws of physics and operating in continuous time.
Cyber-Physical Systems (CPS) : Systems in which the cyber and physical systems are tightly integrated at all scales and levels
Department ofElectrical Engineering
CPS Examples
Disaster Management
SmartGrid
SmartHome
Remote PatientMonitoring
Traffic Management
Air TrafficControl
Military Drones
Department ofElectrical Engineering
Motivation & Challenges(Situation awareness)
Department ofElectrical Engineering
Motivation
Mobile sensing platform
Situation: Actual fireat chair
Department ofElectrical Engineering
Motivation
Mobile sensing platform
Event : Firefrom temperature and CO2
data
Event : Firefrom temperature and CO2
data
Department ofElectrical Engineering
Motivation
Mobile sensing platform
Uncertainty: Sensor datae.g. Due to resoultion, calibration or robustness of sensors
Department ofElectrical Engineering
Motivation
Mobile sensing platform
Incomplete domain knowledgee.g. Unknown sources in the environment
Department ofElectrical Engineering
Interoperability
Indoor location awareness
Complex system
Department ofElectrical Engineering
Context
Environmentalcontext
Location
e.g. temperature,CO2, heart rate
e.g. coordinates
Contextualsituation
awareness
Location awareness
Contextual situation awareness:βis a process of comprehending meaning of environmental context in terms of events or entitiesβ
Location awareness:βis a process of identifying objects from raw spatial information and their relationship with the ongoing eventsβ
Contextβis a physical phenomenon, measured using sensors, and product of an eventβ
Department ofElectrical Engineering
Contextual situation awareness + Location awareness
Raw environmental sensor data
Raw spatial information
Entities (High level abstractions)
Object-Entity relationships
Situation
Department ofElectrical Engineering
Contextual Situation Awareness
Department ofElectrical Engineering
IntellegO
0
100
C
temperature
CO2
0
1000
ppm
Fire
DryIce
RoomHeater
NormalCondition
Quality-type EntityQuality
LowTemp
HighTemp
LowCO2
HighCO2
β’ Abductive reasoningβ’ Crisp abstractions
http://wiki.knoesis.org/index.php/Intellego
Domain Knowledge Base
Department ofElectrical Engineering
Temperature: 500 C HighTemp
CO2: 1010 ppm HighCO2
Temperature: 500 C HighTemp
CO2: 999 ppm LowCO2
Fire
DryIce
RoomHeater
RoomHeater
Department ofElectrical Engineering
Motivation
Mobile sensing platform
Uncertainty: Sensor datae.g. Due to limitation, calibration or robustness of sensors
Incomplete domain knowledgee.g. Unknown sources in the environment
Department ofElectrical Engineering
Fuzzy abstractions
Membership function
0
1 LowCO2
ppm800
HighCO2
1200
1160 ppm
0.9
0.1
Β΅
a
Department ofElectrical Engineering
Fuzzy abductive reasoning
500 Β°C
1160 ppm
0
80
120
C
temperature
CO2
0
800
1200
ppm
LowTemp Fire
DryIce
RoomHeater
NormalCondition
Quality-type EntityQuality
HighTemp
LowCO2
HighCO2
ππΉπππ (π )=π hπ»ππ ππππ (π )β§π hπ»ππ πΆπ2(π )
Department ofElectrical Engineering
ππ :πππ‘ππ‘π¦β‘ {βππ : hππ ππππ πΌπ . { hπ»ππ πΆπ2 }ββππ : hππ ππππ πΌπ . {πΏππ€πΆπ2 } }β {βππ : hππ ππππ πΌπ . { hπ»ππ ππππ }}
β‘{πΉπππ ,π ππππ»πππ‘ππ }
Department ofElectrical Engineering
Evaluation β Contextual Situation Awareness
Reasoning approach Accuracy Precision Recall
Crisp abductive reasoning 86 % 78.57 % 73.33 %
Fuzzy abductive reasoning 94 % 92.85 % 86.66 %
Department ofElectrical Engineering
Interoperability
Complex system
Department ofElectrical Engineering
Semantic Webβ’ Semantic web:
β’ Formally define the meaning of information on web.β’ Provide expressive representation, formal analysis of resources.
β’ Ontologyβ’ Formally represents knowledge as a set of concepts within a domain and the
relationships between pairs of concepts.
β’ RDF (Resource Description Framework)β’ Graph-based language for modeling of information.β’ Allows linking of data through named properties.
http://www-ksl.stanford.edu/kst/what-is-an-ontology.html
Subject ObjectPredicate
HighTempInheresIn
Fire
Department ofElectrical Engineering
Raw Sensor Data
SSN annotated
Observations
Low-level fuzzy
abstractions(qualities)
Fuzzy reasoning
High-levelAbstractions(entity)
SSNOntology
Domain Ontology Fuzzy Inference rules ontology
FuzzificationRules
Observation process Perception process
Contextual situation awareness (Semantic modeling)
Department ofElectrical Engineering
Indoor Localization
Department ofElectrical Engineering
Indoor location awareness
Department ofElectrical Engineering
Traditional Indoor Localization Techniques
β’ Active Badge and Active Bat system.
β’ RADAR: An In-building RF-based user location and tracking system.
β’ RFID radar
β’ Object tracking with multiple camerasβ’ Computer vision based localization
β’ Wireless Sensor Network
RF
Camera
TDoA
Department ofElectrical Engineering
TDoA (Time Difference of Arrival)
Listener
Beacon
RF Signal
Ultraso
nic Signal
Stage 1: Beacon transmits RF and Us signals together
Stage 2: Listener receives RF signal first at Trf and
starts the clockStage 3: At Tus time US signals is received
by Listener
Stage 3: Distance is calculated using βT and speed of signals
Department ofElectrical Engineering
TrilaterationNumber of nodes = 3.
Outlier rejection and Multilateration
Department ofElectrical Engineering
The Proposed Algorithmβ’ Utilizes fusion of RSS (received signal strength) of RF
signal and TDoA data for accurate distance estimation.β’ The algorithm stages:-
β’ RSSI data trainingβ’ Distance estimationβ’ Localization
β’ Uses TDoA as a primary distance estimation technique.β’ RSSI data is trained and converted into appropriate
distance measurements.β’ The proposed algorithm can be used in absence of one or
many TDoA links.
Department ofElectrical Engineering
Initial Conditions
β’ Distances between all beacons are known and fixed
Department ofElectrical Engineering
0 ? ? ?? 0 ? ?? ? 0 ?? ? ? 0
L
B4
B2
B3
B1
0 ? ? ?? 0 ? ?? ? 0 ?
R14 ? ? 0
0 ? ? ?R12 0 ? ?? ? 0 ?? ? ? 0
0 ? ? ?? 0 ? ?
R13 ? 0 ?? ? ? 0
0 ? ? ? R1L T1L
? 0 ? ? ? ?? ? 0 ? ? ?? ? ? 0 ? ?
RSSI LinkTDoA Link
Beacon B1 Transmit Data
Department ofElectrical Engineering
0 R21 ? ?R12 0 ? ?? ? 0 ?? ? ? 0
L
B4
B2
B3
B1
0 ? ? ?R12 0 ? ?? ? 0 ?
R14 R24 ? 0
0 ? ? ?R12 0 ? ?? ? 0 ?? ? ? 0
0 ? ? ?R12 0 ? ?R13 R23 0 ?? ? ? 0
0 ? ? ? R1L T1L
R12 0 ? ? R2L T2L
? ? 0 ? ? ?? ? ? 0 ? ?
RSSI LinkTDoA Link
Beacon B2 Transmit Data
Department ofElectrical Engineering
0 R21 R31 ?R12 0 ? ?R13 R23 0 ?? ? ? 0
L
B4
B2
B3
B1
0 ? ? ?R12 0 ? ?R13 R23 0 ?R14 R24 R34 0
0 ? ? ?R12 0 R32 ?R13 R23 0 ?? ? ? 0
0 ? ? ?R12 0 ? ?R13 R23 0 ?? ? ? 0
0 ? ? ? R1L T1L
R12 0 ? ? R2L T2L
R13 R23 0 ? R3L T3L
? ? ? 0 ? ?
RSSI LinkTDoA Link
Beacon B3 Transmit Data
Department ofElectrical Engineering
0 R21 R31 R41
R12 0 ? ?R13 R23 0 ?R14 R24 R34 0
L
B4
B2
B3
B1
0 ? ? ?R12 0 ? ?R13 R23 0 ?R14 R24 R34 0
0 ? ? ?R12 0 R32 R42
R13 R23 0 ?R14 R24 R34 0
0 ? ? ?R12 0 ? ?R13 R23 0 R43
R14 R24 R34 0
0 ? ? ? R1L T1L
R12 0 ? ? R2L T2L
R13 R23 0 ? R3L T3L
R14 R24 R34 0 R4L T4L
RSSI LinkTDoA Link
Beacon B4 Transmit Data
Department ofElectrical Engineering
Evaluationβ Proposed Algorithm
Department ofElectrical Engineering
Location Awareness
Department ofElectrical Engineering
Bed-1
Chair-2
Chair-1
Sofa-1
Fireplace-1
Treadmill-1
Desk-1
Stove-1
Bedroom-1 Bedroom-2
Gym-1
Drawingroom-1
Kitchen-1
Plant-1
IndoorEnvironment
Department ofElectrical Engineering
Hierarchical mapping ofthe indoor environment
Department ofElectrical Engineering
Chair-1Drawingroom-
1
xsd:float
xsd:float
xsd:float
xsd:float
xsd:float
xsd:float
xsd:string
ChairPOI
POI
Drawingroom
inLo:isLocatedIn
is-a
has individual
is-a
StructuralComponent
has individual
inLo:hasUnit
inLo
:has
Xmax
inLo:hasXmin
inLo:hasYmax
inLo:hasYmininLo:hasZmaxinLo:hasZm
in
inLo:hasPOI
Def
inin
g C
over
age
spac
e (C
hair-
1)
Department ofElectrical Engineering
πΌππππ‘ππππππππΌ
β‘ {ππππβ1 , hπΆ πππ β1 ,πΉππππππππβ1 }
β‘{ hπΆ πππ β1 }
β {ππππβ1 ,πΆ hπππ β1 ,πΉππππππππβ1 }
β {ππππβ1 ,πππππ‘β1 ,πΉππππππππβ1 , hπΆ πππ β1 }
Raw location : ( x, y) = (190 cm, 570 cm)
Department ofElectrical Engineering
Object-entity relationshipStructural Components Point of Interests Entities
hasIndividual
isLoca
tedIn
hasApplicableEntity
hasApplicableEntity
Department ofElectrical Engineering
Evaluation β Location Awareness
Chair-1
Sofa-1
Fireplace-1
Drawingroom-1
Plant-1
Location (a)
Location (b)
(140,560)
(140,640) (430,640)
(430,560)
(60,480) (200,480)
(60,140) (200,140)
(180,110)
(180,10)
(110,340)
(10,340)
(610,360) (760,360)
(610,240) (760,240)
( 190,570 )
( 630,325 )
Mobile-robot route
Department ofElectrical Engineering
Reasoning approach
Precision Recall
Crisp abductive reasoning
87.5 % 43.75 %
Fuzzy abductive reasoning
100 % 50 %
Location aided fuzzy abductive reasoning
100 % 88.89 %
Location aided reasoning
Location independent reasoning
Fireplace
Department ofElectrical Engineering
Comprehensive
Framework
Department ofElectrical Engineering
EntitiesQualities
Indoor Positioning
System
Environment Sensors
SituationFuzzy
Abductive Reasoning
Fuzzy Abstraction
Rules
Contextual Situation Awareness
Semantic Object
Identifier
Spatial Reasoning
Loca
tion
Aw
aren
essDomain
Knowledge
Comprehensive Framework(System level)
Department ofElectrical Engineering
Raw Physical Context
Data
SSN annotated
Observations
Low-level Fuzzy
Abstractions(Qualities)
High-levelAbstractions
(Entities)
OptimizedSituation
Raw Location
Data
Semantic LocationIdentifier
SSNOntology
Domain Ontology Fuzzy Abductive Reasoning Rules
Indoor LocationOntology
Comprehensive Framework(Semantic modeling)
Department ofElectrical Engineering
Temp: 150 Β°CCO2:1120 ppm
Temp: 180 Β°CCO2:1160 ppm
Location (b): (400,150,30)
Location (a): (200,250,20)
Object coverage area
Mobile robot path
Department ofElectrical Engineering
Fire: 0.80Heater: 0.20
Fire: 0.90Heater: 0.10
Location (b): (400,150,30)
Location (a): (200,250,20)
Object coverage area
Mobile robot path
Department ofElectrical Engineering
Fire: 0.80Heater: 0.20
Fire: 0.90Heater: 0.10
Location (b): Chair
Location (a): Fireplace
Object coverage area
Mobile robot path
Department ofElectrical Engineering
Fire: 0Heater: 0
Fire: 0.90Heater: 0.10
Location (b): Chair
Location (a): Fireplace
Object coverage area
Mobile robot path
Department ofElectrical Engineering
Key Contributionsβ’ Developed a fusion based indoor localization algorithm to
achieve accurate spatial information of the sensing platform.
β’ Accurate indoor localization algorithm.β’ Surveillance and tracking of mobile robots in indoor environments.β’ Integration of indoor positioning results with virtual world environment.
Related papers:β’ P. Desai, N. Baine, and K. S. Rattan, βFusion of RSSI and TDoA Measurements from Wireless Sensor Network
for Robust and Accurate Indoor Localization,β in International Technical Meeting of The Institute of Navigation, 2011, pp. 223β230.
β’ P. Desai, N. Baine, and K. S. Rattan, βIndoor localization for global information service using acoustic wireless sensor network,β in Proceedings of SPIE, 2011, vol. 8053, no. 1, pp. 805304β805304β10.
β’ P. Desai and K. S. Rattan, βSystem Level Approach for Surveillance Using Wireless Sensor Networks and PTZ Camera,β in 2008 IEEE National Aerospace and Electronics Conference, 2008, pp. 353β357.
β’ P. Desai and K. S. Rattan, βIndoor localization and surveillance using wireless sensor network and Pan/Tilt camera,β in Proceedings of the IEEE 2009 National Aerospace Electronics Conference NAECON, 2009, pp. 1β6.
β’ An invited journal paper in preparation.
Department ofElectrical Engineering
Key Contributionsβ’ Introduced fuzzy abstraction and inference technique to
comprehend events via handling the uncertainty in the context information & the ambiguity in the domain knowledge.
β’ P. Desai, C. Henson, P. Anatharam, and A. Sheth, βSECURE: Semantics Empowered resCUe Environment (Demonstration Paper),β in 4th International Workshop on Semantic Sensor Networks (SSN 2011), 2011, pp. 110β113.
β’ A journal paper in preparation.
β’ Developed semantic mapping technique for indoor objects to aid the situational context awareness results via further discriminating not applicable events.
β’ Developed and deployed a comprehensive situation awareness framework for cyber-physical system.
β’ A journal paper in preparation.
Department ofElectrical Engineering
Future work
β’ Richer spatio-temporal relation modeling between indoor objects and entities
β’ Efficient coverage space for the indoor objects
β’ Accurate indoor localization via smartphones
Department ofElectrical Engineering
Acknowledgements
Department ofElectrical Engineering
Questions?