Section: Research Program
Scientific Foundations
The main mathematical tools and formalisms used in Maestro include:
-
theory of stochastic processes: Markov process, renewal process, branching process, point process, Palm measure, large deviations, mean-field approximation, fluid approximation;
-
theory of dynamical discrete-event systems: queues, pathwise and stochastic comparisons, random matrix theory;
-
theory of control and scheduling: dynamic programming, Markov decision process, game theory, deterministic and stochastic scheduling; stochastic approximation algorithms;