|
Device Model Continued (2)...
-
Quantitative equations
-
Precondition slot : true if equations is to hold
-
0 or more qualitative differential equations
-
Qualitative equations : differential
-
Convenient for inferring influence
-
Converted from quantitative by time-differentiating
both sides and discarding constant coefficients but
keeping their sign
-
variables represent sign, not magnitude
|