Patents by Inventor Han BIAN

Han BIAN has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Conflict detection method and system for internet of things (IoT) device scheduling
    Patent number: 12260216
    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
    Type: Grant
    Filed: March 17, 2022
    Date of Patent: March 25, 2025
    Assignees: Peking University, East China Normal University
    Inventors: Zhi Jin, Xiaohong Chen, Han Bian
  • CONFLICT DETECTION METHOD AND SYSTEM FOR INTERNET OF THINGS (IoT) DEVICE SCHEDULING
    Publication number: 20220300287
    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
    Type: Application
    Filed: March 17, 2022
    Publication date: September 22, 2022
    Inventors: Zhi JIN, Xiaohong CHEN, Han BIAN