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.