Development and verification of a smart remote control system for home appliances
Development and verification of a smart remote control system for home appliances
复制标题
DOI：
10.1016/j.compeleceng.2020.106889
复制
发表时间：
2020-12-01
影响因子：
4.3
通讯作者：
Hung, Wen-Hao
中科院分区：
文献类型：
--
作者：
Lin, Yi-Nan;Wang, Sheng-Kuan;Hung, Wen-Hao
人们通常采用特定的遥控器来监控每台家电，确实很不方便。为了将不同的远程控制功能集成到智能手机上的一个软件应用程序（App）中，使用以下两个步骤开发智能远程控制系统。第一步是将智能遥控系统的设计工作流程转化为Petri网模型。它可以避免逻辑错误的系统中存在的潜在危险或漏洞。此外，通过死锁验证，可以从系统设计中防止死锁。第二步是通过使用具有蓝牙或WiFi网络的智能手机并向红外（IR）设备发送命令来远程控制家用电器。最后，实验结果表明，我们的日常生活将变得更加方便和安全，当使用智能手机远程控制家电。
People usually adopt a specific remote controller to monitor each home appliance, which is really inconvenient. In order to integrate different remote control functions into one software Application (App) on the smartphone, a smart remote control system is developed using the following two steps. The first step is to transform the designed operational flowchart of a smart remote control system into the Petri net model. It can avoid the potential hazards or vulnerabilities remained in the logically incorrect systems. Furthermore, through the deadlock verification, a deadlock can be prevented from the system design. The second step is to control home appliances remotely by using a smartphone with Bluetooth or WiFi network and sending commands to the infrared (IR) equipment. Finally, the experimental results have indicated that our daily life will become more convenient and safer when using a smartphone to control the home appliances remotely.