Optimal infinite scheduling for multi-priced timed automata.

Patricia Bouyer Ed Brinksma Kim Guldstrand Larsen

Published in: Formal Methods Syst. Des. (2008)

Keyphrases

timed automata
model checking
optimal scheduling
capacity allocation
scheduling problem
resource allocation
optimal control
resource constraints
asymptotically optimal
neural network
information systems
theorem prover
reachability analysis