Scheduling with timed automata.
Yasmina AbdeddaïmEugene AsarinOded MalerPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- timed automata
- model checking
- reachability analysis
- scheduling problem
- theorem prover
- real time systems
- resource allocation
- real time database systems
- scheduling algorithm
- theorem proving
- first order logic
- round robin
- data sets
- dynamic scheduling
- minimize total
- flexible manufacturing systems
- resource constraints
- flow control
- natural language
- job shop
- project scheduling
- scheduling strategy
- genetic algorithm
- database
- parallel machines
- temporal logic
- load balancing
- artificial intelligence