Skip to content

Commit

Permalink
Correct typo introduced in e81918c as part of modelica#2907 and discu…
Browse files Browse the repository at this point in the history
…ssed in this PR.
  • Loading branch information
HansOlsson committed Oct 28, 2021
1 parent bd1a38c commit 2d89793
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions chapters/equations.tex
Original file line number Diff line number Diff line change
Expand Up @@ -725,7 +725,7 @@ \section{Initialization, initial equation, and initial algorithm}\label{initiali
The equations and assignments in these initial sections are purely algebraic, stating constraints between the variables at the initial time instant.
It is not allowed to use \lstinline!when!-clauses in these sections.
\item
For a non-discrete-time \lstinline!Real! variable \lstinline!vc!, the equation \lstinline!pre(vc) = vc! is added to the initialization equations.
For a continuous-time \lstinline!Real! variable \lstinline!vc!, the equation \lstinline!pre(vc) = vc! is added to the initialization equations.
\begin{nonnormative}
If \lstinline!pre(vc)! is not present in the flattened model, a tool may choose not to introduce this equation, or if it was introduced
it can eliminate it (to avoid the introduction of many dummy variables \lstinline!pre(vc)!).
Expand All @@ -739,7 +739,7 @@ \section{Initialization, initial equation, and initial algorithm}\label{initiali
\item
For a discrete-time variable \lstinline!vd!, the equation \lstinline!pre(vd) = startExpression! is added to the initialization equations.
\item
For a non-discrete-time \lstinline!Real! variable \lstinline!vc!, the equation \lstinline!vc = startExpression! is added to the initialization equations.
For a continuous-time \lstinline!Real! variable \lstinline!vc!, the equation \lstinline!vc = startExpression! is added to the initialization equations.
\end{itemize}
\end{enumerate}

Expand All @@ -765,7 +765,7 @@ \section{Initialization, initial equation, and initial algorithm}\label{initiali
\begin{nonnormative}
In the case a parameter has both a binding equation and \lstinline!fixed = false! a diagnostics is recommended, but the parameter should be solved from the binding equation.

Non-discrete-time \lstinline!Real! variables \lstinline!vc! have exactly one initialization value since the rules above assure that during initialization \lstinline!vc = pre(vc) = vc.startExpression! (if \lstinline!fixed = true!).
Continuous-time \lstinline!Real! variables \lstinline!vc! have exactly one initialization value since the rules above assure that during initialization \lstinline!vc = pre(vc) = vc.startExpression! (if \lstinline!fixed = true!).

Before the start of the integration, it must be guaranteed that for all variables \lstinline!v!, \lstinline!v = pre(v)!.
If this is not the case for some variables \lstinline!vi!, \lstinline!pre(vi) := vi! must be set and an event iteration at the initial time must follow, so the model is re-evaluated, until this condition is fulfilled.
Expand Down

0 comments on commit 2d89793

Please sign in to comment.