Dane Sabo
08e01cbcb7
A Writing/ERLM/SaboMOS.pdf M Writing/ERLM/dane_proposal_format.cls A Writing/ERLM/main.aux A Writing/ERLM/main.fdb_latexmk A Writing/ERLM/main.fls A Writing/ERLM/main.log A Writing/ERLM/main.pdf A Writing/ERLM/main.synctex.gz
23 lines
1.8 KiB
TeX
23 lines
1.8 KiB
TeX
\relax
|
|
\bibstyle{unsrt}
|
|
\providecommand \oddpage@label [2]{}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {1}Goals and Outcomes}{1}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{2}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {section}{\numberline {3}Research Approach}{2}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}$(Procedures \wedge FRET) \rightarrow Temporal Specifications$}{3}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}$(TemporalLogic \wedge ReactiveSynthesis) \rightarrow DiscreteAutomata$}{4}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}$(DiscreteAutomata \wedge ControlTheory \wedge Reachability) \rightarrow ContinuousModes$}{5}{}\protected@file@percent }
|
|
\citation{eia_lcoe_2022}
|
|
\citation{eesi_datacenter_2024}
|
|
\citation{eia_lcoe_2022}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Broader Impacts}{7}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {section}{\numberline {4}Metrics for Success}{8}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{9}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{9}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{9}{}\protected@file@percent }
|
|
\bibdata{references}
|
|
\bibcite{eia_lcoe_2022}{1}
|
|
\bibcite{eesi_datacenter_2024}{2}
|
|
\@writefile{toc}{\contentsline {section}{References}{11}{}\protected@file@percent }
|
|
\gdef \@abspage@last{12}
|