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

Adjust edit mode margins: wider note column, denser text

Browse Source 
- hoffset: -0.5in (shift left)
- textwidth: 5in (denser text)
- marginparwidth: 5cm (2x original, for wider notes)
- marginparsep: 0.3cm (tighter gap)

Layout now: ~60% text left, ~40% comment margin right
This commit is contained in:
Split 2026-03-09 21:53:21 -04:00
parent 623f760084
commit 1963233316
7 changed files with 332 additions and 296 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

346
main.aux
View File

@ -1,103 +1,103 @@
\relax \relax
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong, direct opening. Sets scope immediately.}{i}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong, direct opening. Sets scope immediately.}{i}{}\protected@file@percent }
\pgfsyspdfmark {pgfid1}{10005341}{44941311} \pgfsyspdfmark {pgfid1}{12703339}{44941311}
\pgfsyspdfmark {pgfid4}{33755687}{44915575} \pgfsyspdfmark {pgfid4}{31254300}{44915575}
\pgfsyspdfmark {pgfid5}{36070152}{44675891} \pgfsyspdfmark {pgfid5}{35899615}{44675891}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ Consider: ``operators'' appears 3x in two sentences. Maybe: ``Based on these procedures and their interpretation of plant conditions, they make critical decisions...''}{i}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ Consider: ``operators'' appears 3x in two sentences. Maybe: ``Based on these procedures and their interpretation of plant conditions, they make critical decisions...''}{i}{}\protected@file@percent }
\pgfsyspdfmark {pgfid6}{15536702}{41140223} \pgfsyspdfmark {pgfid6}{24172130}{41140223}
\pgfsyspdfmark {pgfid9}{33755687}{40539187} \pgfsyspdfmark {pgfid9}{31254300}{41114487}
\pgfsyspdfmark {pgfid10}{36070152}{40299503} \pgfsyspdfmark {pgfid10}{35899615}{40874803}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ ``But, reliance'' — the comma after ``But'' is unusual. Either drop it or restructure: ``However, this reliance...'' or ``This reliance, however, has created...''}{i}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ ``But, reliance'' — the comma after ``But'' is unusual. Either drop it or restructure: ``However, this reliance...'' or ``This reliance, however, has created...''}{i}{}\protected@file@percent }
\pgfsyspdfmark {pgfid11}{24132805}{40189951} \pgfsyspdfmark {pgfid11}{12694016}{39239679}
\pgfsyspdfmark {pgfid14}{33755687}{26505721} \pgfsyspdfmark {pgfid14}{31254300}{34211341}
\pgfsyspdfmark {pgfid15}{36070152}{26266037} \pgfsyspdfmark {pgfid15}{35899615}{33971657}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ ``are needed that can'' — passive. Try: ``Autonomous control systems must safely manage...''}{i}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ ``are needed that can'' — passive. Try: ``Autonomous control systems must safely manage...''}{i}{}\protected@file@percent }
\pgfsyspdfmark {pgfid16}{11376844}{36388863} \pgfsyspdfmark {pgfid16}{9008701}{35438591}
\pgfsyspdfmark {pgfid19}{33755687}{13363545} \pgfsyspdfmark {pgfid19}{31254300}{28106555}
\pgfsyspdfmark {pgfid20}{36070152}{13123861} \pgfsyspdfmark {pgfid20}{35899615}{27866871}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear statement of approach.}{i}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear statement of approach.}{i}{}\protected@file@percent }
\pgfsyspdfmark {pgfid21}{30785862}{34488319} \pgfsyspdfmark {pgfid21}{8902520}{32587775}
\pgfsyspdfmark {pgfid24}{33755687}{5421997} \pgfsyspdfmark {pgfid24}{31254300}{23730167}
\pgfsyspdfmark {pgfid25}{36070152}{5182313} \pgfsyspdfmark {pgfid25}{35899615}{23490483}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Nice parallel structure showing the gap.}{i}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Nice parallel structure showing the gap.}{i}{}\protected@file@percent }
\pgfsyspdfmark {pgfid26}{19909561}{29736959} \pgfsyspdfmark {pgfid26}{11177092}{27836415}
\pgfsyspdfmark {pgfid29}{33755687}{1936899} \pgfsyspdfmark {pgfid29}{31254300}{22027649}
\pgfsyspdfmark {pgfid30}{36070152}{1697215} \pgfsyspdfmark {pgfid30}{35899615}{21787965}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ This paragraph is dense. Consider breaking after the three stages, then a new paragraph for the compositional verification point and Emerson demo.}{i}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ This paragraph is dense. Consider breaking after the three stages, then a new paragraph for the compositional verification point and Emerson demo.}{i}{}\protected@file@percent }
\pgfsyspdfmark {pgfid31}{29147912}{16433151} \pgfsyspdfmark {pgfid31}{4749422}{12632063}
\pgfsyspdfmark {pgfid34}{33755687}{-2439489} \pgfsyspdfmark {pgfid34}{31254300}{12606327}
\pgfsyspdfmark {pgfid35}{36070152}{-2679173} \pgfsyspdfmark {pgfid35}{35899615}{12366643}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ ``can be used for'' — weak. Try: ``...will demonstrate that autonomous control can manage complex nuclear power operations while maintaining safety guarantees.'' Or even stronger: ``...enables autonomous management of complex nuclear power operations with safety guarantees.''}{i}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ ``can be used for'' — weak. Try: ``...will demonstrate that autonomous control can manage complex nuclear power operations while maintaining safety guarantees.'' Or even stronger: ``...enables autonomous management of complex nuclear power operations with safety guarantees.''}{i}{}\protected@file@percent }
\pgfsyspdfmark {pgfid36}{21883461}{14532607} \pgfsyspdfmark {pgfid36}{26033217}{11681791}
\pgfsyspdfmark {pgfid39}{33755687}{-14690375} \pgfsyspdfmark {pgfid39}{31254300}{6594471}
\pgfsyspdfmark {pgfid40}{36070152}{-14930059} \pgfsyspdfmark {pgfid40}{35899615}{6354787}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good practical framing — emphasizes accessibility.}{i}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good practical framing — emphasizes accessibility.}{ii}{}\protected@file@percent }
\pgfsyspdfmark {pgfid41}{27551156}{7225343} \pgfsyspdfmark {pgfid41}{14318560}{45891583}
\pgfsyspdfmark {pgfid44}{33755687}{-38528031} \pgfsyspdfmark {pgfid44}{31254300}{45865847}
\pgfsyspdfmark {pgfid45}{36070152}{-38767715} \pgfsyspdfmark {pgfid45}{35899615}{45626163}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong industrial grounding — the ``platforms they already use'' point is compelling for adoption.}{ii}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong industrial grounding — the ``platforms they already use'' point is compelling for adoption.}{ii}{}\protected@file@percent }
\pgfsyspdfmark {pgfid46}{15325447}{39239679} \pgfsyspdfmark {pgfid46}{6062694}{33538047}
\pgfsyspdfmark {pgfid49}{33755687}{39213943} \pgfsyspdfmark {pgfid49}{31254300}{33512311}
\pgfsyspdfmark {pgfid50}{36070152}{38974259} \pgfsyspdfmark {pgfid50}{35899615}{33272627}
\@writefile{toc}{\contentsline {section}{Contents}{iii}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{Contents}{iii}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {1}Goals and Outcomes}{1}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {1}Goals and Outcomes}{1}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear thesis statement. Gets right to it.}{1}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear thesis statement. Gets right to it.}{1}{}\protected@file@percent }
\pgfsyspdfmark {pgfid51}{30597830}{44563390} \pgfsyspdfmark {pgfid51}{7637198}{43613118}
\pgfsyspdfmark {pgfid54}{33755687}{44537654} \pgfsyspdfmark {pgfid54}{31254300}{43587382}
\pgfsyspdfmark {pgfid55}{36070152}{44297970} \pgfsyspdfmark {pgfid55}{35899615}{43347698}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Stakes established immediately — good hook.}{1}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Stakes established immediately — good hook.}{1}{}\protected@file@percent }
\pgfsyspdfmark {pgfid56}{11072977}{41712574} \pgfsyspdfmark {pgfid56}{12512020}{40762302}
\pgfsyspdfmark {pgfid59}{33755687}{40308378} \pgfsyspdfmark {pgfid59}{31254300}{40736566}
\pgfsyspdfmark {pgfid60}{36070152}{40068694} \pgfsyspdfmark {pgfid60}{35899615}{40496882}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ The ``and'' here joins two distinct issues (autonomy barrier + economics). Consider making the causal link explicit: ``This reliance on human operators not only prevents autonomous control capabilities but also creates...'' or split into two sentences.}{1}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ The ``and'' here joins two distinct issues (autonomy barrier + economics). Consider making the causal link explicit: ``This reliance on human operators not only prevents autonomous control capabilities but also creates...'' or split into two sentences.}{1}{}\protected@file@percent }
\pgfsyspdfmark {pgfid61}{19272391}{36010942} \pgfsyspdfmark {pgfid61}{7381388}{34110398}
\pgfsyspdfmark {pgfid64}{33755687}{35931990} \pgfsyspdfmark {pgfid64}{31254300}{34084662}
\pgfsyspdfmark {pgfid65}{36070152}{35692306} \pgfsyspdfmark {pgfid65}{35899615}{33844978}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ ``What is needed is'' — Gopen would call this a weak topic position. The sentence buries the subject. Try: ``Autonomous control systems must safely manage complex operational sequences...'' Puts the actor in the topic position.}{1}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ ``What is needed is'' — Gopen would call this a weak topic position. The sentence buries the subject. Try: ``Autonomous control systems must safely manage complex operational sequences...'' Puts the actor in the topic position.}{1}{}\protected@file@percent }
\pgfsyspdfmark {pgfid66}{20791156}{31259582} \pgfsyspdfmark {pgfid66}{23610026}{29359038}
\pgfsyspdfmark {pgfid69}{33755687}{14768204} \pgfsyspdfmark {pgfid69}{31254300}{24507646}
\pgfsyspdfmark {pgfid70}{36070152}{14528520} \pgfsyspdfmark {pgfid70}{35899615}{24267962}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Excellent setup of the gap — shows why neither approach alone is sufficient.}{1}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Excellent setup of the gap — shows why neither approach alone is sufficient.}{1}{}\protected@file@percent }
\pgfsyspdfmark {pgfid71}{7117565}{23657406} \pgfsyspdfmark {pgfid71}{5491809}{20806590}
\pgfsyspdfmark {pgfid74}{33755687}{-3868824} \pgfsyspdfmark {pgfid74}{31254300}{15674808}
\pgfsyspdfmark {pgfid75}{36070152}{-4108508} \pgfsyspdfmark {pgfid75}{35899615}{15435124}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Hypothesis is clear and testable.}{1}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Hypothesis is clear and testable.}{1}{}\protected@file@percent }
\pgfsyspdfmark {pgfid76}{16705748}{18906046} \pgfsyspdfmark {pgfid76}{4791893}{15104958}
\pgfsyspdfmark {pgfid79}{33755687}{-10771970} \pgfsyspdfmark {pgfid79}{31254300}{12336822}
\pgfsyspdfmark {pgfid80}{36070152}{-11011654} \pgfsyspdfmark {pgfid80}{35899615}{12097138}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ This qualifications paragraph feels orphaned here. It's important context but reads as an afterthought. Consider integrating it into the approach paragraph (``...demonstrated on Emerson hardware through our partnership with the Cyber Energy Center'') or moving to a ``Why This Will Succeed'' framing later.}{1}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ This qualifications paragraph feels orphaned here. It's important context but reads as an afterthought. Consider integrating it into the approach paragraph (``...demonstrated on Emerson hardware through our partnership with the Cyber Energy Center'') or moving to a ``Why This Will Succeed'' framing later.}{1}{}\protected@file@percent }
\pgfsyspdfmark {pgfid81}{30785862}{14154686} \pgfsyspdfmark {pgfid81}{10973961}{10353598}
\pgfsyspdfmark {pgfid84}{33755687}{-14109956} \pgfsyspdfmark {pgfid84}{31254300}{9890126}
\pgfsyspdfmark {pgfid85}{36070152}{-14349640} \pgfsyspdfmark {pgfid85}{35899615}{9650442}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ ``cold shutdown through criticality to power operation'' — concrete and impressive scope.}{2}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ ``cold shutdown through criticality to power operation'' — concrete and impressive scope.}{2}{}\protected@file@percent }
\pgfsyspdfmark {pgfid86}{22235661}{34488319} \pgfsyspdfmark {pgfid86}{9648007}{27836415}
\pgfsyspdfmark {pgfid89}{33755687}{34462583} \pgfsyspdfmark {pgfid89}{31254300}{27810679}
\pgfsyspdfmark {pgfid90}{36070152}{34222899} \pgfsyspdfmark {pgfid90}{35899615}{27570995}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear ``what's new'' statement.}{2}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear ``what's new'' statement.}{2}{}\protected@file@percent }
\pgfsyspdfmark {pgfid91}{27214487}{28884991} \pgfsyspdfmark {pgfid91}{4050292}{21282815}
\pgfsyspdfmark {pgfid94}{33755687}{25629745} \pgfsyspdfmark {pgfid94}{31254300}{21257079}
\pgfsyspdfmark {pgfid95}{36070152}{25390061} \pgfsyspdfmark {pgfid95}{35899615}{21017395}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong closing — ties technical work to real-world impact and economic necessity.}{2}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong closing — ties technical work to real-world impact and economic necessity.}{2}{}\protected@file@percent }
\pgfsyspdfmark {pgfid96}{18188851}{21282815} \pgfsyspdfmark {pgfid96}{18900337}{13680639}
\pgfsyspdfmark {pgfid99}{33755687}{21257079} \pgfsyspdfmark {pgfid99}{31254300}{13654903}
\pgfsyspdfmark {pgfid100}{36070152}{21017395} \pgfsyspdfmark {pgfid100}{35899615}{13415219}
\citation{NUREG-0899,10CFR50.34} \citation{NUREG-0899,10CFR50.34}
\citation{10CFR55.59} \citation{10CFR55.59}
\citation{WRPS.Description,gentillon_westinghouse_1999} \citation{WRPS.Description,gentillon_westinghouse_1999}
\@writefile{toc}{\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{3}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{3}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good roadmap — tells reader exactly what's coming.}{3}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good roadmap — tells reader exactly what's coming.}{3}{}\protected@file@percent }
\pgfsyspdfmark {pgfid101}{13036184}{40762302} \pgfsyspdfmark {pgfid101}{21980756}{40762302}
\pgfsyspdfmark {pgfid104}{33755687}{40736566} \pgfsyspdfmark {pgfid104}{31254300}{40736566}
\pgfsyspdfmark {pgfid105}{36070152}{40496882} \pgfsyspdfmark {pgfid105}{35899615}{40496882}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Current Reactor Procedures and Operation}{3}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Current Reactor Procedures and Operation}{3}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ This paragraph is doing a lot. Consider splitting: first paragraph on the hierarchy and compliance, second on the lack of formal verification. The ``No mathematical proof exists...'' sentence is powerful and deserves emphasis.}{3}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ This paragraph is doing a lot. Consider splitting: first paragraph on the hierarchy and compliance, second on the lack of formal verification. The ``No mathematical proof exists...'' sentence is powerful and deserves emphasis.}{3}{}\protected@file@percent }
\pgfsyspdfmark {pgfid106}{17724053}{25831016} \pgfsyspdfmark {pgfid106}{20423612}{24880744}
\pgfsyspdfmark {pgfid109}{33755687}{25805280} \pgfsyspdfmark {pgfid109}{31254300}{24855008}
\pgfsyspdfmark {pgfid110}{36070152}{25565596} \pgfsyspdfmark {pgfid110}{35899615}{24615324}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ This repeats the ``No mathematical proof exists...'' sentence almost verbatim from the paragraph above. Either cut it from the paragraph or from the LIMITATION box.}{3}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ This repeats the ``No mathematical proof exists...'' sentence almost verbatim from the paragraph above. Either cut it from the paragraph or from the LIMITATION box.}{3}{}\protected@file@percent }
\pgfsyspdfmark {pgfid111}{27570105}{19179112} \pgfsyspdfmark {pgfid111}{13626615}{17278568}
\pgfsyspdfmark {pgfid114}{33755687}{7168252} \pgfsyspdfmark {pgfid114}{31254300}{16022170}
\pgfsyspdfmark {pgfid115}{36070152}{6928568} \pgfsyspdfmark {pgfid115}{35899615}{15782486}
\citation{operator_statistics} \citation{operator_statistics}
\citation{10CFR55} \citation{10CFR55}
\citation{10CFR50.54} \citation{10CFR50.54}
@ -107,124 +107,124 @@
\citation{zhang_analysis_2025} \citation{zhang_analysis_2025}
\citation{Kiniry2024} \citation{Kiniry2024}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ This is the key insight — the hybrid nature is already there, just not formally verified.}{4}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ This is the key insight — the hybrid nature is already there, just not formally verified.}{4}{}\protected@file@percent }
\pgfsyspdfmark {pgfid116}{29333260}{45891583} \pgfsyspdfmark {pgfid116}{14097656}{42090495}
\pgfsyspdfmark {pgfid119}{33755687}{45865847} \pgfsyspdfmark {pgfid119}{31254300}{42064759}
\pgfsyspdfmark {pgfid120}{36070152}{45626163} \pgfsyspdfmark {pgfid120}{35899615}{41825075}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Human Factors in Nuclear Accidents}{4}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Human Factors in Nuclear Accidents}{4}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong thesis for this subsection.}{4}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong thesis for this subsection.}{4}{}\protected@file@percent }
\pgfsyspdfmark {pgfid121}{27354523}{35711657} \pgfsyspdfmark {pgfid121}{5927496}{30010025}
\pgfsyspdfmark {pgfid124}{33755687}{35685921} \pgfsyspdfmark {pgfid124}{31254300}{29984289}
\pgfsyspdfmark {pgfid125}{36070152}{35446237} \pgfsyspdfmark {pgfid125}{35899615}{29744605}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ ``the person responsible for reactor safety is often the root cause of failures'' — devastating summary. Very effective.}{4}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ ``the person responsible for reactor safety is often the root cause of failures'' — devastating summary. Very effective.}{4}{}\protected@file@percent }
\pgfsyspdfmark {pgfid126}{24580098}{26208937} \pgfsyspdfmark {pgfid126}{4915358}{19557033}
\pgfsyspdfmark {pgfid129}{33755687}{26183201} \pgfsyspdfmark {pgfid129}{31254300}{19531297}
\pgfsyspdfmark {pgfid130}{36070152}{25943517} \pgfsyspdfmark {pgfid130}{35899615}{19291613}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong empirical grounding. The Chinese plant data is a nice addition — shows this isn't just a Western regulatory perspective.}{4}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Strong empirical grounding. The Chinese plant data is a nice addition — shows this isn't just a Western regulatory perspective.}{4}{}\protected@file@percent }
\pgfsyspdfmark {pgfid131}{11564802}{17656489} \pgfsyspdfmark {pgfid131}{4609444}{10054313}
\pgfsyspdfmark {pgfid134}{33755687}{16604393} \pgfsyspdfmark {pgfid134}{31254300}{10028577}
\pgfsyspdfmark {pgfid135}{36070152}{16364709} \pgfsyspdfmark {pgfid135}{35899615}{9788893}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Well-stated. The ``four decades'' point drives it home.}{4}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Well-stated. The ``four decades'' point drives it home.}{4}{}\protected@file@percent }
\pgfsyspdfmark {pgfid136}{24906501}{13855401} \pgfsyspdfmark {pgfid136}{4792689}{5302953}
\pgfsyspdfmark {pgfid139}{33755687}{5097685} \pgfsyspdfmark {pgfid139}{31254300}{4760899}
\pgfsyspdfmark {pgfid140}{36070152}{4858001} \pgfsyspdfmark {pgfid140}{35899615}{4521215}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Formal Methods}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.1}HARDENS}{4}{}\protected@file@percent }
\citation{Kiniry2024} \citation{Kiniry2024}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Formal Methods}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.1}HARDENS}{5}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good technical depth on HARDENS toolchain.}{5}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good technical depth on HARDENS toolchain.}{5}{}\protected@file@percent }
\pgfsyspdfmark {pgfid141}{22013224}{31637503} \pgfsyspdfmark {pgfid141}{20999294}{21457577}
\pgfsyspdfmark {pgfid144}{33755687}{31611767} \pgfsyspdfmark {pgfid144}{31254300}{21431841}
\pgfsyspdfmark {pgfid145}{36070152}{31372083} \pgfsyspdfmark {pgfid145}{35899615}{21192157}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear articulation of the gap your work fills.}{5}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear articulation of the gap your work fills.}{5}{}\protected@file@percent }
\pgfsyspdfmark {pgfid146}{23378487}{22134783} \pgfsyspdfmark {pgfid146}{23128957}{11004585}
\pgfsyspdfmark {pgfid149}{33755687}{22109047} \pgfsyspdfmark {pgfid149}{31254300}{10978849}
\pgfsyspdfmark {pgfid150}{36070152}{21869363} \pgfsyspdfmark {pgfid150}{35899615}{10739165}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.2}Sequent Calculus and Differential Dynamic Logic}{6}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.2}Sequent Calculus and Differential Dynamic Logic}{6}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{red!40}{\textcolor {red!40}{o}}\ Typo: ``ivariant'' should be ``invariant''}{6}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{red!40}{\textcolor {red!40}{o}}\ Typo: ``ivariant'' should be ``invariant''}{6}{}\protected@file@percent }
\pgfsyspdfmark {pgfid151}{19651738}{35711657} \pgfsyspdfmark {pgfid151}{4749422}{20507305}
\pgfsyspdfmark {pgfid154}{33755687}{35685921} \pgfsyspdfmark {pgfid154}{31254300}{20481569}
\pgfsyspdfmark {pgfid155}{36070152}{35446237} \pgfsyspdfmark {pgfid155}{35899615}{20241885}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ Consider adding a concrete example here — ``For instance, a system with N modes and M continuous state variables...'' to give readers a sense of the scaling problem.}{6}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ Consider adding a concrete example here — ``For instance, a system with N modes and M continuous state variables...'' to give readers a sense of the scaling problem.}{6}{}\protected@file@percent }
\pgfsyspdfmark {pgfid156}{11704839}{28109481} \pgfsyspdfmark {pgfid156}{18750152}{12905129}
\pgfsyspdfmark {pgfid159}{33755687}{28083745} \pgfsyspdfmark {pgfid159}{31254300}{12879393}
\pgfsyspdfmark {pgfid160}{36070152}{27844061} \pgfsyspdfmark {pgfid160}{35899615}{12639709}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ ``but are far from a complete methodology to design systems with'' — awkward ending preposition. Try: ``but remain far from a complete design methodology'' or ``but do not yet constitute a complete design methodology.''}{6}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ ``but are far from a complete methodology to design systems with'' — awkward ending preposition. Try: ``but remain far from a complete design methodology'' or ``but do not yet constitute a complete design methodology.''}{6}{}\protected@file@percent }
\pgfsyspdfmark {pgfid161}{22592676}{26208937} \pgfsyspdfmark {pgfid161}{8940582}{10054313}
\pgfsyspdfmark {pgfid164}{33755687}{13903167} \pgfsyspdfmark {pgfid164}{31254300}{5829135}
\pgfsyspdfmark {pgfid165}{36070152}{13663483} \pgfsyspdfmark {pgfid165}{35899615}{5589451}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Your comment here is spot-on. You should add a LIMITATION box: \textit {Differential dynamic logic has been used for post-hoc analysis of existing systems, not for the constructive design of autonomous controllers.} This is exactly the gap you're filling — you're doing synthesis, not just verification.}{6}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Your comment here is spot-on. You should add a LIMITATION box: \textit {Differential dynamic logic has been used for post-hoc analysis of existing systems, not for the constructive design of autonomous controllers.} This is exactly the gap you're filling — you're doing synthesis, not just verification.}{6}{}\protected@file@percent }
\pgfsyspdfmark {pgfid166}{17744690}{21847466} \pgfsyspdfmark {pgfid166}{14192475}{45403152}
\citation{HANDBOOK ON HYBRID SYSTEMS} \citation{HANDBOOK ON HYBRID SYSTEMS}
\@writefile{toc}{\contentsline {section}{\numberline {3}Research Approach}{7}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {3}Research Approach}{8}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ Missing space before ``Our}{7}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ Missing space before ``Our}{8}{}\protected@file@percent }
\pgfsyspdfmark {pgfid167}{10825988}{33160126} \pgfsyspdfmark {pgfid167}{21351522}{32209854}
\pgfsyspdfmark {pgfid170}{33755687}{33134390} \pgfsyspdfmark {pgfid170}{31254300}{32184118}
\pgfsyspdfmark {pgfid171}{36070152}{32894706} \pgfsyspdfmark {pgfid171}{35899615}{31944434}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Simplified hybrid automaton for reactor startup. Each discrete state $q_i$ has associated continuous dynamics $f_i$. Guard conditions on transitions (e.g., $T_{avg} > T_{min}$) are predicates over continuous state. Invariant violations ($\neg Inv_i$) trigger transitions to the SCRAM state. The operational level manages discrete transitions; the tactical level executes continuous control within each mode.}}{8}{}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Simplified hybrid automaton for reactor startup. Each discrete state $q_i$ has associated continuous dynamics $f_i$. Guard conditions on transitions (e.g., $T_{avg} > T_{min}$) are predicates over continuous state. Invariant violations ($\neg Inv_i$) trigger transitions to the SCRAM state. The operational level manages discrete transitions; the tactical level executes continuous control within each mode.}}{9}{}\protected@file@percent }
\newlabel{fig:hybrid_automaton}{{1}{8}{Research Approach}{figure.1}{}} \newlabel{fig:hybrid_automaton}{{1}{9}{Research Approach}{figure.1}{}}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ This is your key insight — the novelty is compositional, not component-level.}{8}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ This is your key insight — the novelty is compositional, not component-level.}{9}{}\protected@file@percent }
\pgfsyspdfmark {pgfid172}{21716682}{23775512} \pgfsyspdfmark {pgfid172}{5905037}{17221912}
\pgfsyspdfmark {pgfid175}{33755687}{23749776} \pgfsyspdfmark {pgfid175}{31254300}{17196176}
\pgfsyspdfmark {pgfid176}{36070152}{23510092} \pgfsyspdfmark {pgfid176}{35899615}{16956492}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}System Requirements, Specifications, and Discrete Controllers}{8}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.1}System Requirements, Specifications, and Discrete Controllers}{9}{}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Control scope hierarchy in nuclear power operations. Strategic control (long-term planning) remains with human management. HAHACS addresses the operational level (discrete mode switching) and tactical level (continuous control within modes), which together form a hybrid control system.}}{9}{}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Control scope hierarchy in nuclear power operations. Strategic control (long-term planning) remains with human management. HAHACS addresses the operational level (discrete mode switching) and tactical level (continuous control within modes), which together form a hybrid control system.}}{10}{}\protected@file@percent }
\newlabel{fig:strat_op_tact}{{2}{9}{System Requirements, Specifications, and Discrete Controllers}{figure.2}{}} \newlabel{fig:strat_op_tact}{{2}{10}{System Requirements, Specifications, and Discrete Controllers}{figure.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Continuous Control Modes}{11}{}\protected@file@percent }
\citation{MANYUS THESIS} \citation{MANYUS THESIS}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ This three-mode taxonomy is elegant — maps verification tools to control objectives cleanly.}{12}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Continuous Control Modes}{13}{}\protected@file@percent }
\pgfsyspdfmark {pgfid179}{16597916}{12329325} \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ This three-mode taxonomy is elegant — maps verification tools to control objectives cleanly.}{14}{}\protected@file@percent }
\pgfsyspdfmark {pgfid182}{33755687}{12303589} \pgfsyspdfmark {pgfid179}{15985073}{33177599}
\pgfsyspdfmark {pgfid183}{36070152}{12063905} \pgfsyspdfmark {pgfid182}{31254300}{33151863}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}Transitory Modes}{12}{}\protected@file@percent } \pgfsyspdfmark {pgfid183}{35899615}{32912179}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2}Stabilizing Modes}{13}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}Transitory Modes}{14}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3}Expulsory Modes}{14}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2}Stabilizing Modes}{15}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Industrial Implementation}{15}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3}Expulsory Modes}{16}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{red!40}{\textcolor {red!40}{o}}\ Typo: ``excess should be ``access}{15}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Industrial Implementation}{17}{}\protected@file@percent }
\pgfsyspdfmark {pgfid184}{16922734}{5204649} \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{red!40}{\textcolor {red!40}{o}}\ Typo: ``excess should be ``access}{17}{}\protected@file@percent }
\pgfsyspdfmark {pgfid187}{33755687}{5178913} \pgfsyspdfmark {pgfid184}{25258844}{17656489}
\pgfsyspdfmark {pgfid188}{36070152}{4939229} \pgfsyspdfmark {pgfid187}{31254300}{17630753}
\@writefile{toc}{\contentsline {section}{\numberline {4}Metrics for Success}{17}{}\protected@file@percent } \pgfsyspdfmark {pgfid188}{35899615}{17391069}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ TRL as primary metric is smart — speaks industry language.}{17}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {4}Metrics for Success}{18}{}\protected@file@percent }
\pgfsyspdfmark {pgfid189}{26292290}{42662846} \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ TRL as primary metric is smart — speaks industry language.}{18}{}\protected@file@percent }
\pgfsyspdfmark {pgfid192}{33755687}{42637110} \pgfsyspdfmark {pgfid189}{6508678}{41712574}
\pgfsyspdfmark {pgfid193}{36070152}{42397426} \pgfsyspdfmark {pgfid192}{31254300}{41686838}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good framing — explains why other metrics are insufficient.}{17}{}\protected@file@percent } \pgfsyspdfmark {pgfid193}{35899615}{41447154}
\pgfsyspdfmark {pgfid194}{20090191}{35060670} \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good framing — explains why other metrics are insufficient.}{18}{}\protected@file@percent }
\pgfsyspdfmark {pgfid197}{33755687}{35034934} \pgfsyspdfmark {pgfid194}{7276206}{33160126}
\pgfsyspdfmark {pgfid198}{36070152}{34795250} \pgfsyspdfmark {pgfid197}{31254300}{33134390}
\@writefile{toc}{\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{17}{}\protected@file@percent } \pgfsyspdfmark {pgfid198}{35899615}{32894706}
\@writefile{toc}{\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{17}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{18}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{18}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{18}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ Consider noting why graded responses are out of scope — is it time, complexity, or scope creep? Brief justification helps.}{18}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{19}{}\protected@file@percent }
\pgfsyspdfmark {pgfid199}{9102038}{33199444} \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{yellow!60}{\textcolor {yellow!60}{o}}\ Consider noting why graded responses are out of scope — is it time, complexity, or scope creep? Brief justification helps.}{19}{}\protected@file@percent }
\pgfsyspdfmark {pgfid202}{33755687}{33173708} \pgfsyspdfmark {pgfid199}{15785403}{27497812}
\pgfsyspdfmark {pgfid203}{36070152}{32934024} \pgfsyspdfmark {pgfid202}{31254300}{27472076}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear success criteria. Committee will know exactly what ``done'' looks like.}{18}{}\protected@file@percent } \pgfsyspdfmark {pgfid203}{35899615}{27232392}
\pgfsyspdfmark {pgfid204}{12395286}{18945364} \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear success criteria. Committee will know exactly what ``done'' looks like.}{19}{}\protected@file@percent }
\pgfsyspdfmark {pgfid207}{33755687}{18919628} \pgfsyspdfmark {pgfid204}{13547172}{12293460}
\pgfsyspdfmark {pgfid208}{36070152}{18679944} \pgfsyspdfmark {pgfid207}{31254300}{12267724}
\@writefile{toc}{\contentsline {section}{\numberline {5}Risks and Contingencies}{19}{}\protected@file@percent } \pgfsyspdfmark {pgfid208}{35899615}{12028040}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Honest acknowledgment of risks with clear contingencies — committee will appreciate this.}{19}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {5}Risks and Contingencies}{20}{}\protected@file@percent }
\pgfsyspdfmark {pgfid209}{20770641}{44563390} \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Honest acknowledgment of risks with clear contingencies — committee will appreciate this.}{20}{}\protected@file@percent }
\pgfsyspdfmark {pgfid212}{33755687}{44537654} \pgfsyspdfmark {pgfid209}{19227927}{44563390}
\pgfsyspdfmark {pgfid213}{36070152}{44297970} \pgfsyspdfmark {pgfid212}{31254300}{44537654}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{19}{}\protected@file@percent } \pgfsyspdfmark {pgfid213}{35899615}{44297970}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Discrete-Continuous Interface Formalization}{19}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{20}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Procedure Formalization Completeness}{21}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Discrete-Continuous Interface Formalization}{20}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Procedure Formalization Completeness}{22}{}\protected@file@percent }
\citation{eia_lcoe_2022} \citation{eia_lcoe_2022}
\citation{eesi_datacenter_2024} \citation{eesi_datacenter_2024}
\citation{eia_lcoe_2022} \citation{eia_lcoe_2022}
\@writefile{toc}{\contentsline {section}{\numberline {6}Broader Impacts}{23}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {6}Broader Impacts}{24}{}\protected@file@percent }
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ ``If it works here, it works anywhere — strong closing argument.}{24}{}\protected@file@percent } \@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ ``If it works here, it works anywhere — strong closing argument.}{25}{}\protected@file@percent }
\pgfsyspdfmark {pgfid214}{24213455}{31637503} \pgfsyspdfmark {pgfid214}{19399794}{25935871}
\pgfsyspdfmark {pgfid217}{33755687}{31611767} \pgfsyspdfmark {pgfid217}{31254300}{25910135}
\pgfsyspdfmark {pgfid218}{36070152}{31372083} \pgfsyspdfmark {pgfid218}{35899615}{25670451}
\bibstyle{ieeetr} \bibstyle{ieeetr}
\bibdata{references} \bibdata{references}
\@writefile{toc}{\contentsline {section}{\numberline {7}Schedule, Milestones, and Deliverables}{25}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {7}Schedule, Milestones, and Deliverables}{26}{}\protected@file@percent }
\gtt@chartextrasize{0}{164.1287pt} \gtt@chartextrasize{0}{164.1287pt}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Project schedule showing major research thrusts, milestones (orange row), and publications (green row). Red diamonds indicate completion points. Overlapping bars indicate parallel work where appropriate.}}{25}{}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Project schedule showing major research thrusts, milestones (orange row), and publications (green row). Red diamonds indicate completion points. Overlapping bars indicate parallel work where appropriate.}}{26}{}\protected@file@percent }
\newlabel{fig:gantt}{{3}{25}{Schedule, Milestones, and Deliverables}{figure.3}{}} \newlabel{fig:gantt}{{3}{26}{Schedule, Milestones, and Deliverables}{figure.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{25}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{26}{}\protected@file@percent }
\bibcite{NUREG-0899}{1} \bibcite{NUREG-0899}{1}
\bibcite{10CFR50.34}{2} \bibcite{10CFR50.34}{2}
\bibcite{10CFR55.59}{3} \bibcite{10CFR55.59}{3}
@ -235,14 +235,14 @@
\bibcite{10CFR50.54}{8} \bibcite{10CFR50.54}{8}
\bibcite{Kemeny1979}{9} \bibcite{Kemeny1979}{9}
\bibcite{WNA2020}{10} \bibcite{WNA2020}{10}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear timeline with publication targets — shows you have a plan.}{27}{}\protected@file@percent }
\pgfsyspdfmark {pgfid220}{4865044}{36388863}
\pgfsyspdfmark {pgfid223}{31254300}{36363127}
\pgfsyspdfmark {pgfid224}{35899615}{36123443}
\@writefile{toc}{\contentsline {section}{References}{27}{}\protected@file@percent }
\bibcite{hogberg_root_2013}{11} \bibcite{hogberg_root_2013}{11}
\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Clear timeline with publication targets — shows you have a plan.}{26}{}\protected@file@percent }
\pgfsyspdfmark {pgfid220}{15051800}{39239679}
\pgfsyspdfmark {pgfid223}{33755687}{39213943}
\pgfsyspdfmark {pgfid224}{36070152}{38974259}
\@writefile{toc}{\contentsline {section}{References}{26}{}\protected@file@percent }
\bibcite{zhang_analysis_2025}{12} \bibcite{zhang_analysis_2025}{12}
\bibcite{Kiniry2024}{13} \bibcite{Kiniry2024}{13}
\bibcite{eia_lcoe_2022}{14} \bibcite{eia_lcoe_2022}{14}
\bibcite{eesi_datacenter_2024}{15} \bibcite{eesi_datacenter_2024}{15}
\gdef \@abspage@last{31} \gdef \@abspage@last{32}

2
main.blg
View File

@ -5,7 +5,7 @@ White space in argument---line 156 of file main.aux
: \citation{HANDBOOK : \citation{HANDBOOK
: ON HYBRID SYSTEMS} : ON HYBRID SYSTEMS}
I'm skipping whatever remains of this command I'm skipping whatever remains of this command
White space in argument---line 172 of file main.aux White space in argument---line 171 of file main.aux
: \citation{MANYUS : \citation{MANYUS
: THESIS} : THESIS}
I'm skipping whatever remains of this command I'm skipping whatever remains of this command

14
main.fdb_latexmk
View File

@ -1,13 +1,13 @@
# Fdb version 4 # Fdb version 4
["bibtex main"] 1773107049.11865 "main.aux" "main.bbl" "main" 1773107049.14627 2 ["bibtex main"] 1773107561.63165 "main.aux" "main.bbl" "main" 1773107561.65922 2
"./references.bib" 1770435796.31586 14069 2a4f74c587187a8a71049043171eb0fe "" "./references.bib" 1770435796.31586 14069 2a4f74c587187a8a71049043171eb0fe ""
"/Users/split/Library/TinyTeX/texmf-dist/bibtex/bst/base/ieeetr.bst" 1292289607 18361 1a00e58565e7f19bf2b3e1bfb82254ae "" "/Users/split/Library/TinyTeX/texmf-dist/bibtex/bst/base/ieeetr.bst" 1292289607 18361 1a00e58565e7f19bf2b3e1bfb82254ae ""
"main.aux" 1773107048.94201 22239 5965f8733374baeb9476cb314eae6831 "pdflatex" "main.aux" 1773107561.44951 22218 1bb1acb1600f0001bf64d25d63460d53 "pdflatex"
(generated) (generated)
"main.bbl" "main.bbl"
"main.blg" "main.blg"
(rewritten before read) (rewritten before read)
["pdflatex"] 1773107046.68698 "main.tex" "main.pdf" "main" 1773107049.14649 0 ["pdflatex"] 1773107559.18064 "main.tex" "main.pdf" "main" 1773107561.65944 0
"/Users/split/Library/TinyTeX/texmf-dist/fonts/enc/dvips/base/8r.enc" 1165713224 4850 80dc9bab7f31fb78a000ccfed0e27cab "" "/Users/split/Library/TinyTeX/texmf-dist/fonts/enc/dvips/base/8r.enc" 1165713224 4850 80dc9bab7f31fb78a000ccfed0e27cab ""
"/Users/split/Library/TinyTeX/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm" 1136768653 1408 5937f58aa508ea2cea4901c07d10f5fe "" "/Users/split/Library/TinyTeX/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm" 1136768653 1408 5937f58aa508ea2cea4901c07d10f5fe ""
"/Users/split/Library/TinyTeX/texmf-dist/fonts/tfm/adobe/times/psyro.tfm" 1136768653 1544 23a042a74981a3e4b6ce2e350e390409 "" "/Users/split/Library/TinyTeX/texmf-dist/fonts/tfm/adobe/times/psyro.tfm" 1136768653 1544 23a042a74981a3e4b6ce2e350e390409 ""
@ -248,10 +248,10 @@
"6-broader-impacts/impacts.tex" 1773107032.45472 4912 c7ccb2b7aade93b198e985e4832fd6a8 "" "6-broader-impacts/impacts.tex" 1773107032.45472 4912 c7ccb2b7aade93b198e985e4832fd6a8 ""
"8-schedule/schedule.tex" 1773107042.40456 4551 57e4fef2d56e8d84227d70745141e7eb "" "8-schedule/schedule.tex" 1773107042.40456 4551 57e4fef2d56e8d84227d70745141e7eb ""
"dane_proposal_format.cls" 1770435796.31147 2883 ea175794171aa0291ef71716b2190bf0 "" "dane_proposal_format.cls" 1770435796.31147 2883 ea175794171aa0291ef71716b2190bf0 ""
"main.aux" 1773107048.94201 22239 5965f8733374baeb9476cb314eae6831 "pdflatex" "main.aux" 1773107561.44951 22218 1bb1acb1600f0001bf64d25d63460d53 "pdflatex"
"main.bbl" 1773107049.14524 2919 0ea026a17b15c1ad2ed657bdbf26dfdc "bibtex main" "main.bbl" 1773107561.65818 2919 0ea026a17b15c1ad2ed657bdbf26dfdc "bibtex main"
"main.tex" 1773106811.51228 2254 8716b1483d4b9717095f17207a781e0a "" "main.tex" 1773107553.98743 2429 155852b69c6fe0197c513e66ae321301 ""
"main.toc" 1773107048.94477 2130 3335d961966833131187fb817e48a809 "pdflatex" "main.toc" 1773107561.45433 2130 c8c51313a924d55b5a46a384e95acb5b "pdflatex"
"todonotes.sty" 1773106494.99347 21404 916e19cbd009b6d289c8194b313d3895 "" "todonotes.sty" 1773106494.99347 21404 916e19cbd009b6d289c8194b313d3895 ""
(generated) (generated)
"main.aux" "main.aux"

216
main.log
View File

@ -1,4 +1,4 @@
This is pdfTeX, Version 3.141592653-2.6-1.40.28 (TeX Live 2025) (preloaded format=pdflatex 2026.2.12) 9 MAR 2026 21:44 This is pdfTeX, Version 3.141592653-2.6-1.40.28 (TeX Live 2025) (preloaded format=pdflatex 2026.2.12) 9 MAR 2026 21:52
entering extended mode entering extended mode
restricted \write18 enabled. restricted \write18 enabled.
%&-line parsing enabled. %&-line parsing enabled.
@ -774,7 +774,7 @@ Package: todonotes 2024/01/05 v1.1.7 Todonotes source and documentation.
Package: todonotes 2024/01/05 Package: todonotes 2024/01/05
\c@@todonotes@numberoftodonotes=\count403 \c@@todonotes@numberoftodonotes=\count403
) )
LaTeX Font Info: Trying to load font information for OT1+ptm on input line 43. LaTeX Font Info: Trying to load font information for OT1+ptm on input line 45.
(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ot1ptm.fd (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ot1ptm.fd
File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def ) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
@ -783,20 +783,20 @@ File: l3backend-pdftex.def 2025-10-09 L3 backend support: PDF output (pdfTeX)
) (./main.aux) ) (./main.aux)
\openout1 = `main.aux'. \openout1 = `main.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 43. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 45.
LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: ... okay on input line 45.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 43. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 45.
LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: ... okay on input line 45.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 43. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 45.
LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: ... okay on input line 45.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 43. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 45.
LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: ... okay on input line 45.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 43. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 45.
LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: ... okay on input line 45.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 43. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 45.
LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: ... okay on input line 45.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 43. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 45.
LaTeX Font Info: ... okay on input line 43. LaTeX Font Info: ... okay on input line 45.
*geometry* driver: auto-detecting *geometry* driver: auto-detecting
*geometry* detected driver: pdftex *geometry* detected driver: pdftex
@ -810,7 +810,7 @@ LaTeX Font Info: ... okay on input line 43.
* v-part:(T,H,B)=(72.26999pt, 650.43001pt, 72.26999pt) * v-part:(T,H,B)=(72.26999pt, 650.43001pt, 72.26999pt)
* \paperwidth=614.295pt * \paperwidth=614.295pt
* \paperheight=794.96999pt * \paperheight=794.96999pt
* \textwidth=397.48499pt * \textwidth=361.34999pt
* \textheight=650.43001pt * \textheight=650.43001pt
* \oddsidemargin=0.0pt * \oddsidemargin=0.0pt
* \evensidemargin=0.0pt * \evensidemargin=0.0pt
@ -819,11 +819,11 @@ LaTeX Font Info: ... okay on input line 43.
* \headsep=25.0pt * \headsep=25.0pt
* \topskip=12.0pt * \topskip=12.0pt
* \footskip=30.0pt * \footskip=30.0pt
* \marginparwidth=71.13188pt * \marginparwidth=142.26378pt
* \marginparsep=10.0pt * \marginparsep=8.5359pt
* \columnsep=10.0pt * \columnsep=10.0pt
* \skip\footins=10.8pt plus 4.0pt minus 2.0pt * \skip\footins=10.8pt plus 4.0pt minus 2.0pt
* \hoffset=0.0pt * \hoffset=-36.135pt
* \voffset=0.0pt * \voffset=0.0pt
* \mag=1000 * \mag=1000
* \@twocolumnfalse * \@twocolumnfalse
@ -846,29 +846,29 @@ Package: pdflscape-nometadata 2025-06-23 v0.14 Display of landscape pages in PDF
Package pdflscape Info: Auto-detected driver: pdftex on input line 81. Package pdflscape Info: Auto-detected driver: pdftex on input line 81.
)) ))
\c@lstlisting=\count405 \c@lstlisting=\count405
LaTeX Font Info: Trying to load font information for OT1+ztmcm on input line 46. LaTeX Font Info: Trying to load font information for OT1+ztmcm on input line 48.
(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ot1ztmcm.fd (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ot1ztmcm.fd
File: ot1ztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OT1/ztmcm. File: ot1ztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OT1/ztmcm.
) )
LaTeX Font Info: Trying to load font information for OML+ztmcm on input line 46. LaTeX Font Info: Trying to load font information for OML+ztmcm on input line 48.
(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/omlztmcm.fd (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/omlztmcm.fd
File: omlztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OML/ztmcm. File: omlztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OML/ztmcm.
) )
LaTeX Font Info: Trying to load font information for OMS+ztmcm on input line 46. LaTeX Font Info: Trying to load font information for OMS+ztmcm on input line 48.
(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/omsztmcm.fd (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/omsztmcm.fd
File: omsztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMS/ztmcm. File: omsztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMS/ztmcm.
) )
LaTeX Font Info: Trying to load font information for OMX+ztmcm on input line 46. LaTeX Font Info: Trying to load font information for OMX+ztmcm on input line 48.
(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/omxztmcm.fd (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/omxztmcm.fd
File: omxztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMX/ztmcm. File: omxztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMX/ztmcm.
) )
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 46. (Font) Font shape `OT1/ptm/b/n' tried instead on input line 48.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10.95> not available LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10.95> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 46. (Font) Font shape `OT1/ptm/b/n' tried instead on input line 48.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 46. (Font) Font shape `OT1/ptm/b/n' tried instead on input line 48.
LaTeX Font Info: Trying to load font information for U+rsfs on input line 46. LaTeX Font Info: Trying to load font information for U+rsfs on input line 48.
(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/jknapltx/ursfs.fd (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/jknapltx/ursfs.fd
File: ursfs.fd 1998/03/24 rsfs font definition file (jk) File: ursfs.fd 1998/03/24 rsfs font definition file (jk)
) [1 ) [1
@ -887,20 +887,6 @@ LaTeX Warning: Marginpar on page i moved.
LaTeX Warning: Marginpar on page i moved. LaTeX Warning: Marginpar on page i moved.
LaTeX Warning: Marginpar on page i moved.
LaTeX Warning: Marginpar on page i moved.
LaTeX Warning: Marginpar on page i moved.
Overfull \hbox (7.2216pt too wide) in paragraph at lines 67--77
\OT1/ptm/m/n/12 mode-switching con-trollers from reg-u-la-tory pro-ce-dures with lit-tle for-mal meth-
[]
LaTeX Warning: Marginpar on page i moved. LaTeX Warning: Marginpar on page i moved.
[1]) [2] (./main.toc [1]) [2] (./main.toc
@ -910,6 +896,11 @@ LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 4. (Font) Font shape `OT1/ptm/b/n' tried instead on input line 4.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 4. (Font) Font shape `OT1/ptm/b/n' tried instead on input line 4.
Overfull \hbox (1.1784pt too wide) in paragraph at lines 10--10
[][] []\OT1/ptm/m/n/12 System Re-quire-ments, Spec-i-fi-ca-tions, and Dis-crete Con-trollers [][]
[]
) )
\tf@toc=\write4 \tf@toc=\write4
\openout4 = `main.toc'. \openout4 = `main.toc'.
@ -927,110 +918,153 @@ LaTeX Warning: Marginpar on page 1 moved.
LaTeX Warning: Marginpar on page 1 moved. LaTeX Warning: Marginpar on page 1 moved.
[1]
Overfull \hbox (3.71007pt too wide) in paragraph at lines 103--116
[]\OT1/ptm/b/n/12 Demonstrate au-tonomous re-ac-tor startup con-trol with safety guar-
[]
LaTeX Warning: Marginpar on page 1 moved. )
Overfull \hbox (1.53879pt too wide) in paragraph at lines 120--56
\OT1/ptm/m/n/12 from ex-ist-ing pro-ce-dures with math-e-mat-i-cal proof of cor-rect be-hav-ior. High-
LaTeX Warning: Marginpar on page 1 moved. []
[1])
LaTeX Warning: Marginpar on page 2 moved.
[2] (./2-state-of-the-art/state-of-art.tex [2] (./2-state-of-the-art/state-of-art.tex
Overfull \hbox (2.2587pt too wide) in paragraph at lines 13--32
\OT1/ptm/m/n/12 Se-vere Ac-ci-dent Man-age-ment Guide-lines (SAMGs) for beyond-design-basis
[]
LaTeX Warning: Marginpar on page 3 moved. LaTeX Warning: Marginpar on page 3 moved.
[3] [3]
Overfull \hbox (6.91362pt too wide) in paragraph at lines 75--92
LaTeX Warning: Marginpar on page 4 moved. \OT1/ptm/m/n/12 com-pelling mo-ti-va-tion for for-mal au-to-mated con-trol with math-e-mat-i-cal safety
[]
LaTeX Warning: Marginpar on page 4 moved. LaTeX Warning: Marginpar on page 4 moved.
[4] [5]
Overfull \hbox (12.42279pt too wide) in paragraph at lines 116--119
\OT1/ptm/m/n/12 The High As-sur-ance Rig-or-ous Dig-i-tal En-gi-neer-ing for Nu-clear Safety (HARD-
[]
[4]
Overfull \hbox (4.45078pt too wide) in paragraph at lines 156--161
[]\OT1/ptm/b/n/12 LIMITATION: \OT1/ptm/m/it/12 HARD-ENS ad-dressed dis-crete con-trol logic with-out con-
[]
[5]
Overfull \hbox (1.39072pt too wide) in paragraph at lines 176--184
[]\OT1/ptm/b/n/12 LIMITATION: \OT1/ptm/m/it/12 HARD-ENS achieved TRL 2--3 with-out ex-per-i-men-tal val-
[]
LaTeX Warning: Marginpar on page 6 moved. LaTeX Warning: Marginpar on page 6 moved.
) [6] (./3-research-approach/approach.tex ) [6] [7] (./3-research-approach/approach.tex
LaTeX Warning: Citation `HANDBOOK ON HYBRID SYSTEMS' on page 7 undefined on input line 50. LaTeX Warning: Citation `HANDBOOK ON HYBRID SYSTEMS' on page 8 undefined on input line 50.
Overfull \hbox (5.73631pt too wide) in paragraph at lines 41--52
[]\OT1/ptm/m/n/12 To build a high-assurance hy-brid au-tonomous con-trol sys-tem (HA-HACS),
[]
LaTeX Font Info: Trying to load font information for TS1+ptm on input line 60. LaTeX Font Info: Trying to load font information for TS1+ptm on input line 60.
(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ts1ptm.fd (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ts1ptm.fd
File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
) [7] ) [8]
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 103. (Font) Font shape `OT1/ptm/b/n' tried instead on input line 103.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 109. (Font) Font shape `OT1/ptm/b/n' tried instead on input line 109.
Overfull \hbox (10.87595pt too wide) in paragraph at lines 128--134 Overfull \hbox (47.01094pt too wide) in paragraph at lines 128--134
[][] [][]
[] []
[8] [9]
Overfull \hbox (68.04898pt too wide) in paragraph at lines 203--207 Overfull \hbox (104.18398pt too wide) in paragraph at lines 203--207
[][] [][]
[] []
[9] [10] [11] [10] [11] [12]
LaTeX Warning: Citation `MANYUS THESIS' on page 12 undefined on input line 383. LaTeX Warning: Citation `MANYUS THESIS' on page 13 undefined on input line 383.
[12] [13] [14] [15]) [16] (./4-metrics-of-success/metrics.tex [13] [14] [15]
Overfull \hbox (22.73904pt too wide) in paragraph at lines 12--24 Overfull \hbox (2.1067pt too wide) in paragraph at lines 578--584
\OT1/ptm/m/n/12 plic-itly mea-sure the gap be-tween aca-demic proof-of-concept and prac-ti-cal deployment--- []\OT1/ptm/m/n/12 Traditional safety anal-y-sis tech-niques in-form the con-struc-tion of $\OT1/ztmcm/m/n/12 ^^B[]$\OT1/ptm/m/n/12 .
[] []
[17]) [18] (./5-risks-and-contingencies/risks.tex [19] [16]) [17] (./4-metrics-of-success/metrics.tex
Overfull \hbox (6.11617pt too wide) in paragraph at lines 76--90 Overfull \hbox (3.50658pt too wide) in paragraph at lines 25--35
[]\OT1/ptm/m/n/12 The pri-mary con-tin-gency for in-ter-face com-plex-ity is re-strict-ing con-tin-u-ous modes \OT1/ptm/m/n/12 is in-suf-fi-cient for adop-tion; con-versely, show-ing em-pir-i-cal per-for-mance with-
[] []
[20]) [21] [22] (./6-broader-impacts/impacts.tex [18]) [19] (./5-risks-and-contingencies/risks.tex
Overfull \hbox (2.22pt too wide) in paragraph at lines 3--10 Overfull \hbox (0.96176pt too wide) in paragraph at lines 3--13
\OT1/ptm/m/n/12 dat-a-cen-ters re-quir-ing hun-dreds of megawatts of con-tin-u-ous power. De-ploy-ing SMRs \OT1/ptm/m/n/12 This re-search re-lies on sev-eral crit-i-cal as-sump-tions that, if in-val-i-dated, would
[]
Overfull \hbox (8.87949pt too wide) in paragraph at lines 27--36
[]\OT1/ptm/m/n/12 Several in-di-ca-tors would pro-vide early warn-ing of com-pu-ta-tional tractabil-
[]
Overfull \hbox (3.75879pt too wide) in paragraph at lines 49--62
\OT1/ptm/m/n/12 The sec-ond crit-i-cal as-sump-tion con-cerns the map-ping be-tween boolean guard
[]
[20] [21]
Overfull \hbox (2.96642pt too wide) in paragraph at lines 130--145
\OT1/ptm/m/n/12 FRETish or sim-i-lar spec-i-fi-ca-tion lan-guages would demon-strate how to bridge
[]
Overfull \hbox (2.61935pt too wide) in paragraph at lines 130--145
\OT1/ptm/m/n/12 the gap be-tween cur-rent pro-ce-dures and the pre-ci-sion needed for au-tonomous
[]
[22]) [23] (./6-broader-impacts/impacts.tex [24]) [25] (./8-schedule/schedule.tex
Overfull \hbox (0.69846pt too wide) in paragraph at lines 8--18
\OT1/ptm/m/n/12 guage pro-ce-dures into machine-readable re-quire-ments. The sec-ond semester
[] []
[23]) [24] (./8-schedule/schedule.tex
Missing character: There is no , in font nullfont! Missing character: There is no , in font nullfont!
Overfull \hbox (39.7858pt too wide) in paragraph at lines 71--72 Overfull \hbox (75.92079pt too wide) in paragraph at lines 71--72
[][] [][]
[] []
) (./main.bbl [25] ) (./main.bbl
Underfull \hbox (badness 1571) in paragraph at lines 23--24 Overfull \hbox (0.29076pt too wide) in paragraph at lines 78--1
[]\OT1/ptm/m/n/12 U.S. Nu-clear Reg-u-la-tory Com-mis-sion, ``Part 55|Op-er-a-tors' Li-censes.'' \OT1/ptm/m/n/12 M1 (Month 4) con-firms that startup pro-ce-dures have been suc-cess-fully trans-
[] []
[26]
Underfull \hbox (badness 10000) in paragraph at lines 23--24 Underfull \hbox (badness 1360) in paragraph at lines 23--24
\OT1/cmtt/m/n/12 https : / / www . nrc . gov / reading -[] rm / doc -[] collections / cfr / part055 / []\OT1/ptm/m/n/12 U.S. Nu-clear Reg-u-la-tory Com-mis-sion, ``Part 55|Op-er-a-tors' Li-
[]
Underfull \hbox (badness 10000) in paragraph at lines 26--27
\OT1/cmtt/m/n/12 https : / / www . nrc . gov / reading -[] rm / doc -[] collections / cfr / part050 /
[] []
Underfull \hbox (badness 10000) in paragraph at lines 32--33 Underfull \hbox (badness 10000) in paragraph at lines 32--33
[]\OT1/ptm/m/n/12 World Nu-clear As-so-ci-a-tion, ``Safety of nu-clear power re-ac-tors.'' []\OT1/ptm/m/n/12 World Nu-clear As-so-ci-a-tion, ``Safety of nu-clear power re-
[] []
Underfull \hbox (badness 10000) in paragraph at lines 32--33 Underfull \hbox (badness 10000) in paragraph at lines 32--33
\OT1/cmtt/m/n/12 https : / / www . world -[] nuclear . org / information -[] library / safety -[] \OT1/ptm/m/n/12 ac-tors.'' $\OT1/cmtt/m/n/12 https : / / www . world -[] nuclear . org / information -[]
[] []
Underfull \hbox (badness 10000) in paragraph at lines 32--33 Underfull \hbox (badness 10000) in paragraph at lines 32--33
\OT1/cmtt/m/n/12 and -[] security / safety -[] of -[] plants / safety -[] of -[] nuclear -[] power -[] \OT1/cmtt/m/n/12 library / safety -[] and -[] security / safety -[] of -[] plants / safety -[]
[] []
[26]) [27] (./main.aux) [27]) [28] (./main.aux)
*********** ***********
LaTeX2e <2025-11-01> LaTeX2e <2025-11-01>
L3 programming layer <2026-01-19> L3 programming layer <2026-01-19>
@ -1046,16 +1080,16 @@ LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
Here is how much of TeX's memory you used: Here is how much of TeX's memory you used:
26575 strings out of 469514 26575 strings out of 469514
560233 string characters out of 5469022 560233 string characters out of 5469022
1031670 words of memory out of 5000000 1034979 words of memory out of 5000000
54619 multiletter control sequences out of 15000+600000 54619 multiletter control sequences out of 15000+600000
683164 words of font info for 159 fonts, out of 8000000 for 9000 683164 words of font info for 159 fonts, out of 8000000 for 9000
14 hyphenation exceptions out of 8191 14 hyphenation exceptions out of 8191
110i,9n,108p,1062b,1083s stack positions out of 10000i,1000n,20000p,200000b,200000s 110i,9n,108p,1062b,1083s stack positions out of 10000i,1000n,20000p,200000b,200000s
</Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/rsfs/rsfs10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/symbol/usyr.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/symbol/usyr.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/times/utmri8a.pfb> </Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/public/rsfs/rsfs10.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/symbol/usyr.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/symbol/usyr.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></Users/split/Library/TinyTeX/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on main.pdf (31 pages, 206928 bytes). Output written on main.pdf (32 pages, 208700 bytes).
PDF statistics: PDF statistics:
193 PDF objects out of 1000 (max. 8388607) 196 PDF objects out of 1000 (max. 8388607)
118 compressed objects within 2 object streams 120 compressed objects within 2 object streams
0 named destinations out of 1000 (max. 500000) 0 named destinations out of 1000 (max. 500000)
109 words of extra memory for PDF output out of 10000 (max. 10000000) 109 words of extra memory for PDF output out of 10000 (max. 10000000)

BIN
main.pdf
View File

Binary file not shown.

8
main.tex
View File

@ -15,9 +15,11 @@
\ifnum\editmode=1 \ifnum\editmode=1
% Edit mode: load todonotes, adjust margins % Edit mode: load todonotes, adjust margins
\usepackage[colorinlistoftodos,prependcaption,textsize=small]{todonotes} \usepackage[colorinlistoftodos,prependcaption,textsize=small]{todonotes}
\setlength{\marginparwidth}{2.5cm} \setlength{\hoffset}{-0.5in} % Shift everything left
\setlength{\oddsidemargin}{0in} \setlength{\oddsidemargin}{0in} % Left margin
\setlength{\textwidth}{5.5in} % Narrower text = more margin space \setlength{\textwidth}{5in} % Text column width
\setlength{\marginparwidth}{5cm} % Wide margin for notes (2x original)
\setlength{\marginparsep}{0.3cm} % Gap between text and notes
% Color-coded comment commands % Color-coded comment commands
% Green: General observations, "nice work", vibes % Green: General observations, "nice work", vibes

42
main.toc
View File

@ -3,25 +3,25 @@
\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{3}{}% \contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{3}{}%
\contentsline {subsection}{\numberline {2.1}Current Reactor Procedures and Operation}{3}{}% \contentsline {subsection}{\numberline {2.1}Current Reactor Procedures and Operation}{3}{}%
\contentsline {subsection}{\numberline {2.2}Human Factors in Nuclear Accidents}{4}{}% \contentsline {subsection}{\numberline {2.2}Human Factors in Nuclear Accidents}{4}{}%
\contentsline {subsection}{\numberline {2.3}Formal Methods}{4}{}% \contentsline {subsection}{\numberline {2.3}Formal Methods}{5}{}%
\contentsline {subsubsection}{\numberline {2.3.1}HARDENS}{4}{}% \contentsline {subsubsection}{\numberline {2.3.1}HARDENS}{5}{}%
\contentsline {subsubsection}{\numberline {2.3.2}Sequent Calculus and Differential Dynamic Logic}{6}{}% \contentsline {subsubsection}{\numberline {2.3.2}Sequent Calculus and Differential Dynamic Logic}{6}{}%
\contentsline {section}{\numberline {3}Research Approach}{7}{}% \contentsline {section}{\numberline {3}Research Approach}{8}{}%
\contentsline {subsection}{\numberline {3.1}System Requirements, Specifications, and Discrete Controllers}{8}{}% \contentsline {subsection}{\numberline {3.1}System Requirements, Specifications, and Discrete Controllers}{9}{}%
\contentsline {subsection}{\numberline {3.2}Continuous Control Modes}{11}{}% \contentsline {subsection}{\numberline {3.2}Continuous Control Modes}{13}{}%
\contentsline {subsubsection}{\numberline {3.2.1}Transitory Modes}{12}{}% \contentsline {subsubsection}{\numberline {3.2.1}Transitory Modes}{14}{}%
\contentsline {subsubsection}{\numberline {3.2.2}Stabilizing Modes}{13}{}% \contentsline {subsubsection}{\numberline {3.2.2}Stabilizing Modes}{15}{}%
\contentsline {subsubsection}{\numberline {3.2.3}Expulsory Modes}{14}{}% \contentsline {subsubsection}{\numberline {3.2.3}Expulsory Modes}{16}{}%
\contentsline {subsection}{\numberline {3.3}Industrial Implementation}{15}{}% \contentsline {subsection}{\numberline {3.3}Industrial Implementation}{17}{}%
\contentsline {section}{\numberline {4}Metrics for Success}{17}{}% \contentsline {section}{\numberline {4}Metrics for Success}{18}{}%
\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{17}{}% \contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{18}{}%
\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{17}{}% \contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{18}{}%
\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{18}{}% \contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{19}{}%
\contentsline {section}{\numberline {5}Risks and Contingencies}{19}{}% \contentsline {section}{\numberline {5}Risks and Contingencies}{20}{}%
\contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{19}{}% \contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{20}{}%
\contentsline {subsection}{\numberline {5.2}Discrete-Continuous Interface Formalization}{19}{}% \contentsline {subsection}{\numberline {5.2}Discrete-Continuous Interface Formalization}{20}{}%
\contentsline {subsection}{\numberline {5.3}Procedure Formalization Completeness}{21}{}% \contentsline {subsection}{\numberline {5.3}Procedure Formalization Completeness}{22}{}%
\contentsline {section}{\numberline {6}Broader Impacts}{23}{}% \contentsline {section}{\numberline {6}Broader Impacts}{24}{}%
\contentsline {section}{\numberline {7}Schedule, Milestones, and Deliverables}{25}{}% \contentsline {section}{\numberline {7}Schedule, Milestones, and Deliverables}{26}{}%
\contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{25}{}% \contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{26}{}%
\contentsline {section}{References}{26}{}% \contentsline {section}{References}{27}{}%