  M.MAHADEV PRAMOD
  pramodmm@maxwell.ee.washington.edu

  DOMAIN-NAME : Generator-scheduler
 
  This essentially is a planner which solves the deficiency in a system
  at any given time. If the deficiency of power at time t=1 is 10 and you 
  want to reduce it to let's say 8 then this will come up with a plan and
  tells you which are the generators that can be switched on to reduce the
  deficiency. 
  
  It took me about 30 -40 hours to encode the domain in Prodigy. 
  
  I think my domain is similiar to the schedworld domain. In the sense of
  using time as continous parameter.In my case the constraints are that
  the machine can be turned on after they have been idle for a given time
  which is machine-dependent . My operators basically weave around these 
  conditions . The possible number of combinations are
  on off on
  off off off
  off off on
   on off off.
So on an average for each combination I have two operators which check
for these combinations and apply the relevant operators. 
So to decide whether the unit is on at a previous time I have snarfed a function
from the sched-world which gives me the previous time given the current time
and also I have written a function on these lines to find the later time.


