Probabilistic Models Toward Controlling Smart-* Environments
Today, a growing number of physical objects in our surroundings are connected to the Internet and provide the digital world with an interface to the physical world through sensors and actuators. At the heart of this trend, smart-* systems and applications leverage this interface to smartly and seaml...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2017-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/7949006/ |
| _version_ | 1818645280368623616 |
|---|---|
| author | Gerald Rocher Jean-Yves Tigli Stephane Lavirotte |
| author_facet | Gerald Rocher Jean-Yves Tigli Stephane Lavirotte |
| author_sort | Gerald Rocher |
| collection | DOAJ |
| description | Today, a growing number of physical objects in our surroundings are connected to the Internet and provide the digital world with an interface to the physical world through sensors and actuators. At the heart of this trend, smart-* systems and applications leverage this interface to smartly and seamlessly assist individuals in their everyday lives. However, when interacting with the physical world by means of actuators, these applications introduce a methodological disruption. Indeed, in comparison to the classical distributed software applications that operate in the bounded and predictable digital world, these applications operate in and through the physical world, open and subject to uncertainties that cannot be modeled accurately. These uncertainties lead the behavior of the applications to potentially drift at runtime, compromising their intrinsic functionality. In this paper, we propose a framework to estimate the behavioral drift of smart-* systems and applications at runtime. To this end, we first rely on the Moore finite state machine (FSM) modeling framework. This framework is used for specifying the ideal behavior of a smart-* application in terms of the effects, and it is expected to produce within the physical environment as it executes. We then appeal on the control theory and propose a framework for projecting the Moore FSM to its associated continuous density Input/Output hidden Markov model (CD-IOHMM) state observer. By accounting for uncertainties through probabilities, it extends Moore FSM with viability zones, i.e., zones where the effects of a smart-* application within the physical environment are satisfactory without necessarily being perfect. At runtime, the CD-IOHMM state observer can compute the probability of the observed effects, i.e., it gives direct insight into the behavioral drift of the concrete application. We validate our approach on a real data set. The results demonstrate the soundness and efficiency of the proposed approach at estimating the behavioral drift of smart-* applications at runtime. In view of these results, one can envision using this estimation for supporting a decision-making algorithm (e.g., within a self-adaptive system). |
| first_indexed | 2024-12-17T00:28:14Z |
| format | Article |
| id | doaj.art-6733feed8cdb4f40a66702564cd0f37f |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-17T00:28:14Z |
| publishDate | 2017-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-6733feed8cdb4f40a66702564cd0f37f2022-12-21T22:10:25ZengIEEEIEEE Access2169-35362017-01-015123381235210.1109/ACCESS.2017.27161057949006Probabilistic Models Toward Controlling Smart-* EnvironmentsGerald Rocher0https://orcid.org/0000-0002-3874-6276Jean-Yves Tigli1Stephane Lavirotte2GFI Informatique, Groupe Innovation, Saint Ouen, FranceUniversité Côte d’Azur, CNRS, I3S, Sophia-Antipolis, FranceUniversité Côte d’Azur, CNRS, I3S, Sophia-Antipolis, FranceToday, a growing number of physical objects in our surroundings are connected to the Internet and provide the digital world with an interface to the physical world through sensors and actuators. At the heart of this trend, smart-* systems and applications leverage this interface to smartly and seamlessly assist individuals in their everyday lives. However, when interacting with the physical world by means of actuators, these applications introduce a methodological disruption. Indeed, in comparison to the classical distributed software applications that operate in the bounded and predictable digital world, these applications operate in and through the physical world, open and subject to uncertainties that cannot be modeled accurately. These uncertainties lead the behavior of the applications to potentially drift at runtime, compromising their intrinsic functionality. In this paper, we propose a framework to estimate the behavioral drift of smart-* systems and applications at runtime. To this end, we first rely on the Moore finite state machine (FSM) modeling framework. This framework is used for specifying the ideal behavior of a smart-* application in terms of the effects, and it is expected to produce within the physical environment as it executes. We then appeal on the control theory and propose a framework for projecting the Moore FSM to its associated continuous density Input/Output hidden Markov model (CD-IOHMM) state observer. By accounting for uncertainties through probabilities, it extends Moore FSM with viability zones, i.e., zones where the effects of a smart-* application within the physical environment are satisfactory without necessarily being perfect. At runtime, the CD-IOHMM state observer can compute the probability of the observed effects, i.e., it gives direct insight into the behavioral drift of the concrete application. We validate our approach on a real data set. The results demonstrate the soundness and efficiency of the proposed approach at estimating the behavioral drift of smart-* applications at runtime. In view of these results, one can envision using this estimation for supporting a decision-making algorithm (e.g., within a self-adaptive system).https://ieeexplore.ieee.org/document/7949006/Ambient intelligencehidden Markov modelsprobabilistic modelingsmart-* systems and applicationsubiquitous computinguncertainty |
| spellingShingle | Gerald Rocher Jean-Yves Tigli Stephane Lavirotte Probabilistic Models Toward Controlling Smart-* Environments IEEE Access Ambient intelligence hidden Markov models probabilistic modeling smart-* systems and applications ubiquitous computing uncertainty |
| title | Probabilistic Models Toward Controlling Smart-* Environments |
| title_full | Probabilistic Models Toward Controlling Smart-* Environments |
| title_fullStr | Probabilistic Models Toward Controlling Smart-* Environments |
| title_full_unstemmed | Probabilistic Models Toward Controlling Smart-* Environments |
| title_short | Probabilistic Models Toward Controlling Smart-* Environments |
| title_sort | probabilistic models toward controlling smart x002a environments |
| topic | Ambient intelligence hidden Markov models probabilistic modeling smart-* systems and applications ubiquitous computing uncertainty |
| url | https://ieeexplore.ieee.org/document/7949006/ |
| work_keys_str_mv | AT geraldrocher probabilisticmodelstowardcontrollingsmartx002aenvironments AT jeanyvestigli probabilisticmodelstowardcontrollingsmartx002aenvironments AT stephanelavirotte probabilisticmodelstowardcontrollingsmartx002aenvironments |