Scheduler Modeling Based on the Controller Synthesis Paradigm.

Karine Altisen Gregor Gößler Joseph Sifakis

Published in: Real Time Syst. (2002)

Keyphrases

controller synthesis
autonomic computing systems
closed loop
control system