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: We develop a real-time feasible mixed-integer programming-based decision-making (MIP-DM) system for automated driving (AD). Using a linear vehicle model in a road-aligned coordinate frame, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results