Skip to main content

Table 3 Success and error outcomes of the schemas for a wind turbine entity

From: A formal specification framework for smart grid components

Schema

Pre-condition for success

Condition for error

SlowWind

Turbine not running \(trbState=notRunning\)

Already in slow running state \(trbState=turbineSlowRunning\)

FastWind

Turbine is running slowly \(trbState=turbineSlowRunning\)

Already in fast running state \(trbState=turbineFastRunning\)

NoWind

Turbine is running slowly \(trbState=turbineSlowRunning\)

Already in not running state \(trbState=turbineNotRunning\)