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 discrete-event 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.