A Novel IoT-Enabled System for Real-Time Monitoring Home Appliances Using Petri Nets

被引:0
作者
Yang, Cheng-Ying [1 ]
Lin, Yi-Nan [2 ]
Shen, Victor R. L. [3 ,4 ]
Shen, Frank H. C. [5 ]
Jheng, Wun-Siang [2 ]
机构
[1] Univ Taipei, Dept Comp Sci, Taipei City 100234, Taiwan
[2] Ming Chi Univ Technol, Dept Elect Engn, New Taipei City 243303, Taiwan
[3] Natl Taipei Univ, Dept Comp Sci & Informat Engn, New Taipei City 237303, Taiwan
[4] Chaoyang Univ Technol, Dept Informat Management, Taichung 413310, Taiwan
[5] Fu Jen Catholic Univ, Dept Elect Engn, New Taipei City 242062, Taiwan
来源
IEEE CANADIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING | 2025年 / 48卷 / 03期
关键词
Temperature measurement; Home appliances; Temperature sensors; Real-time systems; Temperature; Monitoring; Internet of Things; Urban areas; Petri nets; Mathematical models; Edge computing; Internet of Things (IoT); load temperature measurement; Petri net (PN); smart home;
D O I
10.1109/ICJECE.2025.3572410
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Correct use of home appliances is intended to avoid property damage and life unsafety. Also, serious fire accidents can affect the safety of one's neighborhood. Therefore, this study uses the Internet of Things (IoT) platform to build an intelligent system that aims to detect the temperature rise of home appliances. It is employed to monitor the usage states of home appliances in real time. Hereby, the microcontroller, node microcontrol unit (NodeMCU-32S), is used to develop an IoT platform combined with sensors for measuring ac voltage, current, and ambient temperature so that the electrical power and temperature rise of load (e.g., electric motor) can be detected. Meanwhile, the smart measurement system is integrated with mobile devices to upload the detected datasets to the Google cloud database system. Moreover, the verification of feasibility and soundness of a system model is performed by using the Petri net tool, WoPeD, for the purpose of eliminating the improper states to optimize the system performance. Finally, the experimental results show that the proposed IoT-enabled system has a promising precision of 94.17% and a recall of 92.26%, which obviously outperforms other existing state-of-the-art systems.
引用
收藏
页码:204 / 215
页数:12
相关论文
共 28 条
[11]  
[Anonymous], 2021, DHT22 TEMPERATURE MO
[12]  
[Anonymous], 2021, GATT INTRO BLUETOOTH
[13]  
[Anonymous], 2021, WOPED WORKFLOW PETRI
[14]  
[Anonymous], 2021, INTRO ESP8266 WIFI M
[15]   A New TCAM Architecture for IP Routing With Update Complexity Equal to O(1) [J].
Avazeh, Reza ;
Yazdani, Nasser .
CANADIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING-REVUE CANADIENNE DE GENIE ELECTRIQUE ET INFORMATIQUE, 2020, 43 (04) :207-217
[16]  
Banerjee Soumyendu, 2019, 2019 3rd International Conference on Trends in Electronics and Informatics (ICOEI). Proceedings, P529, DOI 10.1109/ICOEI.2019.8862528
[17]   Extended Place-Invariant Control in Automated Manufacturing Systems Using Petri Nets [J].
Chen, Chen ;
Hu, Hesuan .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (03) :1807-1822
[18]   Critical Observability of Discrete-Event Systems in a Petri Net Framework [J].
Cong, Xuya ;
Fanti, Maria Pia ;
Mangini, Agostino Marcello ;
Li, Zhiwu .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (05) :2789-2799
[19]   Real-Time Modeling and Testing of Distance Protection Relay Based on IEC 61850 Protocol [J].
Delavari, Atieh ;
Brunelle, Patrice ;
Mugombozi, Chuma Francis .
CANADIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING-REVUE CANADIENNE DE GENIE ELECTRIQUE ET INFORMATIQUE, 2020, 43 (03) :157-162
[20]  
itread01, INTRO ANDROID ARCHIT