Change search
ReferencesLink to record
Permanent link

Direct link
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.
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
Research subject
Mobile and Pervasive Computing
URN: urn:nbn:se:ltu:diva-26466Local ID: e61bf853-0577-45c0-ac3d-8a542d9d81d0ISBN: 978-91-7439-639-3ISBN: 978-91-7439-640-9 (PDF)OAI: diva2:999628
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-30Bibliographically approved

Open Access in DiVA

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

Search in DiVA

By author/editor
Boytsov, Andrey
By organisation
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
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

Total: 3 hits
ReferencesLink to record
Permanent link

Direct link