danesabo/Thesis
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix two LaTeX errors: remove itemize from dasinline (line 429), remove stray brace (line 673)

Browse Source
This commit is contained in:
Split 2026-03-17 14:56:24 -04:00
parent 96af36972f
commit f1691e24c4
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
3-research-approach/approach.tex
View File

@ -421,12 +421,9 @@ We classify continuous controllers into three types based on their objectives:
transitory, stabilizing, and expulsory. Each type has distinct verification transitory, stabilizing, and expulsory. Each type has distinct verification
requirements that determine which formal methods tools are appropriate. requirements that determine which formal methods tools are appropriate.
\dasinline{ \dasinline{(1) Add figure showing the relationship between entry/exit/safety
\begin{itemize} sets. (2) Mention assume-guarantee compositional stuff and how that fits in
\item Add figure showing the relationship between entry/exit/safety sets here.}
\item Mention assume guarantee compositional stuff and how that fits in here
\end{itemize}
}
\subsubsection{Transitory Modes} \subsubsection{Transitory Modes}
@ -673,7 +670,7 @@ The Emerson collaboration strengthens this work in two ways. Access to
system experts at Emerson ensures that implementation details of the Ovation system experts at Emerson ensures that implementation details of the Ovation
platform are handled correctly. Direct industry collaboration also provides an platform are handled correctly. Direct industry collaboration also provides an
immediate pathway for technology transfer and alignment with practical immediate pathway for technology transfer and alignment with practical
deployment requirements.}\splitnote{Kapuria 2025 validates hybrid control on deployment requirements.\splitnote{Kapuria 2025 validates hybrid control on
SmAHTR: formal verification (d$\mathcal{L}$ + reachability, pp.37-70) proved SmAHTR: formal verification (d$\mathcal{L}$ + reachability, pp.37-70) proved
safe PHX maintenance scenario, then Simulink demo confirmed (pp.70-72). This safe PHX maintenance scenario, then Simulink demo confirmed (pp.70-72). This
two-tier approach (formal proof + simulation validation) strengthens your two-tier approach (formal proof + simulation validation) strengthens your