Critical Observability of Discrete-Event Systems in a Petri Net Framework

Cong, Xuya; Fanti, Maria Pia; Mangini, Agostino Marcello; Li, Zhiwu

doi:10.1109/tsmc.2021.3056693

“…A home automation system can control light bulbs, windows, temperature, humidity, audio and video facilities, and other home appliances. According to the global smart home marketing map provided by the Smart Electronics Industry Program Promotion Office at the Industrial Development Bureau, Ministry of Economic Affairs, Taiwan is the fastest growing country in the smart home market in Asia [5][6]. Smart home appliances include energy-saving, smart sensing, and networked home appliances.…”

Section: A Smart Homementioning

confidence: 99%

“…Thus, it is prone to making mistakes in developing the entire system [4]. Meanwhile, the edge computing development board has the unacceptable features regarding big area, high power consumption, delayed data transmission, and high manufacturing cost [5][6]. Especially, the actual measure results verify the parameter changes by using the resistance measure method [7].…”

Section: Introductionmentioning

confidence: 99%

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

Yang¹,

Lin²,

Shen³

et al. 2023

Preprint

0

View full text Add to dashboard Cite

<p>Correct use of home appliances is intended to avoid property damage and life unsafety. Also, serious fire accidents must 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 measure the temperature rise of home appliances, which is employed to monitor the usage states of home appliances in real time. Hereby, the microcontroller, Node Micro Control 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 can be detected. Meanwhile, the smart measurement system is integrated with mobile devices to upload the detected datasets to the Google cloud database system. Thus, it can be used as samples for future calibration of system parameters with machine learning. Moreover, the verification of feasibility and soundness of a system model is performed by using 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 promising precision, 94.17％, and recall, 92.26％, which obviously outperforms other existing systems.</p>

show abstract

“…A home automation system can control light bulbs, windows, temperature, humidity, audio and video facilities, and other home appliances. According to the global smart home marketing map provided by the Smart Electronics Industry Program Promotion Office at the Industrial Development Bureau, Ministry of Economic Affairs, Taiwan is the fastest growing country in the smart home market in Asia [5][6]. Smart home appliances include energy-saving, smart sensing, and networked home appliances.…”

Section: A Smart Homementioning

confidence: 99%

“…Thus, it is prone to making mistakes in developing the entire system [4]. Meanwhile, the edge computing development board has the unacceptable features regarding big area, high power consumption, delayed data transmission, and high manufacturing cost [5][6]. Especially, the actual measure results verify the parameter changes by using the resistance measure method [7].…”

Section: Introductionmentioning

confidence: 99%

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

Yang¹,

Lin²,

Shen³

et al. 2023

Preprint

1

0

View full text Add to dashboard Cite

<p>Correct use of home appliances is intended to avoid property damage and life unsafety. Also, serious fire accidents must 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 measure the temperature rise of home appliances, which is employed to monitor the usage states of home appliances in real time. Hereby, the microcontroller, Node Micro Control 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 can be detected. Meanwhile, the smart measurement system is integrated with mobile devices to upload the detected datasets to the Google cloud database system. Thus, it can be used as samples for future calibration of system parameters with machine learning. Moreover, the verification of feasibility and soundness of a system model is performed by using 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 promising precision, 94.17％, and recall, 92.26％, which obviously outperforms other existing systems.</p>

show abstract