Plan Validation


Time         Details



0: Event triggered!
Activated process (night-operations)


1: Checking Happening... ...OK!

1: Checking Happening... ...OK!
(soc)$(t) = - 3t + 45$

(daytime)$(t) = t - 1$

Updating (soc) (45) by 42 for continuous update.

Updating (daytime) (-1) by 0 for continuous update.


1: Event triggered!
Triggered event (daybreak)

Adding (day)


1: Event triggered!
Unactivated process (night-operations)

Activated process (generating)


1: Event triggered!
Activated process (charging)


2.6: Checking Happening... ...OK!
(supply)$(t) = 0.00632099t^4 - 0.18963t^3 + 1.42222t^2$

(soc)$(t) = -58e^{ - 0.00012642t^5 + 0.00474074t^4 - 0.0474074t^3} + 100$

(daytime)$(t) = t$

Updating (supply) (0) by 2.90559 for continuous update.

Updating (soc) (42) by 50.7945 for continuous update.

Updating (daytime) (0) by 1.6 for continuous update.


2.6: Checking Happening... ...OK!
Deleting (available unit)

Increasing (demand) (0) by 12.


2.6: Event triggered!
Unactivated process (charging)

Activated process (discharging)


4.6: Checking Happening... ...OK!

4.6: Checking Happening... ...OK!
(supply)$(t) = 0.00632099t^4 - 0.149175t^3 + 0.60909t^2 + 3.19832t + 2.90559$

(soc)$(t) = 0.0012642t^5 - 0.0372938t^4 + 0.20303t^3 + 1.59916t^2 - 9.09441t + 50.7945$

(daytime)$(t) = t + 1.6$

Updating (supply) (2.90559) by 10.6463 for continuous update.

Updating (soc) (50.7945) by 40.0703 for continuous update.

Updating (daytime) (1.6) by 3.6 for continuous update.


4.6: Checking Happening... ...OK!
Adding (available unit)

Adding (readyforobs1)

Decreasing (demand) (12) by 12.


4.6: Event triggered!
Unactivated process (discharging)

Activated process (charging)


4.7: Checking Happening... ...OK!
(supply)$(t) = 0.00632099t^4 - 0.0986074t^3 - 0.134258t^2 + 4.04685t + 10.6463$

(soc)$(t) = -59.9297e^{ - 0.00012642t^5 + 0.00246519t^4 + 0.00447526t^3 - 0.202342t^2 - 1.06463t} + 100$

(daytime)$(t) = t + 3.6$

Updating (supply) (10.6463) by 11.0496 for continuous update.

Updating (soc) (40.0703) by 46.2314 for continuous update.

Updating (daytime) (3.6) by 3.7 for continuous update.


4.7: Checking Happening... ...OK!
Deleting (available unit)

Increasing (demand) (0) by 10.


6.7: Checking Happening... ...OK!

6.7: Checking Happening... ...OK!
(supply)$(t) = 0.00632099t^4 - 0.096079t^3 - 0.163461t^2 + 4.01706t + 11.0496$

(soc)$(t) = -53.7686e^{ - 0.00012642t^5 + 0.00240198t^4 + 0.00544869t^3 - 0.200853t^2 - 0.104957t} + 100$

(daytime)$(t) = t + 3.7$

Updating (supply) (11.0496) by 17.7624 for continuous update.

Updating (soc) (46.2314) by 78.8986 for continuous update.

Updating (daytime) (3.7) by 5.7 for continuous update.


6.7: Checking Happening... ...OK!
Deleting (readyforobs1)

Adding (available unit)

Adding (gotobs1)

Decreasing (demand) (10) by 10.


6.8: Checking Happening... ...OK!
(supply)$(t) = 0.00632099t^4 - 0.0455111t^3 - 0.588231t^2 + 2.41254t + 17.7624$

(soc)$(t) = -21.1014e^{ - 0.00012642t^5 + 0.00113778t^4 + 0.0196077t^3 - 0.120627t^2 - 1.77624t} + 100$

(daytime)$(t) = t + 5.7$

Updating (supply) (17.7624) by 17.9977 for continuous update.

Updating (soc) (78.8986) by 82.3536 for continuous update.

Updating (daytime) (5.7) by 5.8 for continuous update.


6.8: Checking Happening... ...OK!
Deleting (available unit)

Increasing (demand) (0) by 20.


6.8: Event triggered!
Unactivated process (charging)

Activated process (discharging)


7.8: Checking Happening... ...OK!

7.8: Checking Happening... ...OK!
(supply)$(t) = 0.00632099t^4 - 0.0429827t^3 - 0.601505t^2 + 2.29356t + 17.9977$

(soc)$(t) = 0.0012642t^5 - 0.0107457t^4 - 0.200502t^3 + 1.14678t^2 - 2.00232t + 82.3536$

(daytime)$(t) = t + 5.8$

Updating (supply) (17.9977) by 19.6531 for continuous update.

Updating (soc) (82.3536) by 81.2881 for continuous update.

Updating (daytime) (5.8) by 6.8 for continuous update.


7.8: Checking Happening... ...OK!
Adding (available unit)

Adding (readyforobs2)

Decreasing (demand) (20) by 20.


7.8: Event triggered!
Unactivated process (discharging)

Activated process (charging)


7.9: Checking Happening... ...OK!
(supply)$(t) = 0.00632099t^4 - 0.0176988t^3 - 0.692527t^2 + 0.986883t + 19.6531$

(soc)$(t) = -18.7119e^{ - 0.00012642t^5 + 0.000442469t^4 + 0.0230842t^3 - 0.0493441t^2 - 1.96531t} + 100$

(daytime)$(t) = t + 6.8$

Updating (supply) (19.6531) by 19.7448 for continuous update.

Updating (soc) (81.2881) by 84.634 for continuous update.

Updating (daytime) (6.8) by 6.9 for continuous update.


7.9: Checking Happening... ...OK!
Deleting (available unit)

Increasing (demand) (0) by 10.


9.9: Checking Happening... ...OK!

9.9: Checking Happening... ...OK!
(supply)$(t) = 0.00632099t^4 - 0.0151704t^3 - 0.697458t^2 + 0.847872t + 19.7448$

(soc)$(t) = -15.366e^{ - 0.00012642t^5 + 0.000379259t^4 + 0.0232486t^3 - 0.0423936t^2 - 0.974482t} + 100$

(daytime)$(t) = t + 6.9$

Updating (supply) (19.7448) by 18.6305 for continuous update.

Updating (soc) (84.634) by 97.7708 for continuous update.

Updating (daytime) (6.9) by 8.9 for continuous update.


9.9: Checking Happening... ...OK!
Deleting (readyforobs2)

Adding (available unit)

Adding (gotobs2)

Decreasing (demand) (10) by 10.


10: Checking Happening... ...OK!
(supply)$(t) = 0.00632099t^4 + 0.0353975t^3 - 0.636776t^2 - 1.92173t + 18.6305$

(soc)$(t) = -2.22917e^{ - 0.00012642t^5 - 0.000884938t^4 + 0.0212259t^3 + 0.0960866t^2 - 1.86305t} + 100$

(daytime)$(t) = t + 8.9$

Updating (supply) (18.6305) by 18.432 for continuous update.

Updating (soc) (97.7708) by 98.1479 for continuous update.

Updating (daytime) (8.9) by 9 for continuous update.


10: Checking Happening... ...OK!
Adding (commsopen)

Plan executed successfully - checking goal
Plan valid
Final value: 5
Derek Long 2006-10-09