SQLITE_NOTICE(283): recovered 5 frames from WAL file /data/mtt.fossil-wal
File mttroot/mtt/lib/examples/Control/SimpleStateSpace/TwoTanks/TwoTanks_rep.tex artifact c0c0a0dc5d part of check-in 4b43bcffa2
\section{\textbf{TwoTanks}: representation \textbf{abg}, language \textbf{tex}} \label{sec:TwoTanks_abg.tex} \index{\textbf{TwoTanks} -- abg} MTT command: \begin{verbatim} mtt TwoTanks abg tex \end{verbatim} \input{/home/peterg/Research/Modelling/Control/StateSpace/TwoTanks/MTT_work/TwoTanks_abg.tex} \section{\textbf{TwoTanks}: representation \textbf{sm}, language \textbf{tex}} \label{sec:TwoTanks_sm.tex} \index{\textbf{TwoTanks} -- sm} MTT command: \begin{verbatim} mtt -o TwoTanks sm tex \end{verbatim} \input{/home/peterg/Research/Modelling/Control/StateSpace/TwoTanks/MTT_work/TwoTanks_sm.tex} \section{\textbf{TwoTanks}: representation \textbf{tf}, language \textbf{tex}} \label{sec:TwoTanks_tf.tex} \index{\textbf{TwoTanks} -- tf} MTT command: \begin{verbatim} mtt -o TwoTanks tf tex \end{verbatim} \input{/home/peterg/Research/Modelling/Control/StateSpace/TwoTanks/MTT_work/TwoTanks_tf.tex} \section{\textbf{TwoTanks}: representation \textbf{smc}, language \textbf{tex}} \label{sec:TwoTanks_smc.tex} \index{\textbf{TwoTanks} -- smc} MTT command: \begin{verbatim} mtt -o TwoTanks smc tex \end{verbatim} \input{/home/peterg/Research/Modelling/Control/StateSpace/TwoTanks/MTT_work/TwoTanks_smc.tex} \section{\textbf{TwoTanks}: representation \textbf{ssk}, language \textbf{tex}} \label{sec:TwoTanks_ssk.tex} \index{\textbf{TwoTanks} -- ssk} MTT command: \begin{verbatim} mtt -o TwoTanks ssk tex \end{verbatim} \input{/home/peterg/Research/Modelling/Control/StateSpace/TwoTanks/MTT_work/TwoTanks_ssk.tex} \section{\textbf{TwoTanks}: representation \textbf{smo}, language \textbf{tex}} \label{sec:TwoTanks_smo.tex} \index{\textbf{TwoTanks} -- smo} MTT command: \begin{verbatim} mtt -o TwoTanks smo tex \end{verbatim} \input{/home/peterg/Research/Modelling/Control/StateSpace/TwoTanks/MTT_work/TwoTanks_smo.tex} \section{\textbf{TwoTanks}: representation \textbf{ssl}, language \textbf{tex}} \label{sec:TwoTanks_ssl.tex} \index{\textbf{TwoTanks} -- ssl} MTT command: \begin{verbatim} mtt -o TwoTanks ssl tex \end{verbatim} \input{/home/peterg/Research/Modelling/Control/StateSpace/TwoTanks/MTT_work/TwoTanks_ssl.tex}