Access MATLAB Functions and Workspace Data in C Charts - MATLAB & Simulink (original) (raw)

Stateflow® charts in Simulink® models have an action language property that defines the syntax for state and transition actions. An icon in the lower-left corner of the chart canvas indicates the action language for the chart.

In charts that use C as the action language, you can call built-in MATLAB functions and access MATLAB workspace variables by using the ml namespace operator or theml function.

Caution

Because MATLAB functions are not available in a target environment, do not use theml namespace operator and the ml function if you plan to build a code generation target.

ml Namespace Operator

For C charts, the ml namespace operator uses standard dot(.) notation to reference MATLAB variables and functions. For example, the statement a = ml.x returns the value of the MATLAB workspace variable x to the Stateflow data a.

For functions, the syntax is as follows:

[return_val1,return_val2,...] = ml.function_name(arg1,arg2,...)

For example, the statement [a, b, c] = ml._`function`_(x, y) passes the return values from the MATLAB function function to the Stateflow data a, b, andc.

If the MATLAB function you call does not require arguments, you must still include the parentheses. If you omit the parentheses, Stateflow software interprets the function name as a workspace variable, which, when not found, generates a run-time error during simulation.

Examples

In these examples, x, y, andz are workspace variables and d1 andd2 are Stateflow data:

ml Function

For C charts, you can use the ml function to specify calls to MATLAB functions. The format for the ml function call uses this notation:

ml(evalString,arg1,arg2,...);

_`evalString`_ is an expression that is evaluated in the MATLAB workspace. It contains a MATLAB command (or a set of commands, each separated by a semicolon) to execute along with format specifiers (%g, %f, %d, etc.) that provide formatted substitution of the other arguments (_`arg1`_,_`arg2`_, etc.) into_`evalString`_.

The format specifiers used in ml functions are the same as those used in the C functions printf and sprintf. Theml function call is equivalent to calling the MATLABeval function with the ml namespace operator if the arguments _`arg1`_,_`arg2`_,... are restricted to scalars or literals in the following command:

ml.eval(ml.sprintf(evalString,arg1,arg2,...))

Format specifiers used in the ml function must either match the data types of the arguments or the arguments must be of types that can be promoted to the type represented by the format specifier.

Stateflow software assumes scalar return values from ml namespace operator and ml function calls when they are used as arguments in this context. For more information, see How Charts Infer the Return Size for ml Expressions.

Examples

In these examples, x is a MATLAB workspace variable, and d1 and d2 are Stateflow data:

ml Expressions

For C charts, you can mix ml namespace operator andml function expressions along with Stateflow data in larger expressions. The following example squares thesine and cosine of an angle in workspace variableX and adds them:

a = ml.power(ml.sin(ml.X),2) + ml("power(cos(X),2)")

The first operand uses the ml namespace operator to call thesin function. Its argument is ml.X, sinceX is in the MATLAB workspace. The second operand uses the ml function. BecauseX is in the workspace, it appears in the_`evalString`_ expression asX. The squaring of each operand is performed with the MATLABpower function, which takes two arguments: the value to square, and the power value, 2.

Expressions using the ml namespace operator and theml function can be used as arguments for ml namespace operator and ml function expressions. The following example nests ml expressions at three different levels:

a = ml.power(ml.sin(ml.X + ml("cos(Y)")),2)

In composing your ml expressions, follow the levels of precedence set out in Binary Operations. Use parentheses around power expressions with the ^ operator when you use them in conjunction with other arithmetic operators.

Stateflow software checks expressions for data size mismatches in your actions when you update or simulate the model. Because the return values for ml expressions are not known until run time, Stateflow software must infer the size of their return values. For more information, seeHow Charts Infer the Return Size for ml Expressions.

Which ml Should I Use?

In most cases, the notation of the ml namespace operator is more straightforward. However, using the ml function call does offer a few advantages:

ml Data Type

Stateflow data of type ml is typed internally with the MATLAB type mxArray for C charts. You can assign (store) any type of data available in the Stateflow hierarchy to a data of type ml. These types include any data type defined in the Stateflow hierarchy or returned from the MATLAB workspace with the ml namespace operator orml function.

Rules for Using ml Data Type

These rules apply to Stateflow data of type ml:

Place Holder for Workspace Data

Both the ml namespace operator and the ml function can access data directly in the MATLAB workspace and return it to a C chart. However, maintaining data in the MATLAB workspace can present Stateflow users with conflicts with other data already resident in the workspace. Consequently, with the ml data type, you can maintainml data in a chart and use it for MATLAB computations in C charts.

As an example, in the following statements, mldata1 andmldata2 are Stateflow data of type ml:

mldata1 = ml.rand(3); mldata2 = ml.transpose(mldata1);

In the first line of this example, mldata1 receives the return value of the MATLAB function rand, which, in this case, returns a 3-by-3 array of random numbers. Note that mldata1 is not specified as an array or sized in any way. It can receive any MATLAB workspace data or the return of any MATLAB function because it is defined as a Stateflow data of type ml.

In the second line of the example, mldata2, also of Stateflow data type ml, receives the transpose matrix of the matrix in mldata1. It is assigned the return value of the MATLAB function transpose in which mldata1 is the argument.

Note the differences in notation if the preceding example were to use MATLAB workspace data (wsdata1 and wsdata2) instead of Stateflowml data to hold the generated matrices:

ml.wsdata1 = ml.rand(3); ml.wsdata2 = ml.transpose(ml.wsdata1);

In this case, each workspace data must be accessed through the ml namespace operator.

How Charts Infer the Return Size for ml Expressions

In C charts, Stateflow expressions using the ml namespace operator and theml function evaluate in the MATLAB workspace at run time. The actual size of the data returned from the following expression types is known only at run time:

When these expressions appear in actions, Stateflow code generation creates temporary data to hold intermediate returns for evaluation of the full expression of which they are a part. Because the size of these return values is unknown until run time, Stateflow software must employ context rules to infer the sizes for creation of the temporary data.

During run time, if the actual returned value from one of these commands differs from the inferred size of the temporary variable that stores it, a size mismatch error appears. To prevent run-time errors, use the following guidelines to write actions with MATLAB commands or ml data:

Guideline Example
Return sizes of MATLAB commands or data in an expression must match return sizes of peer expressions. In the expression ml.func() * (x + ml.y), if x is a 3-by-2 matrix, thenml.func() andml.y are also assumed to evaluate to 3-by-2 matrices. If either returns a value of different size (other than a scalar), an error results during run-time.
Expressions that return a scalar never produce an error.You can combine matrices and scalars in larger expressions because MATLAB commands use scalar expansion. In the expression ml.x + y, if y is a 3-by-2 matrix and ml.x returns a scalar, the resulting value is the result of adding the scalar value of ml.x to every member of y to produce a matrix with the size ofy, that is, a 3-by-2 matrix.The same rule applies to subtraction (-), multiplication (*), division (/), and any other binary operations.
MATLAB commands or Stateflow data of type ml can be members of these independent levels of expression, for which resolution of return size is necessary: ArgumentsThe expression for each function argument is a larger expression for which the return size of MATLAB commands or Stateflow data of type ml must be determined. In the expression z +func(x + ml.y), the size ofml.y is independent of the size of z, because ml.y is used at the function argument level. However, the return size for func(x + ml.y) must match the size of z, because they are both at the same expression level.
Array indicesThe expression for an array index is an independent level of expression that must be scalar in size. In the expression x +_array_[y], the size of y is independent of the size of x because y and x are at different levels of expression. Also,y must be a scalar.
The return size for an indexed array element access must be a scalar. The expression x[1][1], where x is a 3-by-2 array, must evaluate to a scalar.
MATLAB command or data elements used in an expression for the input argument of a MATLAB function called through the ml namespace operator are resolved for size. This resolution uses the rule for peer expressions (preceding rule 1) for the expression itself, because no size definition prototype is available. In the function call ml.func(x + ml.y), if x is a 3-by-2 array,ml.y must return a 3-by-2 array or a scalar.
MATLAB command or data elements used for the input argument for a graphical function in an expression are resolved for size by the function prototype. If the graphical function_gfunc_ has the prototype_gfunc_(arg1), where arg1 is a 2-by-3 Stateflow data array, the calling expression,gfunc(ml.y + x), requires that both ml.y and x evaluate to 2-by-3 arrays (or scalars) during run-time.
ml function calls can take only scalar or character vector literal arguments. Any MATLAB command or data that specifies an argument for theml function must return a scalar value. In the expression a = ml("sin(x)"), theml function calls the MATLAB function sin to evaluate the sine ofx in the MATLAB workspace. Stateflow data variable a stores that result.
In an assignment, the size of the right-hand expression must match the size of the left-hand expression, with one exception. If the left-hand expression is a single MATLAB variable, such as ml.x, or Stateflow data of type ml, the right-hand expression determines the sizes of both expressions. In the expression s = ml.func(x), where x is a 3-by-2 matrix and s is scalar Stateflow data, ml.func(x) must return a scalar to match the left-hand expression, s. However, in the expression ml.y = x + s, where x is a 3-by-2 data array and s is scalar, the left-hand expression, workspace variable y, is assigned the size of a 3-by-2 array to match the size of the right-hand expression, x+s, a 3-by-2 array.
In an assignment, Stateflow column vectors on the left-hand side are compatible with MATLAB row or column vectors of the same size on the right-hand side.A matrix you define with a row dimension of 1 is considered a row vector. A matrix you define with one dimension or with a column dimension of 1 is considered a column vector. In the expression s = ml.func(), whereml.func() returns a 1-by-3 matrix, if s is a vector of size 3, the assignment is valid.
If you cannot resolve the return size of MATLAB command or data elements in a larger expression by any of the preceding rules, they are assumed to return scalar values. In the expression ml.x = ml.y + ml.z, none of the preceding rules can be used to infer a common size among ml.x,ml.y, and ml.z. In this case, bothml.y and ml.z are assumed to return scalar values. Even if ml.y and ml.z return matching sizes at run-time, if they return nonscalar values, a size mismatch error results.
The preceding rules for resolving the size of member MATLAB commands or Stateflow data of type ml in a larger expression apply only to cases in which numeric values are expected for that member. For nonnumeric returns, a run-time error results. NoteMember MATLAB commands or data of type ml in a larger expression are limited to numeric values (scalar or array) only if they participate in numeric expressions. The expression x + ml.str, where ml.str is a character vector workspace variable, produces a run-time error stating thatml.str is not a numeric type.

Special cases exist, in which no size checking occurs to resolve the size of MATLAB command or data expressions that are part of larger expressions. Use of the following expressions does not require enforcement of size checking at run-time:

In these cases, assignment of a return to the left-hand side of an assignment statement or a function argument occurs without checking for a size mismatch between the two: