Welcome to Dymodetron

DY NAMIC MODE L TRON

Dymodetron is for building and analyzing dynamic models efficiently.

Contents:

• Quick Start
  • Install Dymodetron
  • Generate Model Diagrams
  • View Model Diagrams
  • Generate Model Simulation Code
  • Run Simulation
  • Analyze Results
    • Entity Attribute History Summary
    • Entity Attribute History Plot
    • Output Data File
  • Iterate on Model Parameters
  • Peruse Example Model Definition
  • Iterate On Model Definition
• Overview
  • What do you mean by “dynamic models”?
  • How does one use Dymodetron?
    • 1. Build Model
    • 2. Generate Model Simulation Code
    • 3. Generate Model Visualizations
    • 4. Run Simulations
    • 5. Analyze Results
    • 6. Iterate
  • What does a dymodetron model look like?
    • Example Model Diagram (generated)
    • Multiple interacting state machines
    • Multiple interacting entities
    • Where do events come from?
    • Targeting events at entities
    • Example Model Source
    • Model Simulation Code (generated)
• Models of Computation for Dymodetron Simulations
  • What are “models of computation”?
  • State Machines
    • Entities
    • Entity Attributes
    • States
    • Sub-state-machines
    • Events
    • Transitions
    • Action statements
    • State Entry and Exit Actions
    • Time
  • Heterogeneous models of computation
• Modeling Constructs
  • Overview
  • Model
  • Entity Type
  • Entity Instance
  • Entity Attribute
  • Entity Set
    • Naming an entity set
    • Entity match criteria expressions
    • Entity match criteria expressions - a closer look
    • Entity match criteria expressions - examples
    • Entity set nested filtering
  • Model Description
  • Model Parameters
    • Scalar Model Parameter
    • Lookup Table
      • Defining a lookup table
      • Using a lookup table
    • Random Distribution
      • Defining a random distribution
      • Using a random distribution
  • State Machine
    • Define state machine
      • Declare state machine
      • Specify state machine entity type
      • Define state machine initialization time
    • State
      • Define state machine states
    • State Entry and Exit Actions
    • Event Type
      • Define state machine event types
    • State Transition
    • State Transition Table
      • Define state machine transition table
    • State Tracking
    • Actions
      • Entity Match
      • Entity Variables
      • Generate Events
      • In State or Not?
      • State Entry Counter
      • Last Time State Was Entered
      • Call
      • Measurements
      • Lookup in Lookup Table
      • Get Current Simulation Time
      • Number Crunching (numpy)
    • Full minimal state machine example
• Generators
  • Generate Code
    • Run Code
  • Generate Diagrams
• Example
• Tutorial
• Dymodetron How-To Guide
  • Generate simulation code for a model
  • Generate diagrams for a model
  • Build models
  • Run a simulation of a model
  • Examine simulation results
  • Change model parameters
  • Change model random seed
  • Debug a model simulation
• Dymodetron How-To Guide: Model Building
  • Make a new Dymodetron model
  • Change the model description
  • Entity Attributes
    • Add an entity attribute
    • Modify an entity attribute
  • Model Parameters
    • Add a model parameter
    • Modify a model parameter
    • Enumerated parameter values
  • Random Distributions
  • Lookup Tables
  • Rename a model element
  • Build state machine models
    • Make a new state machine
    • Associate state machine with entity type
    • Specify state machine initialization time
    • States
      • Add a state to state machine
      • Remove a state from a state machine
      • Add a state entry action
      • Add a state exit action
      • Modify a state action
      • Remove a state action
    • Events
      • Add a new type of event
      • Remove an event type
    • State Transitions
      • Create a state machine transition table
      • Add a state transition
      • Modify a state transition
      • Remove a state transition
    • State Tracking
    • Action Statements
      • Select entities matching a criteria (“entity match”)
      • Generate events
      • Check if entities are in a state or not
      • Examine the last time entities were in a state
      • Examine the number of times entities have entered a state
      • Call another action
      • Measure entities matching a criteria (“measurements”)
      • Entity variables
      • Perform lookup in lookup table
      • Write to log
      • Examine state tracking metrics
      • Reset state tracking
• Why Dymodetron?
  • What are the problems that Dymodetron is trying to solve?
• What’s the name all about?
  • Die-moohda-what ?
  • What does “tron” mean?
  • What does “dymodetron” mean?
• Verification Status
  • α
• Aspirations
  • Easy ensembles of simulation runs
  • Model Probes
  • Multiple Entity Types
  • State Machine Orthogonal Regions
  • State Machine History States
  • Support Additional Models of Computation
    • Ordinary, Stochastic, and Partial Differential Equations (ODE/SDE/PDE)
    • Stochastic Simulation Algorithm (aka Gillespie, SSA)
    • Flow Chart
    • Data flow / process model
    • Components and Interconnects.
    • Additional model description elements.
    • Additional options for lookup table behavior.