Table 4 Success and error outcomes of the schemas for a solar entity
From: A formal specification framework for smart grid components
Schema | Pre-condition for success | Condition for error |
|---|---|---|
DayAndCloudy | Solar is in no generation state \(slrState=noGeneration\) | Already in partial generation state \(slrState=\) partialEnergyGeneration |
DayAndSunny | Solar is in partial state \(slrState=\) partialEnergyGeneration | Already in full generation state \(slrState=\) fullEnergyGeneration |
Night | Solar is in partial or full state \(slrState=\) \(PartialEnergyGerention\vee\) fullEnergyGeneration | Already in no generation state \(slrState=\) noEnergyGeneration |