Example for one recursion of the conventional Kalman filter equations
function kalmanStep extends Modelica.Icons.Function; import Modelica_LinearSystems2.WorkInProgress.DiscreteStateSpace; output Real P_out[:, :]; output Real K[:, :]; output Real R_out[:, :]; end kalmanStep;