A Petri Net-based Conflict Detection Method of Trigger-Action Programming in Smart Home Environments
Abstract: In the smart home environment, users develop a variety of automation rules to meet their needs in different scenarios. These rules can automatically trigger the operation of smart devices ...
Abstract: The emerging all-electric aircraft (AEA), which usually uses lithium-ion batteries (LIBs) as the energy supply unit, has constant mass but variable propulsive performance. The available ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results