The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Mar. 25, 2025
Filed:
Mar. 17, 2022
Peking University, Beijing, CN;
East China Normal University, Shanghai, CN;
Peking University, Beijing, CN;
East China Normal University, Shanghai, CN;
Abstract
The present disclosure discloses a conflict detection method for Internet of Things (IoT) device scheduling, relating to the technical field of the IoT, and specific steps include: acquiring data of a device model; 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 second conflict resolution, or if the conditional instruction is in a non-conflict state or after a conflict is resolved, executing the conditional instruction. The present disclosure ensures consistency between different services of the IoT, and a rule-based method and an SMT solver-based method are adopted to perform conflict detection.