Section: Scientific Foundations
Scientific Foundations
The main mathematical tools and formalisms used in Maestro include:

theory of stochastic processes: Markov process, point process, Palm measure, large deviations;

theory of dynamical discreteevent systems: queues, fluid approximation, network calculus;

theory of control and scheduling: dynamic programming, Markov decision process, game theory, deterministic and stochastic scheduling, pathwise comparison;

theory of singular perturbations;

random matrix theory.