From: A formal specification framework for smart grid components
Object | States | Events |
---|---|---|
Appliance | Disconnected | Unplugged |
Connected | Plugged-in, not in-use | |
Running | In use | |
Turbine | Not running | No wind |
Slow running | Slow wind | |
Fast running | Fast wind | |
Solar | No energy generation | Night time |
Partial energy generation | Day, cloudy | |
Full energy generation | Day, sunny | |
Storage | Charging | Store energy |
Discharging | Consume energy | |
Not-in-use | Remove storage |