Skip to main content

Table 1 Smart grid components, their states and events

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