Patents by Inventor David Leedal

David Leedal 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).

  • Patent number: 12008678
    Abstract: There is provided a method of discrete optimisation comprising: receiving an optimisation objective function; performing a continuous optimisation based upon the optimisation objective function to generate an initial continuous value; generating a plurality of candidate discrete values based upon the initial continuous value; evaluating the plurality of candidate discrete values based upon the optimisation objective function, wherein the evaluation of the plurality of candidate discrete values is carried out in parallel; and outputting a candidate discrete value based upon the evaluation.
    Type: Grant
    Filed: December 15, 2020
    Date of Patent: June 11, 2024
    Assignee: Kalibrate Technologies Limited
    Inventors: Benjamin Pickering, Gareth Owen, David Leedal, Mark Pearce, Rebecca Wilson
  • Patent number: 11651305
    Abstract: Systems and methods of achieving feasibility of optimization constraints. One system includes an electronic processor configured to receive a request associated with an original set of constraints and determine an irreducible infeasible subset (IIS) of the original set of constraints. The electronic processor is also configured to remove the IIS from the original set of constraints resulting in a subset of remaining constraints of the original set of constraints. The electronic processor is also configured to remove a constraint from the IIS resulting in a feasible subset of remaining constraints of the IIS. The electronic processor is also configured to determine a new set of constraints, the new set of constraints including the subset of remaining constraints of the original set of constraints and the feasible subset of remaining constraints of the IIS. The electronic processor is also configured to output a result based on the new set of constraints.
    Type: Grant
    Filed: March 3, 2020
    Date of Patent: May 16, 2023
    Assignee: Kalibrate Technologies Limited
    Inventors: Gareth Owen, Benjamin Pickering, David Leedal
  • Publication number: 20230064834
    Abstract: There is provided a method of discrete optimisation comprising: receiving an optimisation objective function; performing a continuous optimisation based upon the optimisation objective function to generate an initial continuous value; generating a plurality of candidate discrete values based upon the initial continuous value; evaluating the plurality of candidate discrete values based upon the optimisation objective function, wherein the evaluation of the plurality of candidate discrete values is carried out in parallel; and outputting a candidate discrete value based upon the evaluation.
    Type: Application
    Filed: December 15, 2020
    Publication date: March 2, 2023
    Inventors: Benjamin Pickering, Gareth Owen, David Leedal, Mark Pearce, Rebecca Wilson
  • Publication number: 20220391375
    Abstract: Systems and methods of achieving feasibility of optimization constraints. One system includes an electronic processor configured to receive a request associated with an original set of constraints and determine an irreducible infeasible subset (IIS) of the original set of constraints. The electronic processor is also configured to remove the IIS from the original set of constraints resulting in a subset of remaining constraints of the original set of constraints. The electronic processor is also configured to remove a constraint from the IIS resulting in a feasible subset of remaining constraints of the IIS. The electronic processor is also configured to determine a new set of constraints, the new set of constraints including the subset of remaining constraints of the original set of constraints and the feasible subset of remaining constraints of the IIS. The electronic processor is also configured to output a result based on the new set of constraints.
    Type: Application
    Filed: March 3, 2020
    Publication date: December 8, 2022
    Inventors: Gareth Owen, Benjamin Pickering, David Leedal
  • Patent number: 11494710
    Abstract: Methods and systems of optimization constraint adaptation for long-term target achievement. One system includes an electronic processor configured to divide a multiple time-step optimization problem into a plurality of successive single time-step optimization problems. The processor is configured to determine a first optimal variable value for a first single time-step optimization problem and determine a first resulting value of a secondary quantity based on the first optimal variable value. The processor is configured to determine a first divergence of the first resulting value from a first target value and determine a cumulative target divergence based on the first divergence. The processor is configured to determine a first target value adjustment for a second time-step based on the cumulative target divergence, adjust a first original target value of the secondary quantity for the second time-step using the first target value adjustment, and output the adjusted first original target value for display.
    Type: Grant
    Filed: December 19, 2019
    Date of Patent: November 8, 2022
    Assignee: Kalibrate Technologies Limited
    Inventors: Benjamin Pickering, Gareth Owen, David Leedal, Mark Pearce, Rebecca Wilson