diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index 33b329640..d2899a2a0 100644 --- a/chapters/synchronous.tex +++ b/chapters/synchronous.tex @@ -207,7 +207,7 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl \begin{figure}[H] \begin{center} - \includegraphics[width=3in]{piecewise} + \includegraphics{piecewise-constant} \end{center} \caption{A piecewise-constant variable.}\doublelabel{fig:piecewise-constant-variable} \end{figure} @@ -228,7 +228,7 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl \begin{figure}[H] \begin{center} - \includegraphics[width=3in]{clock} + \includegraphics{clock} \end{center} \caption{A clock variable. The value of a clock variable is not defined --- the plot marks only indicate \emph{when} the clock is active.}\doublelabel{fig:clock-variable} \end{figure} @@ -244,7 +244,7 @@ \subsection{Clocks and Clocked Variables}\doublelabel{clocks-and-clocked-variabl \begin{figure}[H] \begin{center} - \includegraphics[width=3in]{clocked} + \includegraphics{clocked} \end{center} \caption{A clocked variable. The \lstinline!hold! extrapolation of the value at the last event instant is illustrated with dashed green lines.}\doublelabel{fig:clocked-variable} \end{figure} diff --git a/media/clock.pdf b/media/clock.pdf index 3b3fe6395..0e8467045 100644 Binary files a/media/clock.pdf and b/media/clock.pdf differ diff --git a/media/clock.svg b/media/clock.svg new file mode 100644 index 000000000..489d2fea8 --- /dev/null +++ b/media/clock.svg @@ -0,0 +1,286 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/media/clocked.pdf b/media/clocked.pdf index 3de47a177..02908ba23 100644 Binary files a/media/clocked.pdf and b/media/clocked.pdf differ diff --git a/media/clocked.svg b/media/clocked.svg new file mode 100644 index 000000000..db8eb457c --- /dev/null +++ b/media/clocked.svg @@ -0,0 +1,355 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/media/piecewise-constant.pdf b/media/piecewise-constant.pdf new file mode 100644 index 000000000..119315895 Binary files /dev/null and b/media/piecewise-constant.pdf differ diff --git a/media/piecewise-constant.svg b/media/piecewise-constant.svg new file mode 100644 index 000000000..e0e29c28a --- /dev/null +++ b/media/piecewise-constant.svg @@ -0,0 +1,368 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/media/piecewise.pdf b/media/piecewise.pdf deleted file mode 100644 index 26ba556c4..000000000 Binary files a/media/piecewise.pdf and /dev/null differ diff --git a/media/piecewise.png b/media/piecewise.png deleted file mode 100644 index 6ef333b41..000000000 Binary files a/media/piecewise.png and /dev/null differ