Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Situation awareness in pervasive computing systems: reasoning, verification, prediction
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
2013 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

The paradigm of pervasive computing aims to integrate the computing technologies in a graceful and transparent manner, and make computing solutions available anywhere and at any time. Different aspects of pervasive computing, like smart homes, smart offices, social networks, micromarketing applications, PDAs are becoming a part of everyday life.Context can be defined as information that can be of possible interest to the system. Context often includes location, time, activity, surroundings among other attributes. One of the core features of pervasive computing systems is context awareness – the ability to use context to improve the performance of the system and make its behavior more intelligent.Situation awareness is related to context awareness, and can be viewed as the highest level of context generalization. Situations allow eliciting the most important information from context. For example, situations can correspond to locations of interest, actions and locomotion of the user, environmental conditions.The thesis proposes, justifies and evaluates situation modeling methods that allow covering broad range of real-life situations of interest and reasoning efficiently about situation relationships. The thesis also addresses and contributes to learning the situations out of unlabeled data. One of the main challenges of that approach is understanding the meaning of a newly acquired situation and assigning a proper label to it. This thesis proposes methods to infer situations from unlabeled context history, as well as methods to assign proper labels to the inferred situations. This thesis proposes and evaluates novel methods for formal verification of context and situation models. Proposed formal verification significantly reduces misinterpretation and misdetection errors in situation aware systems. The proper use of verification can help building more reliable and dependable pervasive computing systems and avoid the inconsistent context awareness and situation awareness results. The thesis also proposes a set of context prediction and situation prediction methods on top of enhanced situation awareness mechanisms. Being aware of the future situations enables a pervasive computing system to choose the most efficient strategies to achieve its stated objectives and therefore a timely response to the upcoming situation can be provided. In order to become efficient, situation prediction should be complemented with proper acting on prediction results, i.e. proactive adaptation. This thesis proposes proactive adaptation solutions based on reinforcement learning techniques, in contrast to the majority of current approaches that solve situation prediction and proactive adaptation problems sequentially. This thesis contributes to situation awareness field and addresses multiple aspects of situation awareness.The proposed methods were implemented as parts of ECSTRA (Enhanced Context Spaces Theory-based Reasoning Architecture) framework. ECSTRA framework has proven to be efficient and feasible solution for real life pervasive computing systems

Place, publisher, year, edition, pages
Luleå: Luleå tekniska universitet, 2013. , 299 p.
Series
Doctoral thesis / Luleå University of Technology 1 jan 1997 → …, ISSN 1402-1544
Keyword [en]
situation awareness, context awareness, pervasive computing, ubiquitous computing, context prediction, Information technology - Computer science
Keyword [sv]
Informationsteknik - Datorvetenskap
National Category
Media and Communication Technology
Research subject
Mobile and Pervasive Computing
Identifiers
URN: urn:nbn:se:ltu:diva-26466Local ID: e61bf853-0577-45c0-ac3d-8a542d9d81d0ISBN: 978-91-7439-639-3 (print)ISBN: 978-91-7439-640-9 (electronic)OAI: oai:DiVA.org:ltu-26466DiVA: diva2:999628
Note
Godkänd; 2013; 20130410 (andboy); Tillkännagivande disputation 2013-05-23 Nedanstående person kommer att disputera för avläggande av teknologie doktorsexamen. Namn: Andrey Boytsov Ämne: Medieteknik/Media Technology Avhandling: Situation Awareness in Pervasive Computing Systems: Reasoning, Verification, Prediction Opponent: Professor Christian Becker, Information Systems II, University of Mannheim, Germany Ordförande: Gästprofessor Arkady Zaslavsky, Institutionen för system- och rymdteknik, Luleå tekniska universitet, Luleå/Australian National University, Canberra Australia Tid: Torsdag den 13 juni 2013, kl 10.00 Plats: A117 (LKAB-salen), Luleå tekniska universitetAvailable from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-24Bibliographically approved

Open Access in DiVA

fulltext(5231 kB)78 downloads
File information
File name FULLTEXT01.pdfFile size 5231 kBChecksum SHA-512
86da14ab9ddd7c2df46c27309833a89d22d2b79330239004bc3f42212cef786fe8850ce9d8e1e95d4a1b0b6456ded763914709b1cd17d1850162a7ea19c34f70
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Boytsov, Andrey
By organisation
Computer Science
Media and Communication Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 78 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 181 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf