.Modelica_Requirements.Examples.Elementary.ChecksInFixedWindow

Contents

Name	Description
During	Example for During (in every true condition phase, check must be true)
MinDuration	Example for MinDuration (in every true condition phase, check must be true for at least the defined duration)
MaxDuration	Example for MaxDuration (in every true condition phase, check must be true for at most the defined duration)
BandDuration	Example for BandDuration (in every true condition phase, check must be true for at least a minimum duration and at most a maximum duration)
NoRising	Example for NoRising (in every true condition phase, no rising edge of check is allowed)
FixedRising	Example for FixedRising (in every true condition phase, a defined number of check rising edges must occur)
MinRising	Example for MinRising (in every true condition phase, a minimum number of check rising edges must occur)
MaxRising	Example for MaxRising (in every true condition phase, the number of check rising edges is bounded)
BandRising	Example for BandRising (in every true condition phase, a minimum number of check rising edges must occur and the number of check rising edges is bounded)
MaxRisingFrequency	Example for MaxRisingFrequency (in every true condition phase, the frequency of the check rising edges is limited)
WhenRising	Example for WhenRising (return Satisfied when check is true and condition has a rising edge)
WhenFalling	Example for WhenFalling (return Satisfied when check is true and condition has a falling edge)
WhenChanging	Example for WhenChanging (return Satisfied when check is true and condition has a changing edge)
WithinDomain	Example for WithinDomain (in every true condition phase, point input must be within domain defined by polygon)