☆ 3.8 Proceedings Paper

Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON UBIQUITOUS COMPUTING & AMBIENT INTELLIGENCE (UCAMI 2022) (2023)

Related references

Note: Only part of the references are listed.

Article Computer Science, Information Systems

Applying Probabilistic Model Checking to the Behavior Guidance and Abnormality Detection for A-MCI Patients underWireless Sensor Network

Honghao Gao et al.

Summary: This paper proposes a probabilistic model checking-based method to predict and detect abnormal behaviors related to mild cognitive impairment in Alzheimer's disease patients, using indoor wireless sensor networks. The method aims to help patients rebuild their confidence and perception.

ACM TRANSACTIONS ON SENSOR NETWORKS (2023)

Add to Collection

Article Geochemistry & Geophysics

Semisupervised Human Activity Recognition With Radar Micro-Doppler Signatures

Xinyu Li et al.

Summary: The paper introduces a semi-supervised transfer learning algorithm JDS-TL for radar-based HAR, which successfully alleviates the need for labeling a large number of radar signals by using a sparsely labeled dataset. Experiments show that JDS-TL achieves an average accuracy of 87.6% in recognizing six activities with only 10% labeled instances, highlighting the efficiency of domain adaptation and semantic transfer modules.

IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING (2022)

Add to Collection

Article Computer Science, Information Systems

Haunted House: Physical Smart Home Event Verification in the Presence of Compromised Sensors

Simon Birnbach et al.

Summary: This article translates and summarizes a study that verifies physical events using data from smart home sensors. The study demonstrates the effectiveness of their system in protecting against sensor faults and sophisticated attacks. They conducted experiments with 48 sensors over a two-week period, successfully recognizing 22 event types. The results show high accuracy in detecting both masking and spoofing attacks, with minimal false alarms. The authors also propose a more secure approach based on sensor fusion to address the vulnerability of single-classifier systems to compromised sensor data.

ACM TRANSACTIONS ON INTERNET OF THINGS (2022)

Add to Collection

Article Computer Science, Artificial Intelligence

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking

Abdelhakim Baouya et al.

Summary: Embedded systems design involves both hardware and software parts, with the increasing importance of software handling resources and services. This paper introduces a novel deployment-decision making method based on PRISM model checker, extracting hardware and software features through SysML modeling to ensure reliability. The approach is demonstrated using an automotive control system for applicability.

EXPERT SYSTEMS WITH APPLICATIONS (2021)

Add to Collection

Article Computer Science, Software Engineering

Probabilistic model checking for human activity recognition in medical serious games

Thibaud L'Yvonnet et al.

Summary: This paper proposes a formal approach to model human activity recognition, translating activity descriptions into formal models with DTMCs and using PRISM framework to check temporal logic properties. The approach is illustrated with models of serious games used to monitor Alzheimer patients, aiming to provide new indications for interpreting patient performances.

SCIENCE OF COMPUTER PROGRAMMING (2021)

Add to Collection

Article Computer Science, Information Systems

Smart Home Battery for the Multi-Objective Power Scheduling Problem in a Smart Home Using Grey Wolf Optimizer

Sharif Naser Makhadmeh et al.

Summary: The Power Scheduling Problem in a Smart Home (PSPSH) involves timely scheduling operations of smart home appliances under restrictions and dynamic pricing schemes. The main objectives are to minimize electricity bills, balance power consumption, and maximize user satisfaction. A new Smart Home Battery (SHB) formulation is proposed to address restrictions and optimize solutions. The proposed approach, BMO-PSPSH, outperforms other algorithms in various power consumption scenarios.

ELECTRONICS (2021)

Add to Collection

Review Engineering, Electrical & Electronic

Human Activity Recognition With Smartphone and Wearable Sensors Using Deep Learning Techniques: A Review

E. Ramanujam et al.

Summary: Human Activity Recognition (HAR) is the field of inferring human activities from signals acquired through sensors of smartphones and wearable devices, mainly for smart home and elderly care. Current techniques mostly use Deep Learning for feature extraction and classification efficiency, but there are challenges and issues that require future research and improvements.

IEEE SENSORS JOURNAL (2021)

Add to Collection

Article Communication

What will be the possible barriers to consumers' adoption of smart home services?

Areum Hong et al.

TELECOMMUNICATIONS POLICY (2020)

Add to Collection

Proceedings Paper Computer Science, Information Systems

A Markov Model to Detect Sensor Failure in IoT Environments

Samuel J. Moore et al.

2020 IEEE WORLD CONGRESS ON SERVICES (SERVICES) (2020)

Add to Collection

Article Automation & Control Systems

Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities

Min Gao et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2018)

Add to Collection

Review Green & Sustainable Science & Technology

A review of Internet of Things for smart home: Challenges and solutions

Biljana L. Risteska Stojkoska et al.

JOURNAL OF CLEANER PRODUCTION (2017)

Add to Collection

Article Computer Science, Artificial Intelligence

Model checking probabilistic social commitments for intelligent agent communication

Khalid Sultan et al.

APPLIED SOFT COMPUTING (2014)

Add to Collection

Article Computer Science, Theory & Methods

Quantitative Analysis With the Probabilistic Model Checker PRISM

Marta Kwiatkowska et al.

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2006)

Add to Collection

Article Health Care Sciences & Services

Health Smart home: Information technology for patients at home

V Rialle et al.

TELEMEDICINE JOURNAL AND E-HEALTH (2002)

Add to Collection

Article Computer Science, Hardware & Architecture

The role of prediction algorithms in the MavHome smart home architecture

SK Das et al.

IEEE WIRELESS COMMUNICATIONS (2002)

Add to Collection

© Peeref 2019-2024. All rights reserved.