Safe and Infinite Resource Scheduling Using Energy Timed Automata.

Pieter J. L. Cuijpers Jonas Hansen Kim G. Larsen

Published in: TASE (2024)

Keyphrases

resource scheduling
timed automata
model checking
reachability analysis
energy consumption
load balancing
theorem prover
theorem proving
grid systems
first order logic
quality management
real time systems
information systems