Assertion: overshoot | /r/CapableOf | return osinst
Facets:
value: for each transition
type: TEMPORAL
Source sentences:
text: [ OS , OSLEV , OSINST ] = overshoot(...) returns the levels, OSLEV , and sample instants, OSINST , of the overshoots for each transition.
text: [ OS , OSLEV , OSINST ] = overshoot(...) returns the levels, OSLEV , and sample instants, OSINST , of the overshoots for each transition.