Validate the requirement, "The DC voltage in the rectifier should not exceed 540 V for more than 0.002 s.":

Show the failure plot:

The DC voltage goes above 540 for 0.00252 s:

Start with a model of a tank system and simulate it for 30 s:

Validate the requirement, "Whenever the water level in the first tank is above 1.2 m, and for at least 6 s more, the water level in the second tank should be above 0.6 m.":

Show the failure plot:

The water level in the second tank goes below 0.6 m too early:

Start with a model of a controlled inverted pendulum system:

Validate the requirement, "Whenever the angular velocity in the motor is below 700 rad/s until the position of the cart reaches 0.9 m, the angle of the pendulum must be between and 0.1 rad.":

Specify uncertainty for the resistance in the motor and set a number of simulations:

The model fails the requirement in all simulations:

Show the failure plot for the stored failure configuration:

Simulate with the failure configuration:

The angle of the pendulum fails this control specification:

Validate a requirement for a state variable in an AffineStateSpaceModel:

Validate a SystemModelEventually requirement for the step response of an output variable in a TransferFunctionModel with a parameter that follows a normal distribution:

The requirement is for the output to have a lower bound:

This requirement generally fails:

Validate a requirement for the output and input variables in a DiscreteInputOutputModel:

Specify a parameter uncertainty on a, an input sequence u and a simulation count:

The requirement is that the output y[t] is bounded by the input u[t]:

This requirement generally fails:

The model simulation interval is used when time domain conditions are not given in a SystemModelAlways requirement:

Specify a time domain:

The model simulation interval is used when time domain conditions are not given in an SystemModelEventually requirement:

Specify a time domain:

Select a number of simulations to perform with "SimulationCount" when parameters, initial values or inputs have uncertainty:

Specify a parameter uncertainty on a and an input function:

Validate the requirement:

Retrieve the number of simulations:

Select a simulation interval to use in validation with "SimulationInterval":

Specify a parameter uncertainty on a and an input function:

Validate the requirement:

Retrieve the simulation interval:

Select a maximum number of failure configurations for each requirement with "MaxFailureIntervals":

Specify a parameter uncertainty on a and an input function:

Validate the requirement:

Retrieve the failure intervals:

Validate a requirement with uncertainty generated from giving a list of values for a parameter:

Set an input function:

Validate the requirement:

Validate a requirement with uncertainty generated from sampling an interval for a parameter value:

Set an input function:

Validate the requirement:

Validate a requirement with uncertainty generated from sampling a distribution for a parameter value:

Set an input function:

Validate the requirement:

Validate a requirement with uncertainty generated from sampling a geometric region for a parameter value:

Set an input function:

Validate the requirement:

Validate a requirement with uncertainty generated from sampling a Circle for two initial values:

Set an input function:

Validate the requirement:

Validate a requirement with uncertainty generated when an ARIMAProcess is used for an input:

Specify a simulation interval and a number of simulations:

Validate the requirement:

Validate a requirement with uncertainty generated when using a two-dimensional process for two inputs:

Specify a number of simulations:

Validate the requirement:

Validate a requirement with uncertainty generated when several functions are used as input:

Use these profiles for the input flow rate in a continuous stirred tank reactor:

Validate the requirement:

Validate a requirement producing a SystemModelValidationData object:

Specify a parameter uncertainty on a :

Set an input function and a number of simulations:

Validate the requirement:

Retrieve the success probability:

Retrieve the stored failure configurations:

Retrieve the failure plot for the stored failure configuration:

Display a plot of the time intervals where the requirement failed for the stored failure configuration:

Validate a requirement producing a SystemModelValidationData object:

Specify a parameter uncertainty on a:

Set an input function and a number of simulations:

Retrieve the success probability:

Retrieve the stored failure configurations:

Display time intervals where the requirement failed:

Retrieve the first time where the requirement failed:

Set a custom simulation method with Method:

Control progress reporting with ProgressReporting:

Validate a requirement with uncertainty generated when an ARIMAProcess is used for an input:

Specify a simulation interval and a number of simulations:

Set a custom sampling period when sampling the random process when validating:

Start with a model of a camera attached to the top of a moving vehicle:

Simulate the model with a vertical force perturbation:

Plot the position of the camera:

Compute the settling time for the position of the camera with a 25% settling threshold:

Compute the initial and final values for the position of the camera:

Use validation to verify the measurement of the settling time using its definition:

Earlier times do not satisfy the condition:

Start with a simple model of an electrical vehicle following the US EPA Highway Fuel Economy Driving Schedule (HWFET):

Validate the requirement, "The temperature in the battery can only be above 28 ºC for an interval of at most 8.5 minutes.":

Show the failure plot:

Plot the temperature with the bound:

The requirement fails only in one occasion. To see this, validate the requirement, "The temperature in the battery can reach at most 28 ºC.":

Compute the failure interval lengths to see that only one interval is longer than 8.5 minutes:

The performance of a circuit depends heavily on its components and parameter tolerances. When the resistance of one of the components in this model of a speaker follows a truncated normal distribution, the variation in the current going through the speaker can be measurable:

Set the resistance uncertainty:

Set the simulation interval and the number of simulations:

Plot the uncertainty in the speaker current:

Use the uncertainty to sample and validate a requirement for a bound for the distance between the simulation results and reference data:

Extract a failure configuration, simulate the model and fetch the simulation result:

Plot the distance between the result for the failure configuration and the reference data:

Plot the failure intervals:

Validate the stability of a toy spacecraft in a circular orbit against force disturbances:

Bounds for the radial coordinate should be respected when a radial force that follows a WienerProcess acts on it:

Set a number of simulations:

Set a number of stored failure configurations:

Validate the requirement:

Extract the failure configurations and plot them together with the bounds:

Resample and plot the uncertainty for the radial coordinate: