Genetic disease modeling
US11177042B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Aug 23, 2017 |
| Grant date | Nov 16, 2021 |
| Priority date | — |
| Expiry date | Jun 15, 2040 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG16H40/63
- WIPO fieldMedical technology
- WIPO sectorInstruments
Abstract
Computer-implemented methods are provided for generating a personalized Boolean model for a genetic disease of a patient. The method includes storing specification data and reference model data. The reference model includes gene nodes, representing genes, connected to Boolean circuitry and a plurality of inputs for receiving binary input values. Each gene node in the reference model comprises a multiplexer. The multiplexer has a first input and an output, a second input for receiving a binary mutation value, and a control input for receiving a binary selector value. The method further comprises using a model checker to determine if the specification is reachable in the reference model. If the specification is reachable, the method includes identifying each multiplexer whose second input was connected to its output in the path reaching the specification to obtain mutation data for the patient, generating a personalized Boolean model, and outputting personal model data.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.