5. Examples

• 5.1. Using imports
• 5.2. Using resets
  • 5.2.1. Introduction
    • 5.2.1.1. Some extra restrictions
  • 5.2.2. Interpretation
    • 5.2.2.1. Multiple reset rules can act together: \(g\) is a composite function
    • 5.2.2.2. Finding the points \((x, t, p)\)
  • 5.2.3. Examples of reset use
    • 5.2.3.1. Example: Duplicated test conditions
    • 5.2.3.2. Example: Reset to same
    • 5.2.3.3. Example: Order of evaluation
    • 5.2.3.4. Example: Cascading
    • 5.2.3.5. Example: Using variables as reset values
    • 5.2.3.6. Example: Using variables as test values
    • 5.2.3.7. Example: Explicit reset ordering
  • 5.2.4. Implementation: Forward integration
  • 5.2.5. What could go wrong?
    • 5.2.5.1. Misuse: Touching, not crossing
    • 5.2.5.2. Misuse: Multiple truths
    • 5.2.5.3. Misuse: Indirect change of state variables
    • 5.2.5.4. Misuse: Conditional reset value
    • 5.2.5.5. Misuse: Conditional test value
    • 5.2.5.6. Misuse: Infinite loop
  • 5.2.6. Modelling examples
    • 5.2.6.1. Usecase: Cell growth and division
    • 5.2.6.2. Usecase: Stimulus current with offset
    • 5.2.6.3. Usecase: Reset at initial point
• 5.3. Using units
• 5.4. Best practice