Plan Validation

Time         Details





0: 		 Event triggered!

 Activated process (night-operations)  




0.1: 		 Checking Happening... ...OK!

 (soc)$(t) = - 3t + 45$ 

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

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

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



0.1: 		 Checking Happening... ...OK!

 Deleting (available unit)  

 Increasing (demand) (0) by 8. 



0.1: 		 Event triggered!

 Activated process (discharging)  



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



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

 (soc)$(t) = - 11t + 44.7$ 

 (daytime)$(t) = t - 0.9$ 

 Updating (soc) (44.7) by 34.8 for continuous update. 

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



1: 		 Event triggered!

 Triggered event (daybreak)  

 Adding (day)  



1: 		 Event triggered!

 Unactivated process (night-operations)  

 Activated process (generating)  



3.95309: 		 Checking Happening... ...OK!



3.95309: 		 Checking Happening... ...OK!

 (supply)$(t) = 0.00632099t^4 - 0.18963t^3 + 1.42222t^2$ 

 (soc)$(t) = 0.0012642t^5 - 0.0474074t^4 + 0.474074t^3 - 8t + 34.8$ 

 (daytime)$(t) = t$ 

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

 Updating (soc) (34.8) by 20.0627 for continuous update. 

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



3.95309: 		 Event triggered!

 Activated process (charging)  

 Unactivated process (discharging)  



5.1: 		 Checking Happening... ...OK!



5.1: 		 Checking Happening... ...OK!

 (supply)$(t) = 0.00632099t^4 - 0.114964t^3 + 0.0729838t^2 + 4.08991t + 8$ 

 (soc)$(t) = -79.9373e^{ - 0.00012642t^5 + 0.0028741t^4 - 0.00243279t^3 - 0.204495t^2 - 2.76492e-11t} + 100$ 

 (daytime)$(t) = t + 2.95309$ 

 Updating (supply) (8) by 12.6243 for continuous update. 

 Updating (soc) (20.0627) by 38.8517 for continuous update. 

 Updating (daytime) (2.95309) by 4.1 for continuous update. 



5.1: 		 Checking Happening... ...OK!

 Adding (available unit)  

 Adding (readyforobs1)  

 Adding (readyforobs2)  

 Decreasing (demand) (8) by 8. 



5.2: 		 Checking Happening... ...OK!

 (supply)$(t) = 0.00632099t^4 - 0.0859654t^3 - 0.272687t^2 + 3.8418t + 12.6243$ 

 (soc)$(t) = -61.1483e^{ - 0.00012642t^5 + 0.00214914t^4 + 0.00908958t^3 - 0.19209t^2 - 1.26243t} + 100$ 

 (daytime)$(t) = t + 4.1$ 

 Updating (supply) (12.6243) by 13.0056 for continuous update. 

 Updating (soc) (38.8517) by 46.2068 for continuous update. 

 Updating (daytime) (4.1) by 4.2 for continuous update. 



5.2: 		 Checking Happening... ...OK!

 Deleting (available unit)  

 Increasing (demand) (0) by 10. 



7.2: 		 Checking Happening... ...OK!



7.2: 		 Checking Happening... ...OK!

 (supply)$(t) = 0.00632099t^4 - 0.083437t^3 - 0.298098t^2 + 3.7847t + 13.0056$ 

 (soc)$(t) = -53.7932e^{ - 0.00012642t^5 + 0.00208593t^4 + 0.00993659t^3 - 0.189235t^2 - 0.300562t} + 100$ 

 (daytime)$(t) = t + 4.2$ 

 Updating (supply) (13.0056) by 18.8163 for continuous update. 

 Updating (soc) (46.2068) by 84.5763 for continuous update. 

 Updating (daytime) (4.2) by 6.2 for continuous update. 



7.2: 		 Checking Happening... ...OK!

 Deleting (readyforobs1)  

 Adding (available unit)  

 Adding (gotobs1)  

 Decreasing (demand) (10) by 10. 



7.3: 		 Checking Happening... ...OK!

 (supply)$(t) = 0.00632099t^4 - 0.0328691t^3 - 0.647016t^2 + 1.79334t + 18.8163$ 

 (soc)$(t) = -15.4237e^{ - 0.00012642t^5 + 0.000821729t^4 + 0.0215672t^3 - 0.089667t^2 - 1.88163t} + 100$ 

 (daytime)$(t) = t + 6.2$ 

 Updating (supply) (18.8163) by 18.9891 for continuous update. 

 Updating (soc) (84.5763) by 87.233 for continuous update. 

 Updating (daytime) (6.2) by 6.3 for continuous update. 



7.3: 		 Checking Happening... ...OK!

 Deleting (available unit)  

 Increasing (demand) (0) by 10. 



9.3: 		 Checking Happening... ...OK!



9.3: 		 Checking Happening... ...OK!

 (supply)$(t) = 0.00632099t^4 - 0.0303407t^3 - 0.656498t^2 + 1.66298t + 18.9891$ 

 (soc)$(t) = -12.767e^{ - 0.00012642t^5 + 0.000758518t^4 + 0.0218833t^3 - 0.0831488t^2 - 0.898911t} + 100$ 

 (daytime)$(t) = t + 6.3$ 

 Updating (supply) (18.9891) by 19.5475 for continuous update. 

 Updating (soc) (87.233) by 98.1786 for continuous update. 

 Updating (daytime) (6.3) by 8.3 for continuous update. 



9.3: 		 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.0202272t^3 - 0.686839t^2 - 1.12483t + 19.5475$ 

 (soc)$(t) = -1.8214e^{ - 0.00012642t^5 - 0.000505679t^4 + 0.0228946t^3 + 0.0562416t^2 - 1.95475t} + 100$ 

 (daytime)$(t) = t + 8.3$ 

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

 Updating (soc) (98.1786) by 99.5197 for continuous update. 

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



10: 		 Checking Happening... ...OK!

 Adding (commsopen)  

Plan executed successfully - checking goal
Plan valid
Final value: 4