Explicit Fair Scheduling for Dynamic Control.

Ernst-Rüdiger Olderog Andreas Podelski

Published in: Concurrency, Compositionality, and Correctness (2010)

Keyphrases

flexible manufacturing systems
control system
dynamic environments
scheduling algorithm
dynamically changing
scheduling problem
data acquisition
optimal control
neural network
control method
process control
round robin
dynamic scheduling
shop floor