Real-time Diagnosis of Ambient Environments Using a Modeling of Physical Effects Combined with Temporal Logic

Abstract : Ambient intelligence systems interact with their surroundings using actuators and based on environmental data collected from sensors' readings. Diagnosis in this context must address some particular challenges due to the dynamic nature of these systems and the impossibility to pre-define control loops between sensors and actuators at design time. A possible solution to this problem is to base diagnosis on observed physical phenomena (effects) induced by actuators and to reason over a pre-defined ontology allowing one to apply physical laws, to compare calculated values with actual sensors' readings and thus to notice anomalies which corresponds to probable faults. This "effect"-based model, which describes the expected physical effects of the actuators onto the environment, allows one to perform basic diagnosis, using a static view of the system. However, to perform more complete diagnosis, we claim that one has to take the dynamics of the system into account. To achieve this, this paper proposes to extend the simple "effect"-based model with a behavioral model using temporal logic.
Document type :
Conference papers
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00646753
Contributor : Evelyne Faivre <>
Submitted on : Wednesday, November 30, 2011 - 4:40:24 PM
Last modification on : Monday, September 16, 2019 - 11:45:51 AM

Identifiers

  • HAL Id : hal-00646753, version 1

Citation

Ahmed Mohamed, Christophe Jacquet, Yacine Bellik. Real-time Diagnosis of Ambient Environments Using a Modeling of Physical Effects Combined with Temporal Logic. UBICOMM 2011, The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Nov 2011, Lisbonne, Portugal. pp.145-151. ⟨hal-00646753⟩

Share

Metrics

Record views

222