GLOBALLY CONVERGENT SYSTEM AND METHOD FOR AUTOMATED MODEL DISCOVERY

Information

  • Patent Application
  • 20170004231
  • Publication Number
    20170004231
  • Date Filed
    June 30, 2015
    9 years ago
  • Date Published
    January 05, 2017
    7 years ago
Abstract
Methods and systems for model discovery include forming a mathematical program based on a set of observational data to generate an objective function and one or more constraints. The mathematical program represents a model space as an expression tree comprising operators and operands. The mathematical program is solved by optimizing the objective function subject to the one or more constraints to determine a model in the model space that best fits the set of observational data.
Description
BACKGROUND

Technical Field


The present invention relates to automatic model discovery and, more particularly, combining data-driven methods with primitives of first-principles based modeling to generate a mathematical model.


Description of the Related Art


Mathematical modeling provides a consistent link between the input and output of a system or phenomenon under investigation. These models are used for various objectives such as description, prediction, and design, through a broad range of science and engineering disciplines, including physics, chemistry, biology, economics, etc. Historically, researchers and practitioners find consistent and generalized cause and effect links through experiment and formulate mathematical expressions that embody such relations. However, modeling complex phenomena, in particular while relying on a relatively small number of observations, is difficult to accomplish.


Traditionally the formulation of mathematical models is attempted through first principles formulations, using modeling primitives such as differential operators and integral equations. Such an approach benefits from great generality in the governing relations, but identification of an appropriate formulation is non-trivial. Such an approach usually relies on human intuition and the frequently tedious comparison of predictions with experimental observations.


At the other extreme, modeling can be performed using data driven approaches that use generic statistical models, assuming that a sufficient amount of input data is provided. Statistical models may be limited in their generalizability and, depending on the capacity and complexity of the predictive relation in the prescribed functional form, may require an intractably large set of examples to use as training data.


SUMMARY

A method for model discovery includes forming a mathematical program based on a set of observational data to generate an objective function and one or more constraints. The mathematical program represents a model space as an expression tree comprising operators and operands. The mathematical program is solved by optimizing the objective function subject to the one or more constraints to determine a model in the model space that best fits the set of observational data.


A method for model discovery includes forming a mathematical program based on a set of observational data to generate an objective function and at least one numerical and structural constraint represented by continuous and integer variables. The mathematical program represents a model space as an expression tree comprising operators and operands. The objective function is based on model complexity and on a fidelity of model predictions to observations. The mathematical program is solved by optimizing the objective function subject to the one or more constraints to determine a model in the model space that best fits the set of observational data.


A system for model discovery includes a mathematical program generation module comprising a processor configured to form a mathematical program based on a set of observational data to generate an objective function and one or more constraints. The mathematical program represents a model space as an expression tree comprising operators and operands. A solver is configured to solve the mathematical program by optimizing the objective function subject to the one or more constraints to determine a model in the model space that best fits the set of observational data.


These and other features and advantages will become apparent from the following detailed description of illustrative embodiments thereof, which is to be read in connection with the accompanying drawings.





BRIEF DESCRIPTION OF THE SEVERAL VIEWS OF THE DRAWINGS

The disclosure will provide details in the following description of preferred embodiments with reference to the following figures wherein:



FIG. 1 is a diagram of an expression tree modeling a formula in accordance with the present principles;



FIG. 2 is a block/flow diagram of a method for automatic model discovery in accordance with the present principles;



FIG. 3 is a block diagram of a method for automatic model discovery in accordance with the present principles; and



FIG. 4 is a diagram of an expression tree modeling a Newton's law of gravitation in accordance with the present principles.





DETAILED DESCRIPTION

Embodiments of the present principles provide a compromise between model fidelity and model complexity, devising both model functional form as well as its parameters while honing desired modeling goals. These goals may include, e.g., precision, universality, invariance, conservation, functional simplicity/description complexity, symmetry preservation, etc.


Unlike conventional data-driven model generation, which estimates parameters of a given functional form of a model, and unlike human first-principles modeling, the present embodiments provide automated discovery of both the model functional form as well as gauges and calibrates the parameters of the model. A data-driven approach is combined with primitives of first-principles-based modeling to provide a more universal model. The present embodiments therefore employ stochastic programming and mixed integer non-linear programming, where the former provides the statistical framework of the model and the latter provides simultaneous discovery of the functional form and the model parameters.


These embodiments provide model learning and discovery using relatively (compared to data-driven approaches) small amounts of data. This is due to the fact that a more flexible functional form of richer operand primitives is allowed, along with a stricter complexity requirement. The present embodiments also provide universality. By not restricting the model to any predefined functional form, and allowing a rich set of operators (as opposed to the highly structured and limited set data-driven conventional approaches), as well as by imposing structural preferences, the resulting models possess higher generalization capacity. For example, one limitation of data driven approaches is their poor ability to extrapolate beyond training data ranges. In addition, the attained models are more compact in their functional representation, making their interpretation more direct and intuitive to provide meaningful links between input and output.


To accomplish the above goals, the present embodiments find the simplest mathematical expression, over a certain alphabet including, e.g., the usual sum, difference, product, division, power, logarithm, exponential, sine, and cosine operators, which yields values which are as close as possible to a set of observations. This can be described by a mathematical program involving both continuous and integer variables, as well as linear and non-linear constraints.


The discrete integer variables enable description of the functional form of the mathematical model, as they can encode discrete choice between one alphabet entity or another at a given entry in the expression tree. The continuous counterparts of the discrete integer variables enable modeling coefficients and variables holding various continuous values.


A mathematical program is a formal sentence of a language which describes optimization problems. It includes the following entities: parameters (the program input data), decision variables (encoding the program output or solution), one or more objective functions, and constraints upon the decision variables. The objective function and constraints involve functional forms in terms of the parameters and decision variables. The task of model discovery is formulated herein as the construction of the mathematical program.


Referring now to FIG. 1, an exemplary mathematical expression 100 is shown. The mathematical expressions are represented as trees or “expression trees.” These trees are combinatorial constructs including nodes 102 linked by arcs 104. The nodes are organized by rank, where the root node has rank zero and any subnode of a parent node has a rank one greater than the parent node's rank. In this way, the definition of rank is inductively extended over the entire tree. Since rank encodes a parent-child relationship between nodes, a tree cannot have any cycles (where a node might be its own ancestor). The nodes of the tree are labeled with operator names, such as “plus,” “minus,” etc. In the particular example of FIG. 1, the tree 100 encodes the mathematical expression x+4. The root node 102 is labeled by the ‘+’ operator, the left subnode 104 is labeled by the ‘x’ variable name, while the right subnode 104 is labeled by the constant ‘4’.


Many different expressions are equivalent to this expression 100. For example 2(0.5×+2) is equivalent to x+4, which has a lower complexity. If the given data are a good fit for the function x+4, then the expression 100 will match the data. There are also multiple different expressions that have a minimum description complexity. For example, x+4 has the same complexity as 4+x. The mathematical program thereby implicitly describes all globally optimal expressions.


The number of nodes in the tree is minimized to ensure the global minimality of description complexity, subject to the fact that the trees are feasible if and only if they encode a mathematical expression which fits the data. The solution to the mathematical program is globally optimal with respect to description complexity, subject to a numerical discrepancy not exceeding a prescribed limit.


Referring now to FIG. 4, a diagram of the expression tree for Newton's law of gravitation is shown in the tree 400. Newton's law of gravitation is written as







F
=


G


(


m
1



m
2


)



r
2



,




which can be readily represented as a tree of operators (e.g., multiplication, division, and squaring) and operands (e.g., G, r, m1, and m2).


A number of parameters will be used herein:


D represents the dimension of the Euclidean space embedding the observations.


H represents a set {H1, H2, . . . , Hmax} of observation indices, each representing an observation point (χh|h∈H) at which a model ƒ is evaluated and an observation value (ƒh|h∈H) corresponding to the evaluation off at the observation points.


μ is a metric on custom-character|H| quantifying the discrepancy between measured and modeled output with an upper bound constant ε>0, such that μ(f, φ)≦ε, where f=(ƒ(χh)|h∈H) and φ=(φh|h∈H).


A represents a set of alphabet symbol indices, where the alphabet {⊕a, |a∈A} of the formal language custom-character includes mathematical operations of a given arity Ka for each a∈A. Since many nodes can be labeled by the same operator symbol ⊕a, the quantity Ca is used to denote a maximum number of occurrences of the operator ⊕a in an expression. Every operator ⊕a, aside from leaf operators L={var, coef}, has a given number of Ka operands. An exemplary alphabet A may include the operators coef, var, +, −, *, /, ̂2, ̂, exp, log, sin, and cos.


V represents a set {(a, i)|a∈A, i≦Ca} of all potential nodes in the problem.


T represents the expression tree formed from a set of nodes N. A model finder makes both topological decisions on the structure of T as well as numerical decisions about the evaluation of T at given observation points. Thus there are two classes of decision variables: numerical variables v and structural variables w. For every node s∈N and observation h∈H, vsh holds the value of the evaluation at the node and wskh holds the corresponding value at the kth subnode of s.


rs is the tree rank of a node s in V. Although rank is an integer value, the integrality of rs is enforced by linear constraints involving the binary structural variable σ, defined below. As such, rs can be defined as a continuous variable.


Δg is the description complexity of the mathematical expression g of the expression tree T, defined as Δg=|N|+|A|, the sum of the number of nodes and the number of operators. This can be written as a function of the decision variables as Δgs∈V αss,t∈V σts, using the binary parameters α and σ defined below. One goal is to minimize the description complexity of the discovered model ƒ, and this goal may be accomplished by, e.g., limiting a number of occurrences of a given operator or by limiting a rank of the tree T.


The following structural variables are considered to be binary:


For each s ∈V, αs=1 if and only if s ∈N (i.e., s is part of the tree T).


For each s ∈V, ρs=1 if and only if s is the root node of T.


For each s ∈V and d≦D, γsd=1 if and only if s is a variable node (i.e., s=(var, i) for some i≦Cvar and s is the variable representing the dth coordinate xd. The vector x=(x1, . . . , xD) represents arguments of the function ƒ(x) to be modeled. The model is learned through multiple instances of χ={χ1, . . . , χh}. D is the number of arguments of ƒ(x), such that the vector x belongs to a space of dimension D. xd is therefore the dth coordinate of the vector x or, alternatively and equivalently, the dth argument of the function ƒ(x)=ƒ(x1, . . . , xD).


For each s=(a, i), t=(b, j)∈V and k≦Kb, βstk=1 if and only if s is the kth operand of t.


For each s=(a, i), t=(b, j)∈V, σst=1 if and only if s is an operand of t.


The model is characterized by two sources of error: δ and ε. The former measures how well g approximates the unknown function ƒ, while the latter is a set upper bound for the discrepancy between the modeled and measured output. ε is defined by the user, to bound model fidelity (e.g., discrepancy between the true observations and those evaluated using the model). In some situations, the user may deliberately prescribe specific bounds to satisfy a desired confidence in an end-goal quantity, in other cases the user may determine such bound based upon a desired trade-off between affordable complexity and model error. In other cases the user may determine such bound based upon the budget of observations and the anticipated complexity of the model. The error δ has ε as its upper bound, such that the global optimum for ƒ is defined with respect to description complexity Δg, with driving δ down as a secondary priority. Provided ε<1, which can be enforced by setting an error metric μ, and because Δg can only change by at least one unit at a time (the value difference in any binary decision variable αs), the two objectives can be scalarized to obtain the objective function min Σs∈V αs+δ. μ is a measure of the model output error, used to quantify the pair-wise discrepancy between each data observation of a given input and the modeled output for the same input. The error model can be as simple as least squares difference, or alternatively harness more sophisticated statistical error measures if desired. Under the objective function, δ quantifies how well the model output predictions match the true data measurements, so that the objective function accounts for both model fidelity, through δ, as well as model complexity, through αs.


The objective function is solved subject to a set of constraints. These constraints may include one or more of numerical value constraints, structural constraints, mixed constraints, and implied constraints. The constraints are not limited to those described herein, and it should be understood that those having ordinary skill in the art will be able to extend or restrict the set of constraints in a manner appropriate to their application.


Numerical constraints assign correct values of the nodes of the tree T, so that the v variables will obtain correct values for each input-output instance. An example of a numerical constraint is that, if an operator is a coefficient, its value must be the same over all of the observation points.


Structural constraints enforce rules regarding the structure of the tree T. Examples of structural constraints include:


Σs∈V ρs=1 (the tree T has only one root node);


∀s∈V, ρs≦αs (a root node is used);


∀q, s, t=(b,j)∈V and k≦Kb, βstk≦1−ρq (if the root is a leaf, then g=xd for some d≦D or g is a constant, in which case no arc exists between nodes);


∀s∈V, t=(b,j)∈L, and k≦Kb, βstk=0 (for leaf operators with no children, the corresponding β is zero);


∀s=(a, i)∈V and k≦Kb, βssk=0 (the parent-child relationship is irreflexive);


∀s, t=(b,j)∈V, Σk≦Kb βstk≦1 (an operand node is not matched to two different child nodes);


∀s, t=(b, j)∈V, k≦Kb βstk≦αs and ∀s, t(b,j)∈V, k≦K_b β≦α_t (only match used nodes);








s



V










t
=


(

b
,
j

)


V



t


L


{
s
}














k


K
b









β
stk







α
s

-

ρ
s








(a used, non-root node must be matched to some parent (non-leaf) node other than itself);


∀s∈V\{var}, d≦D γ_sd=0 (only match {var} operator nodes to data points);


∀i≦C{var}Σd≦D γ{(var,i)d}≧α(var,i) (each {var} operator is matched to at least one data component if used);


∀d≦D Σi≦C{var}γ{(var,i)d}≧1 (each observation point is attached to at least one {var} node);


∀s, t∈V σst≦1−αs (root nodes cannot be child nodes);


∀s, t∈L σst=0 (leaf nodes cannot be in a parent-child relationship with one another);








s



V










t

V


t

s









σ
ts





ρ
s







(the root node is a parent node);


∀i≦C{var}Σt∈V\L σ{(var,i),t}({var},i) (every used {var} node is a child of a non-leaf node);


∀s∈V\L,t=(b,j)∈V, k≦Kb βstk≦σSt and ∀s∈V\L, t=(b,j)∈V Σk≦Kbβstk≧σst (projection of β variables on σ variables);


∀s∈V rs≦(1−ρs)|V| (the rank of the root node is zero);


∀s∈V rs≦αs|V| (the rank of unused nodes is zero); and


∀s, t∈V rs+1−(1−σst)(|V|+1)≦rt≦rs+1+(1−σst)(|V|+1) (if t is the parent of s, then its rank is the rank of s plus 1).


Mixed constraints include features of numerical constraints and structural constraints. For example:


∀s∈V, t(b,j)∈V, k≦Kb, h∈H βstk(vsh−wtkh)=0 (numerical values of nodes stored in v and w variables are equal if there is a parent-child relationship in the respective indices); and


∀d≦D, h∈H,i≦C{var}γ{({var},i)d}(v({var},i),h−χdh)=0 (numerical values of {var} nodes stored in v are equal to observation points if the {var} node is assigned to the corresponding coordinate.


Some constraints are implied by the structure of a tree and mathematical expressions. For example, no node can be its own parent, and no sub-expression of the form xd−xd can ever appear in g.


Solving the objective function (min Σs∈v αs+δ) subject to one or more constraints produces a mathematical expression ƒ that represents a fit to the observational data H. This mathematical program represents model discovery, and finding the globally optimal solution produces the discovered model. This solution can be discovered using conventional solver software, either off-the-shelf or specially designed for this purpose.


Referring now to FIG. 2, a method for discovering a model is shown. Block 202 collects a set of measurements, including whatever inputs were used to generate the measurements. Block 204 Formulates the mathematical program as described above, establishing a set of parameters and an objective function. Block 206 formulates the constraints on the objective function according to one or more structural, numerical, mixed, and/or implied constraints. Block 208 solves the mathematical program in view of the constraints. This solution can be performed using, e.g., an off-the-shelf solver.


The present invention may be a system, a method, and/or a computer program product. The computer program product may include a computer readable storage medium (or media) having computer readable program instructions thereon for causing a processor to carry out aspects of the present invention.


The computer readable storage medium can be a tangible device that can retain and store instructions for use by an instruction execution device. The computer readable storage medium may be, for example, but is not limited to, an electronic storage device, a magnetic storage device, an optical storage device, an electromagnetic storage device, a semiconductor storage device, or any suitable combination of the foregoing. A non-exhaustive list of more specific examples of the computer readable storage medium includes the following: a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), a static random access memory (SRAM), a portable compact disc read-only memory (CD-ROM), a digital versatile disk (DVD), a memory stick, a floppy disk, a mechanically encoded device such as punch-cards or raised structures in a groove having instructions recorded thereon, and any suitable combination of the foregoing. A computer readable storage medium, as used herein, is not to be construed as being transitory signals per se, such as radio waves or other freely propagating electromagnetic waves, electromagnetic waves propagating through a waveguide or other transmission media (e.g., light pulses passing through a fiber-optic cable), or electrical signals transmitted through a wire.


Computer readable program instructions described herein can be downloaded to respective computing/processing devices from a computer readable storage medium or to an external computer or external storage device via a network, for example, the Internet, a local area network, a wide area network and/or a wireless network. The network may comprise copper transmission cables, optical transmission fibers, wireless transmission, routers, firewalls, switches, gateway computers and/or edge servers. A network adapter card or network interface in each computing/processing device receives computer readable program instructions from the network and forwards the computer readable program instructions for storage in a computer readable storage medium within the respective computing/processing device.


Computer readable program instructions for carrying out operations of the present invention may be assembler instructions, instruction-set-architecture (ISA) instructions, machine instructions, machine dependent instructions, microcode, firmware instructions, state-setting data, or either source code or object code written in any combination of one or more programming languages, including an object oriented programming language such as Smalltalk, C++ or the like, and conventional procedural programming languages, such as the “C” programming language or similar programming languages. The computer readable program instructions may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the latter scenario, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider). In some embodiments, electronic circuitry including, for example, programmable logic circuitry, field-programmable gate arrays (FPGA), or programmable logic arrays (PLA) may execute the computer readable program instructions by utilizing state information of the computer readable program instructions to personalize the electronic circuitry, in order to perform aspects of the present invention.


Aspects of the present invention are described herein with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems), and computer program products according to embodiments of the invention. It will be understood that each block of the flowchart illustrations and/or block diagrams, and combinations of blocks in the flowchart illustrations and/or block diagrams, can be implemented by computer readable program instructions.


These computer readable program instructions may be provided to a processor of a general purpose computer, special purpose computer, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions/acts specified in the flowchart and/or block diagram block or blocks. These computer readable program instructions may also be stored in a computer readable storage medium that can direct a computer, a programmable data processing apparatus, and/or other devices to function in a particular manner, such that the computer readable storage medium having instructions stored therein comprises an article of manufacture including instructions which implement aspects of the function/act specified in the flowchart and/or block diagram block or blocks.


The computer readable program instructions may also be loaded onto a computer, other programmable data processing apparatus, or other device to cause a series of operational steps to be performed on the computer, other programmable apparatus or other device to produce a computer implemented process, such that the instructions which execute on the computer, other programmable apparatus, or other device implement the functions/acts specified in the flowchart and/or block diagram block or blocks.


The flowchart and block diagrams in the Figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods, and computer program products according to various embodiments of the present invention. In this regard, each block in the flowchart or block diagrams may represent a module, segment, or portion of instructions, which comprises one or more executable instructions for implementing the specified logical function(s). In some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts or carry out combinations of special purpose hardware and computer instructions.


Reference in the specification to “one embodiment” or “an embodiment” of the present principles, as well as other variations thereof, means that a particular feature, structure, characteristic, and so forth described in connection with the embodiment is included in at least one embodiment of the present principles. Thus, the appearances of the phrase “in one embodiment” or “in an embodiment”, as well any other variations, appearing in various places throughout the specification are not necessarily all referring to the same embodiment.


It is to be appreciated that the use of any of the following “/”, “and/or”, and “at least one of”, for example, in the cases of “A/B”, “A and/or B” and “at least one of A and B”, is intended to encompass the selection of the first listed option (A) only, or the selection of the second listed option (B) only, or the selection of both options (A and B). As a further example, in the cases of “A, B, and/or C” and “at least one of A, B, and C”, such phrasing is intended to encompass the selection of the first listed option (A) only, or the selection of the second listed option (B) only, or the selection of the third listed option (C) only, or the selection of the first and the second listed options (A and B) only, or the selection of the first and third listed options (A and C) only, or the selection of the second and third listed options (B and C) only, or the selection of all three options (A and B and C). This may be extended, as readily apparent by one of ordinary skill in this and related arts, for as many items listed.


Referring now to FIG. 3, a system 300 for model discovery is shown. The system 300 includes a hardware processor 302 in communication with memory 304. The memory 304 stores a set of observational data points 306. A program generation module 308 generates a mathematical program that represents parameters for finding a model to fit the collected data 306. A constraint module 310 includes or creates a set of constraints appropriate to the mathematical program. A solver 312 executes the mathematical program, optimizing the objective function in view of the constraints to find the model ƒ that best fits the collected data 306.


Having described preferred embodiments of a system and method for automated model discovery from limited data (which are intended to be illustrative and not limiting), it is noted that modifications and variations can be made by persons skilled in the art in light of the above teachings. It is therefore to be understood that changes may be made in the particular embodiments disclosed which are within the scope of the invention as outlined by the appended claims. Having thus described aspects of the invention, with the details and particularity required by the patent laws, what is claimed and desired protected by Letters Patent is set forth in the appended claims.

Claims
  • 1. A method for model discovery, comprising: forming a mathematical program based on a set of observational data to generate an objective function and one or more constraints, wherein the mathematical program represents a model space as an expression tree comprising operators and operands; andsolving the mathematical program by optimizing the objective function subject to the one or more constraints to determine a model in the model space that best fits the set of observational data.
  • 2. The method of claim 1, wherein the operators in the model space include variables, coefficients, and mathematical operations.
  • 3. The method of claim 1, wherein the constraints include numerical constraints and structural constraints, represented by both continuous and integer variables.
  • 4. The method of claim 1, wherein the objective function is based on model complexity and on a fidelity of model predictions to observations.
  • 5. The method of claim 4, wherein a measure of model complexity comprises a respective maximum number for each operator that represents the maximum number of times that the operator can appear in the model.
  • 6. The method of claim 4, wherein a measure of model complexity comprises a maximum number of operators in the model.
  • 7. The method of claim 4, wherein optimizing the objective function comprises minimizing the function Σs∈V αs+δ, wherein s is a node in the set of possible nodes V, αs is a binary parameter that represents whether the node s is present in the expression tree, and δ is a measure of model fidelity.
  • 8. A computer readable storage medium comprising a computer readable program for model discovery, wherein the computer readable program when executed on a computer causes the computer to perform the steps of claim 1.
  • 9. A method for model discovery, comprising: forming a mathematical program based on a set of observational data to generate an objective function and at least one numerical and structural constraint represented by continuous and integer variables, wherein the mathematical program represents a model space as an expression tree comprising operators and operands and wherein the objective function is based on model complexity and on a fidelity of model predictions to observations; andsolving the mathematical program by optimizing the objective function subject to the one or more constraints to determine a model in the model space that best fits the set of observational data.
  • 10. The method of claim 9, wherein the operators in the model space include variables, coefficients, and mathematical operations.
  • 11. The method of claim 9, wherein a measure of model complexity comprises a respective maximum number for each operator that represents the maximum number of times that the operator can appear in the model.
  • 12. The method of claim 9, wherein a measure of model complexity comprises a maximum number of operators in the model.
  • 13. The method of claim 9, wherein optimizing the objective function comprises minimizing the function Σs∈V αs+δ, wherein s is a node in the set of possible nodes V, αs is a binary parameter that represents whether the node s is present in the expression tree, and δ is a measure of model fidelity.
  • 14. A system for model discovery, comprising: a mathematical program generation module comprising a processor configured to form a mathematical program based on a set of observational data to generate an objective function and one or more constraints, wherein the mathematical program represents a model space as a an expression tree comprising operators and operands; anda solver configured to solve the mathematical program by optimizing the objective function subject to the one or more constraints to determine a model in the model space that best fits the set of observational data.
  • 15. The system of claim 14, wherein the operators in the model space include variables, coefficients, and mathematical operations.
  • 16. The system of claim 14, wherein the constraints include numerical constraints and structural constraints, represented by both continuous and integer variables.
  • 17. The system of claim 14, wherein the objective function is based on model complexity and on a fidelity of model predictions to observations.
  • 18. The system of claim 17, wherein a measure of model complexity comprises a respective maximum number for each operator that represents the maximum number of times that the operator can appear in the model.
  • 19. The system of claim 17, wherein a measure of model complexity comprises a maximum number of operators in the model.
  • 20. The system of claim 17, wherein optimizing the objective function comprises minimizing the function Σs∈V αs+δ, wherein s is a node in the set of possible nodes V, αs is a binary parameter that represents whether the node s is present in the expression tree, and δ is a measure of model fidelity.