US 12,260,216 B2
Conflict detection method and system for internet of things (IoT) device scheduling
Zhi Jin, Beijing (CN); Xiaohong Chen, Shanghai (CN); and Han Bian, Shanghai (CN)
Assigned to Peking University, Beijing (CN); and East China Normal University, Shanghai (CN)
Filed by Peking University, Beijing (CN); and East China Normal University, Shanghai (CN)
Filed on Mar. 17, 2022, as Appl. No. 17/697,338.
Claims priority of application No. 202110291182.2 (CN), filed on Mar. 18, 2021.
Prior Publication US 2022/0300287 A1, Sep. 22, 2022
Int. Cl. G06F 9/30 (2018.01); G06F 8/41 (2018.01); G06F 9/48 (2006.01); G06F 11/3604 (2025.01); G06F 11/362 (2025.01); G06F 17/11 (2006.01); G06N 3/04 (2023.01); G06Q 50/00 (2012.01); H04L 41/08 (2022.01); G16Y 40/30 (2020.01)
CPC G06F 9/30072 (2013.01) [G06F 8/433 (2013.01); G06F 9/30058 (2013.01); G06F 9/4881 (2013.01); G06F 11/3608 (2013.01); G06F 11/3632 (2013.01); G06F 17/11 (2013.01); G06N 3/04 (2013.01); G06Q 50/00 (2013.01); H04L 41/08 (2013.01); G16Y 40/30 (2020.01)] 7 Claims
OG exemplary drawing
 
1. A conflict detection method for Internet of Things (IoT) device scheduling, wherein specific steps comprise:
acquiring data of a device model, wherein the device model comprises a device automaton and a device registry;
converting a device scheduling instruction into a conditional instruction according to the data of the device model;
determining a scheduling conflict rule according to device scheduling conflicts in historical data;
detecting whether the conditional instruction is in a conflict state based on the scheduling conflict rule;
if the conditional instruction is in a conflict state, performing a first conflict resolution, or if the conditional instruction is in a non-conflict state or after a conflict is resolved, performing a second detection;
converting, in the second detection, the conditional instruction into an SMT formula, inputting the SMT formula into an SMT solver for detection, and determining whether the conditional instruction is in a conflict state; and
if the conditional instruction is in a conflict state, performing a second conflict resolution, or if the conditional instruction is in a non-conflict state or after a conflict is resolved, executing the conditional instruction;
wherein the scheduling conflict rule comprises: at least three conflicts existing between two conditional instructions:
a result state conflict: a same trigger condition with different to-be-executed states;
a condition and result inversion conflict: transposition of trigger conditions and to-be-executed states of two conditional instructions; and
a state coverage conflict: a trigger condition of one conditional instruction covering a trigger condition range of the other conditional instruction, with to-be-executed states being different.