From 84bea5ff431cce6de90abebe6a474ff4015f3e3f Mon Sep 17 00:00:00 2001 From: Hans Olsson Date: Mon, 19 Jun 2023 10:16:00 +0200 Subject: [PATCH] Update chapters/synchronous.tex Co-authored-by: Henrik Tidefelt --- chapters/synchronous.tex | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index 3e27d40ea..578b14c55 100644 --- a/chapters/synchronous.tex +++ b/chapters/synchronous.tex @@ -1135,7 +1135,14 @@ \subsection{Clocked and Discretized Partitions}\label{clocked-discrete-time-and- Previously, clocked partition was refered to as \emph{clocked discrete-time partition}, and discretized partition as \emph{clocked discretized continuous-time partition}. \end{nonnormative} -If a partition that is not continuous-time contains no operator \lstinline!der!, \lstinline!delay!, \lstinline!spatialDistribution!, no event related operators from \cref{event-related-operators-with-function-syntax} (with exception of \lstinline!noEvent! and \lstinline!smooth!), and no \lstinline!when!-clause with a \lstinline!Boolean! condition, it is a \firstuse[clocked!partition]{clocked}\index{partition!clocked} partition. +If a partition that is not continuous-time contains any of the operators \lstinline!der!, \lstinline!delay!, \lstinline!spatialDistribution!, or event related operators from \cref{event-related-operators-with-function-syntax} (with exception of \lstinline!noEvent! and \lstinline!smooth!), or contains a \lstinline!when!-clause with a \lstinline!Boolean! condition, it is a \firstuse[discretized!partition]{discretized}\index{partition!discretized} partition. +Otherwise, it is a \firstuse[clocked!partition]{clocked}\index{partition!clocked} partition. + +\begin{nonnormative} +That is, a clocked partition is a standard sampled data system described by difference equations. +\end{nonnormative} + +A discretized partition has to be solved with a \emph{solver method} of \cref{solver-methods}. \begin{nonnormative} That is, the clocked partition is a standard sampled data system that is described by difference equations.