公开(公告)号：US12088716B2

公开(公告)日：2024-09-10

申请号：US17288142

申请日：2019-10-23

Applicant: Commonwealth Scientific and Industrial Research Organisation

Inventor： Regis Riveret ,  Silvano Colombo Tosatto ,  Nick Van Beest ,  Guido Governatori

IPC: H04L9/32 ,  G05B19/048 ,  H04L9/00

CPC classification number: H04L9/32 ,  G05B19/048 ,  H04L9/008 ,  G05B2219/24015

Abstract: The present disclosure relates to monitoring processes. A processor creates a numerical representation of a nominal operation of the process. The processor then encrypts the numerical representation using homomorphic encryption to determine an encrypted numerical representation that blocks access to the numerical representation but allows calculations on the numerical representations. The processor proceeds by creating smart contracts on a blockchain platform using the encrypted numerical representation as a first input to the calculations of the smart contract. Next, the processor attempts execution of the smart contract using the current operation of the process as a second input to the calculations of the smart contract. The execution of the smart contract generates an output result by performing the calculations on the encrypted numerical representations. Based on the output of the execution of the smart contract, the processor finally determines that the current operation is outside the nominal operation.

公开(公告)号：US20210365019A1

公开(公告)日：2021-11-25

申请号：US17273638

申请日：2019-08-26

Applicant: Commonwealth Scientific and Industrial Research Organisation

Inventor： Nick Van Beest ,  Guido Governatori

IPC: G05B19/418

Abstract: The present disclosure relates to manufacturing a pharmaceutical compound according to a manufacturing process. The manufacturing process comprises process parameters and rules that use the process parameters as literals. A control system determines a partition of the rules into subsets of rules, each being independent from the other subsets of rules in relation to the literals used in the rules. The controller creates simplified representations of the manufacturing process, which comprise the literals from a corresponding subset of rules and are created by eliminating literals used by other subsets of rules. The controller checks compliance of the manufacturing process based on the simplified representations of the manufacturing process by comparing values of the literals of a current process execution against literals in the simplified representations and adjusts the manufacturing process where the comparing identifies a difference. The controller repeats the steps of checking and adjusting until no differences are identified.

公开(公告)号：US20210385084A1

公开(公告)日：2021-12-09

申请号：US17288142

申请日：2019-10-23

Applicant: Commonwealth Scientific and Industrial Research Organisation

Inventor： Regis Riveret ,  Silvano Colombo Tosatto ,  Nick Van Beest ,  Guido Governatori

IPC: H04L9/32 ,  H04L9/00 ,  G05B19/048

Abstract: The present disclosure relates to monitoring processes. A processor creates a numerical representation of a nominal operation of the process. The processor then encrypts the numerical representation using homomorphic encryption to determine an encrypted numerical representation that blocks access to the numerical representation but allows calculations on the numerical representations. The processor proceeds by creating smart contracts on a blockchain platform using the encrypted numerical representation as a first input to the calculations of the smart contract. Next, the processor attempts execution of the smart contract using the current operation of the process as a second input to the calculations of the smart contract. The execution of the smart contract generates an output result by performing the calculations on the encrypted numerical representations. Based on the output of the execution of the smart contract, the processor finally determines that the current operation is outside the nominal operation.