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, branching process, mean-field approximation;
-
theory of dynamical discrete-event systems: queues, fluid approximation;
-
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.