System Modeling

  • Markov chains;

  • Differential equations;

  • Abstraction Techniques.