An exact schedulability test for global FP using state space pruning.
Artem BurmyakovEnrico BiniEduardo TovarPublished in: RTNS (2015)
Keyphrases
- state space
- search space
- heuristic search
- reinforcement learning
- global information
- dynamic programming
- linear programming
- markov chain
- test data
- dynamical systems
- markov decision processes
- continuous time markov process
- data sets
- tree pruning
- brute force
- statistical significance
- particle filter
- hidden markov models
- query processing
- training data
- neural network