FMU Processes Sample Clauses

FMU Processes. For the FMU processes, we use precisely the lifting approach described in Section 3.3. Hence, for each FMU we create a sketch process like the one in Fig. 8 (p. 26). For this, the state components cparams, cinputs, coutputs and cstate of the sketch process are instantiated to the respective concrete parameters, inputs, outputs and state components of the relational FMU model that it encapsulates.