SystemModelUntil
SystemModelUntil[texpr1,texpr2]
is True in the intervals where texpr1 is True until texpr2 first becomes True.
Details
- SystemModelUntil is typically used to test the expected end of a behavior in a system signaled by a separate response, often indicating the transition of a system between modes.
- SystemModelUntil[texpr1,texpr2][t] is ¬texpr2[t] for
if texpr1[t] is True for 
and texpr2[t2] is True. - SystemModelUntil[texpr1,texpr2][t] is False for
if texpr1[t] is False for 
. - SystemModelUntil[texpr1,texpr2][t] is False for
if texpr1[t] is True for 
and texpr2[t] never becomes True in 
. - SystemModelUntil can be used to specify system behaviors in functions like SystemModelValidate.
Examples
open all close allBasic Examples (1)
Use SystemModelUntil to validate a behavior that must happen until a separate condition becomes true:
Validate the requirement, "Whenever the controller is turned on, until the room temperature reaches a value between 19.5 °C and 20.6 °C, the floor must input at least 7.6 W of heat into the room.":
Scope (1)
Basic Uses (1)
Validate requirements in a model of a pendulum:
Validate the requirement, "Whenever the angular velocity is positive, until the angle is non-negative, the angular acceleration must be above -10.-9.":
Validate the requirement, "Whenever the angular velocity is positive, until the angle is non-negative, the angular acceleration must be above 0.8.":
Applications (1)
Start with a simple model of an electrical vehicle following the US EPA Highway Fuel Economy Driving Schedule (HWFET):
Validate the requirement, "Whenever the state of charge of the battery is greater than 0.86, until the battery temperature reaches a value greater than 26 °C, the current produced by the battery must be above 22 A.":
Extract the maximum of the failure intervals:
Plot the current together with the bound and failure intervals as filling:
Related Links
Wolfram System Modeler DocumentationText
Wolfram Research (2025), SystemModelUntil, Wolfram Language function, https://reference.wolfram.com/language/ref/SystemModelUntil.html.
CMS
Wolfram Language. 2025. "SystemModelUntil." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SystemModelUntil.html.
APA
Wolfram Language. (2025). SystemModelUntil. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SystemModelUntil.html