gives a logical expression for assumptions on parameters in the random process proc.


  • ProcessParameterAssumptions returns a logical combination of equalities, inequalities, and domain specifications for assumptions on parameters in proc.
  • ProcessParameterAssumptions can generate parameter assumptions for any random process specified as a symbolic process.


open allclose all

Basic Examples  (1)

Find the parameter assumptions for different processes:

Scope  (2)

Obtain assumptions for parameters used in a process:

Parameter assumptions for a queueing process:

Discrete Markov chain:

Time series:

Properties & Relations  (1)

ProcessParameterAssumptions returns True, False, or conditions on the parameters:

Possible Issues  (1)

For a fixed time, a random process behaves like a distribution:

Use DistributionParameterAssumptions:

Introduced in 2012