diff --git a/main.aux b/main.aux index ccfef8d..24afa03 100644 --- a/main.aux +++ b/main.aux @@ -1,103 +1,103 @@ \relax \@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 {pgfid4}{33755687}{44915575} -\pgfsyspdfmark {pgfid5}{36070152}{44675891} +\pgfsyspdfmark {pgfid1}{12703339}{44941311} +\pgfsyspdfmark {pgfid4}{31254300}{44915575} +\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 } -\pgfsyspdfmark {pgfid6}{15536702}{41140223} -\pgfsyspdfmark {pgfid9}{33755687}{40539187} -\pgfsyspdfmark {pgfid10}{36070152}{40299503} +\pgfsyspdfmark {pgfid6}{24172130}{41140223} +\pgfsyspdfmark {pgfid9}{31254300}{41114487} +\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 } -\pgfsyspdfmark {pgfid11}{24132805}{40189951} -\pgfsyspdfmark {pgfid14}{33755687}{26505721} -\pgfsyspdfmark {pgfid15}{36070152}{26266037} +\pgfsyspdfmark {pgfid11}{12694016}{39239679} +\pgfsyspdfmark {pgfid14}{31254300}{34211341} +\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 } -\pgfsyspdfmark {pgfid16}{11376844}{36388863} -\pgfsyspdfmark {pgfid19}{33755687}{13363545} -\pgfsyspdfmark {pgfid20}{36070152}{13123861} +\pgfsyspdfmark {pgfid16}{9008701}{35438591} +\pgfsyspdfmark {pgfid19}{31254300}{28106555} +\pgfsyspdfmark {pgfid20}{35899615}{27866871} \@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 {pgfid24}{33755687}{5421997} -\pgfsyspdfmark {pgfid25}{36070152}{5182313} +\pgfsyspdfmark {pgfid21}{8902520}{32587775} +\pgfsyspdfmark {pgfid24}{31254300}{23730167} +\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 } -\pgfsyspdfmark {pgfid26}{19909561}{29736959} -\pgfsyspdfmark {pgfid29}{33755687}{1936899} -\pgfsyspdfmark {pgfid30}{36070152}{1697215} +\pgfsyspdfmark {pgfid26}{11177092}{27836415} +\pgfsyspdfmark {pgfid29}{31254300}{22027649} +\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 } -\pgfsyspdfmark {pgfid31}{29147912}{16433151} -\pgfsyspdfmark {pgfid34}{33755687}{-2439489} -\pgfsyspdfmark {pgfid35}{36070152}{-2679173} +\pgfsyspdfmark {pgfid31}{4749422}{12632063} +\pgfsyspdfmark {pgfid34}{31254300}{12606327} +\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 } -\pgfsyspdfmark {pgfid36}{21883461}{14532607} -\pgfsyspdfmark {pgfid39}{33755687}{-14690375} -\pgfsyspdfmark {pgfid40}{36070152}{-14930059} -\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good practical framing — emphasizes accessibility.}{i}{}\protected@file@percent } -\pgfsyspdfmark {pgfid41}{27551156}{7225343} -\pgfsyspdfmark {pgfid44}{33755687}{-38528031} -\pgfsyspdfmark {pgfid45}{36070152}{-38767715} +\pgfsyspdfmark {pgfid36}{26033217}{11681791} +\pgfsyspdfmark {pgfid39}{31254300}{6594471} +\pgfsyspdfmark {pgfid40}{35899615}{6354787} +\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{green!40}{\textcolor {green!40}{o}}\ Good practical framing — emphasizes accessibility.}{ii}{}\protected@file@percent } +\pgfsyspdfmark {pgfid41}{14318560}{45891583} +\pgfsyspdfmark {pgfid44}{31254300}{45865847} +\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 } -\pgfsyspdfmark {pgfid46}{15325447}{39239679} -\pgfsyspdfmark {pgfid49}{33755687}{39213943} -\pgfsyspdfmark {pgfid50}{36070152}{38974259} +\pgfsyspdfmark {pgfid46}{6062694}{33538047} +\pgfsyspdfmark {pgfid49}{31254300}{33512311} +\pgfsyspdfmark {pgfid50}{35899615}{33272627} \@writefile{toc}{\contentsline {section}{Contents}{iii}{}\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 } -\pgfsyspdfmark {pgfid51}{30597830}{44563390} -\pgfsyspdfmark {pgfid54}{33755687}{44537654} -\pgfsyspdfmark {pgfid55}{36070152}{44297970} +\pgfsyspdfmark {pgfid51}{7637198}{43613118} +\pgfsyspdfmark {pgfid54}{31254300}{43587382} +\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 } -\pgfsyspdfmark {pgfid56}{11072977}{41712574} -\pgfsyspdfmark {pgfid59}{33755687}{40308378} -\pgfsyspdfmark {pgfid60}{36070152}{40068694} +\pgfsyspdfmark {pgfid56}{12512020}{40762302} +\pgfsyspdfmark {pgfid59}{31254300}{40736566} +\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 } -\pgfsyspdfmark {pgfid61}{19272391}{36010942} -\pgfsyspdfmark {pgfid64}{33755687}{35931990} -\pgfsyspdfmark {pgfid65}{36070152}{35692306} +\pgfsyspdfmark {pgfid61}{7381388}{34110398} +\pgfsyspdfmark {pgfid64}{31254300}{34084662} +\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 } -\pgfsyspdfmark {pgfid66}{20791156}{31259582} -\pgfsyspdfmark {pgfid69}{33755687}{14768204} -\pgfsyspdfmark {pgfid70}{36070152}{14528520} +\pgfsyspdfmark {pgfid66}{23610026}{29359038} +\pgfsyspdfmark {pgfid69}{31254300}{24507646} +\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 } -\pgfsyspdfmark {pgfid71}{7117565}{23657406} -\pgfsyspdfmark {pgfid74}{33755687}{-3868824} -\pgfsyspdfmark {pgfid75}{36070152}{-4108508} +\pgfsyspdfmark {pgfid71}{5491809}{20806590} +\pgfsyspdfmark {pgfid74}{31254300}{15674808} +\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 } -\pgfsyspdfmark {pgfid76}{16705748}{18906046} -\pgfsyspdfmark {pgfid79}{33755687}{-10771970} -\pgfsyspdfmark {pgfid80}{36070152}{-11011654} +\pgfsyspdfmark {pgfid76}{4791893}{15104958} +\pgfsyspdfmark {pgfid79}{31254300}{12336822} +\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 } -\pgfsyspdfmark {pgfid81}{30785862}{14154686} -\pgfsyspdfmark {pgfid84}{33755687}{-14109956} -\pgfsyspdfmark {pgfid85}{36070152}{-14349640} +\pgfsyspdfmark {pgfid81}{10973961}{10353598} +\pgfsyspdfmark {pgfid84}{31254300}{9890126} +\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 } -\pgfsyspdfmark {pgfid86}{22235661}{34488319} -\pgfsyspdfmark {pgfid89}{33755687}{34462583} -\pgfsyspdfmark {pgfid90}{36070152}{34222899} +\pgfsyspdfmark {pgfid86}{9648007}{27836415} +\pgfsyspdfmark {pgfid89}{31254300}{27810679} +\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 } -\pgfsyspdfmark {pgfid91}{27214487}{28884991} -\pgfsyspdfmark {pgfid94}{33755687}{25629745} -\pgfsyspdfmark {pgfid95}{36070152}{25390061} +\pgfsyspdfmark {pgfid91}{4050292}{21282815} +\pgfsyspdfmark {pgfid94}{31254300}{21257079} +\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 } -\pgfsyspdfmark {pgfid96}{18188851}{21282815} -\pgfsyspdfmark {pgfid99}{33755687}{21257079} -\pgfsyspdfmark {pgfid100}{36070152}{21017395} +\pgfsyspdfmark {pgfid96}{18900337}{13680639} +\pgfsyspdfmark {pgfid99}{31254300}{13654903} +\pgfsyspdfmark {pgfid100}{35899615}{13415219} \citation{NUREG-0899,10CFR50.34} \citation{10CFR55.59} \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{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 {pgfid104}{33755687}{40736566} -\pgfsyspdfmark {pgfid105}{36070152}{40496882} +\pgfsyspdfmark {pgfid101}{21980756}{40762302} +\pgfsyspdfmark {pgfid104}{31254300}{40736566} +\pgfsyspdfmark {pgfid105}{35899615}{40496882} \@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 } -\pgfsyspdfmark {pgfid106}{17724053}{25831016} -\pgfsyspdfmark {pgfid109}{33755687}{25805280} -\pgfsyspdfmark {pgfid110}{36070152}{25565596} +\pgfsyspdfmark {pgfid106}{20423612}{24880744} +\pgfsyspdfmark {pgfid109}{31254300}{24855008} +\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 } -\pgfsyspdfmark {pgfid111}{27570105}{19179112} -\pgfsyspdfmark {pgfid114}{33755687}{7168252} -\pgfsyspdfmark {pgfid115}{36070152}{6928568} +\pgfsyspdfmark {pgfid111}{13626615}{17278568} +\pgfsyspdfmark {pgfid114}{31254300}{16022170} +\pgfsyspdfmark {pgfid115}{35899615}{15782486} \citation{operator_statistics} \citation{10CFR55} \citation{10CFR50.54} @@ -107,124 +107,124 @@ \citation{zhang_analysis_2025} \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 } -\pgfsyspdfmark {pgfid116}{29333260}{45891583} -\pgfsyspdfmark {pgfid119}{33755687}{45865847} -\pgfsyspdfmark {pgfid120}{36070152}{45626163} +\pgfsyspdfmark {pgfid116}{14097656}{42090495} +\pgfsyspdfmark {pgfid119}{31254300}{42064759} +\pgfsyspdfmark {pgfid120}{35899615}{41825075} \@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 } -\pgfsyspdfmark {pgfid121}{27354523}{35711657} -\pgfsyspdfmark {pgfid124}{33755687}{35685921} -\pgfsyspdfmark {pgfid125}{36070152}{35446237} +\pgfsyspdfmark {pgfid121}{5927496}{30010025} +\pgfsyspdfmark {pgfid124}{31254300}{29984289} +\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 } -\pgfsyspdfmark {pgfid126}{24580098}{26208937} -\pgfsyspdfmark {pgfid129}{33755687}{26183201} -\pgfsyspdfmark {pgfid130}{36070152}{25943517} +\pgfsyspdfmark {pgfid126}{4915358}{19557033} +\pgfsyspdfmark {pgfid129}{31254300}{19531297} +\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 } -\pgfsyspdfmark {pgfid131}{11564802}{17656489} -\pgfsyspdfmark {pgfid134}{33755687}{16604393} -\pgfsyspdfmark {pgfid135}{36070152}{16364709} +\pgfsyspdfmark {pgfid131}{4609444}{10054313} +\pgfsyspdfmark {pgfid134}{31254300}{10028577} +\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 } -\pgfsyspdfmark {pgfid136}{24906501}{13855401} -\pgfsyspdfmark {pgfid139}{33755687}{5097685} -\pgfsyspdfmark {pgfid140}{36070152}{4858001} -\@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 } +\pgfsyspdfmark {pgfid136}{4792689}{5302953} +\pgfsyspdfmark {pgfid139}{31254300}{4760899} +\pgfsyspdfmark {pgfid140}{35899615}{4521215} \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 } -\pgfsyspdfmark {pgfid141}{22013224}{31637503} -\pgfsyspdfmark {pgfid144}{33755687}{31611767} -\pgfsyspdfmark {pgfid145}{36070152}{31372083} +\pgfsyspdfmark {pgfid141}{20999294}{21457577} +\pgfsyspdfmark {pgfid144}{31254300}{21431841} +\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 } -\pgfsyspdfmark {pgfid146}{23378487}{22134783} -\pgfsyspdfmark {pgfid149}{33755687}{22109047} -\pgfsyspdfmark {pgfid150}{36070152}{21869363} +\pgfsyspdfmark {pgfid146}{23128957}{11004585} +\pgfsyspdfmark {pgfid149}{31254300}{10978849} +\pgfsyspdfmark {pgfid150}{35899615}{10739165} \@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 } -\pgfsyspdfmark {pgfid151}{19651738}{35711657} -\pgfsyspdfmark {pgfid154}{33755687}{35685921} -\pgfsyspdfmark {pgfid155}{36070152}{35446237} +\pgfsyspdfmark {pgfid151}{4749422}{20507305} +\pgfsyspdfmark {pgfid154}{31254300}{20481569} +\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 } -\pgfsyspdfmark {pgfid156}{11704839}{28109481} -\pgfsyspdfmark {pgfid159}{33755687}{28083745} -\pgfsyspdfmark {pgfid160}{36070152}{27844061} +\pgfsyspdfmark {pgfid156}{18750152}{12905129} +\pgfsyspdfmark {pgfid159}{31254300}{12879393} +\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 } -\pgfsyspdfmark {pgfid161}{22592676}{26208937} -\pgfsyspdfmark {pgfid164}{33755687}{13903167} -\pgfsyspdfmark {pgfid165}{36070152}{13663483} +\pgfsyspdfmark {pgfid161}{8940582}{10054313} +\pgfsyspdfmark {pgfid164}{31254300}{5829135} +\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 } -\pgfsyspdfmark {pgfid166}{17744690}{21847466} +\pgfsyspdfmark {pgfid166}{14192475}{45403152} \citation{HANDBOOK ON HYBRID SYSTEMS} -\@writefile{toc}{\contentsline {section}{\numberline {3}Research Approach}{7}{}\protected@file@percent } -\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{orange!50}{\textcolor {orange!50}{o}}\ Missing space before ``Our}{7}{}\protected@file@percent } -\pgfsyspdfmark {pgfid167}{10825988}{33160126} -\pgfsyspdfmark {pgfid170}{33755687}{33134390} -\pgfsyspdfmark {pgfid171}{36070152}{32894706} -\@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 } -\newlabel{fig:hybrid_automaton}{{1}{8}{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 } -\pgfsyspdfmark {pgfid172}{21716682}{23775512} -\pgfsyspdfmark {pgfid175}{33755687}{23749776} -\pgfsyspdfmark {pgfid176}{36070152}{23510092} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}System Requirements, Specifications, and Discrete Controllers}{8}{}\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 } -\newlabel{fig:strat_op_tact}{{2}{9}{System Requirements, Specifications, and Discrete Controllers}{figure.2}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Continuous Control Modes}{11}{}\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}{8}{}\protected@file@percent } +\pgfsyspdfmark {pgfid167}{21351522}{32209854} +\pgfsyspdfmark {pgfid170}{31254300}{32184118} +\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.}}{9}{}\protected@file@percent } +\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.}{9}{}\protected@file@percent } +\pgfsyspdfmark {pgfid172}{5905037}{17221912} +\pgfsyspdfmark {pgfid175}{31254300}{17196176} +\pgfsyspdfmark {pgfid176}{35899615}{16956492} +\@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.}}{10}{}\protected@file@percent } +\newlabel{fig:strat_op_tact}{{2}{10}{System Requirements, Specifications, and Discrete Controllers}{figure.2}{}} \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 } -\pgfsyspdfmark {pgfid179}{16597916}{12329325} -\pgfsyspdfmark {pgfid182}{33755687}{12303589} -\pgfsyspdfmark {pgfid183}{36070152}{12063905} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}Transitory Modes}{12}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2}Stabilizing Modes}{13}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3}Expulsory Modes}{14}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Industrial Implementation}{15}{}\protected@file@percent } -\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{red!40}{\textcolor {red!40}{o}}\ Typo: ``excess should be ``access}{15}{}\protected@file@percent } -\pgfsyspdfmark {pgfid184}{16922734}{5204649} -\pgfsyspdfmark {pgfid187}{33755687}{5178913} -\pgfsyspdfmark {pgfid188}{36070152}{4939229} -\@writefile{toc}{\contentsline {section}{\numberline {4}Metrics for Success}{17}{}\protected@file@percent } -\@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 } -\pgfsyspdfmark {pgfid189}{26292290}{42662846} -\pgfsyspdfmark {pgfid192}{33755687}{42637110} -\pgfsyspdfmark {pgfid193}{36070152}{42397426} -\@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 {pgfid194}{20090191}{35060670} -\pgfsyspdfmark {pgfid197}{33755687}{35034934} -\pgfsyspdfmark {pgfid198}{36070152}{34795250} -\@writefile{toc}{\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{17}{}\protected@file@percent } -\@writefile{toc}{\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{17}{}\protected@file@percent } -\@writefile{toc}{\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{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 } -\pgfsyspdfmark {pgfid199}{9102038}{33199444} -\pgfsyspdfmark {pgfid202}{33755687}{33173708} -\pgfsyspdfmark {pgfid203}{36070152}{32934024} -\@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 {pgfid204}{12395286}{18945364} -\pgfsyspdfmark {pgfid207}{33755687}{18919628} -\pgfsyspdfmark {pgfid208}{36070152}{18679944} -\@writefile{toc}{\contentsline {section}{\numberline {5}Risks and Contingencies}{19}{}\protected@file@percent } -\@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 } -\pgfsyspdfmark {pgfid209}{20770641}{44563390} -\pgfsyspdfmark {pgfid212}{33755687}{44537654} -\pgfsyspdfmark {pgfid213}{36070152}{44297970} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{19}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Discrete-Continuous Interface Formalization}{19}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Procedure Formalization Completeness}{21}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Continuous Control Modes}{13}{}\protected@file@percent } +\@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 {pgfid179}{15985073}{33177599} +\pgfsyspdfmark {pgfid182}{31254300}{33151863} +\pgfsyspdfmark {pgfid183}{35899615}{32912179} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}Transitory Modes}{14}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2}Stabilizing Modes}{15}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3}Expulsory Modes}{16}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Industrial Implementation}{17}{}\protected@file@percent } +\@writefile{tdo}{\contentsline {todo}{\fcolorbox {black}{red!40}{\textcolor {red!40}{o}}\ Typo: ``excess should be ``access}{17}{}\protected@file@percent } +\pgfsyspdfmark {pgfid184}{25258844}{17656489} +\pgfsyspdfmark {pgfid187}{31254300}{17630753} +\pgfsyspdfmark {pgfid188}{35899615}{17391069} +\@writefile{toc}{\contentsline {section}{\numberline {4}Metrics for Success}{18}{}\protected@file@percent } +\@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 {pgfid189}{6508678}{41712574} +\pgfsyspdfmark {pgfid192}{31254300}{41686838} +\pgfsyspdfmark {pgfid193}{35899615}{41447154} +\@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 {pgfid194}{7276206}{33160126} +\pgfsyspdfmark {pgfid197}{31254300}{33134390} +\pgfsyspdfmark {pgfid198}{35899615}{32894706} +\@writefile{toc}{\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{18}{}\protected@file@percent } +\@writefile{toc}{\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{18}{}\protected@file@percent } +\@writefile{toc}{\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{19}{}\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.}{19}{}\protected@file@percent } +\pgfsyspdfmark {pgfid199}{15785403}{27497812} +\pgfsyspdfmark {pgfid202}{31254300}{27472076} +\pgfsyspdfmark {pgfid203}{35899615}{27232392} +\@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 {pgfid204}{13547172}{12293460} +\pgfsyspdfmark {pgfid207}{31254300}{12267724} +\pgfsyspdfmark {pgfid208}{35899615}{12028040} +\@writefile{toc}{\contentsline {section}{\numberline {5}Risks and Contingencies}{20}{}\protected@file@percent } +\@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 {pgfid209}{19227927}{44563390} +\pgfsyspdfmark {pgfid212}{31254300}{44537654} +\pgfsyspdfmark {pgfid213}{35899615}{44297970} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{20}{}\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{eesi_datacenter_2024} \citation{eia_lcoe_2022} -\@writefile{toc}{\contentsline {section}{\numberline {6}Broader Impacts}{23}{}\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 } -\pgfsyspdfmark {pgfid214}{24213455}{31637503} -\pgfsyspdfmark {pgfid217}{33755687}{31611767} -\pgfsyspdfmark {pgfid218}{36070152}{31372083} +\@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.}{25}{}\protected@file@percent } +\pgfsyspdfmark {pgfid214}{19399794}{25935871} +\pgfsyspdfmark {pgfid217}{31254300}{25910135} +\pgfsyspdfmark {pgfid218}{35899615}{25670451} \bibstyle{ieeetr} \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} -\@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 } -\newlabel{fig:gantt}{{3}{25}{Schedule, Milestones, and Deliverables}{figure.3}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{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}{26}{Schedule, Milestones, and Deliverables}{figure.3}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{26}{}\protected@file@percent } \bibcite{NUREG-0899}{1} \bibcite{10CFR50.34}{2} \bibcite{10CFR55.59}{3} @@ -235,14 +235,14 @@ \bibcite{10CFR50.54}{8} \bibcite{Kemeny1979}{9} \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} -\@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{Kiniry2024}{13} \bibcite{eia_lcoe_2022}{14} \bibcite{eesi_datacenter_2024}{15} -\gdef \@abspage@last{31} +\gdef \@abspage@last{32} diff --git a/main.blg b/main.blg index b7c0fb3..971eb21 100644 --- a/main.blg +++ b/main.blg @@ -5,7 +5,7 @@ White space in argument---line 156 of file main.aux : \citation{HANDBOOK : ON HYBRID SYSTEMS} 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 : THESIS} I'm skipping whatever remains of this command diff --git a/main.fdb_latexmk b/main.fdb_latexmk index ddffc36..cbe9d85 100644 --- a/main.fdb_latexmk +++ b/main.fdb_latexmk @@ -1,13 +1,13 @@ # 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 "" "/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) "main.bbl" "main.blg" (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/tfm/adobe/symbol/psyr.tfm" 1136768653 1408 5937f58aa508ea2cea4901c07d10f5fe "" "/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 "" "8-schedule/schedule.tex" 1773107042.40456 4551 57e4fef2d56e8d84227d70745141e7eb "" "dane_proposal_format.cls" 1770435796.31147 2883 ea175794171aa0291ef71716b2190bf0 "" - "main.aux" 1773107048.94201 22239 5965f8733374baeb9476cb314eae6831 "pdflatex" - "main.bbl" 1773107049.14524 2919 0ea026a17b15c1ad2ed657bdbf26dfdc "bibtex main" - "main.tex" 1773106811.51228 2254 8716b1483d4b9717095f17207a781e0a "" - "main.toc" 1773107048.94477 2130 3335d961966833131187fb817e48a809 "pdflatex" + "main.aux" 1773107561.44951 22218 1bb1acb1600f0001bf64d25d63460d53 "pdflatex" + "main.bbl" 1773107561.65818 2919 0ea026a17b15c1ad2ed657bdbf26dfdc "bibtex main" + "main.tex" 1773107553.98743 2429 155852b69c6fe0197c513e66ae321301 "" + "main.toc" 1773107561.45433 2130 c8c51313a924d55b5a46a384e95acb5b "pdflatex" "todonotes.sty" 1773106494.99347 21404 916e19cbd009b6d289c8194b313d3895 "" (generated) "main.aux" diff --git a/main.log b/main.log index 67460cf..815f94e 100644 --- a/main.log +++ b/main.log @@ -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 restricted \write18 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 \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 File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) (/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) \openout1 = `main.aux'. -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 43. -LaTeX Font Info: ... okay on input line 43. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 43. -LaTeX Font Info: ... okay on input line 43. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 43. -LaTeX Font Info: ... okay on input line 43. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 43. -LaTeX Font Info: ... okay on input line 43. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 43. -LaTeX Font Info: ... okay on input line 43. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 43. -LaTeX Font Info: ... okay on input line 43. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 43. -LaTeX Font Info: ... okay 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 45. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 45. +LaTeX Font Info: ... okay on input line 45. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 45. +LaTeX Font Info: ... okay on input line 45. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 45. +LaTeX Font Info: ... okay on input line 45. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 45. +LaTeX Font Info: ... okay on input line 45. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 45. +LaTeX Font Info: ... okay on input line 45. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 45. +LaTeX Font Info: ... okay on input line 45. *geometry* driver: auto-detecting *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) * \paperwidth=614.295pt * \paperheight=794.96999pt -* \textwidth=397.48499pt +* \textwidth=361.34999pt * \textheight=650.43001pt * \oddsidemargin=0.0pt * \evensidemargin=0.0pt @@ -819,11 +819,11 @@ LaTeX Font Info: ... okay on input line 43. * \headsep=25.0pt * \topskip=12.0pt * \footskip=30.0pt -* \marginparwidth=71.13188pt -* \marginparsep=10.0pt +* \marginparwidth=142.26378pt +* \marginparsep=8.5359pt * \columnsep=10.0pt * \skip\footins=10.8pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt +* \hoffset=-36.135pt * \voffset=0.0pt * \mag=1000 * \@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. )) \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 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 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 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 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 -(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 -(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 -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 46. -LaTeX Font Info: Trying to load font information for U+rsfs 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 48. (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/jknapltx/ursfs.fd File: ursfs.fd 1998/03/24 rsfs font definition file (jk) ) [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. - - -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. [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. 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. + +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 \openout4 = `main.toc'. @@ -927,110 +918,153 @@ 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. - - -LaTeX Warning: Marginpar on page 1 moved. - -[1]) - -LaTeX Warning: Marginpar on page 2 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- + [] [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. [3] - -LaTeX Warning: Marginpar on page 4 moved. +Overfull \hbox (6.91362pt too wide) in paragraph at lines 75--92 +\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. -[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. -) [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. (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ts1ptm.fd 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 (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 (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] -Overfull \hbox (68.04898pt too wide) in paragraph at lines 203--207 +[9] +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 -Overfull \hbox (22.73904pt too wide) in paragraph at lines 12--24 -\OT1/ptm/m/n/12 plic-itly mea-sure the gap be-tween aca-demic proof-of-concept and prac-ti-cal deployment--- +[13] [14] [15] +Overfull \hbox (2.1067pt too wide) in paragraph at lines 578--584 +[]\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] -Overfull \hbox (6.11617pt too wide) in paragraph at lines 76--90 -[]\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 +[16]) [17] (./4-metrics-of-success/metrics.tex +Overfull \hbox (3.50658pt too wide) in paragraph at lines 25--35 +\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 -Overfull \hbox (2.22pt too wide) in paragraph at lines 3--10 -\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 +[18]) [19] (./5-risks-and-contingencies/risks.tex +Overfull \hbox (0.96176pt too wide) in paragraph at lines 3--13 +\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! -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] -Underfull \hbox (badness 1571) in paragraph at lines 23--24 -[]\OT1/ptm/m/n/12 U.S. Nu-clear Reg-u-la-tory Com-mis-sion, ``Part 55|Op-er-a-tors' Li-censes.'' +) (./main.bbl +Overfull \hbox (0.29076pt too wide) in paragraph at lines 78--1 +\OT1/ptm/m/n/12 M1 (Month 4) con-firms that startup pro-ce-dures have been suc-cess-fully trans- [] - -Underfull \hbox (badness 10000) in paragraph at lines 23--24 -\OT1/cmtt/m/n/12 https : / / www . nrc . gov / reading -[] rm / doc -[] collections / cfr / part055 / - [] - - -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 / +[26] +Underfull \hbox (badness 1360) in paragraph at lines 23--24 +[]\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 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 -\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 -\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> 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: 26575 strings out of 469514 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 683164 words of font info for 159 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 110i,9n,108p,1062b,1083s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on main.pdf (31 pages, 206928 bytes). +Output written on main.pdf (32 pages, 208700 bytes). PDF statistics: - 193 PDF objects out of 1000 (max. 8388607) - 118 compressed objects within 2 object streams + 196 PDF objects out of 1000 (max. 8388607) + 120 compressed objects within 2 object streams 0 named destinations out of 1000 (max. 500000) 109 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/main.pdf b/main.pdf index 4f4c4e9..e2c95ac 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/main.tex b/main.tex index e926188..945d2cc 100644 --- a/main.tex +++ b/main.tex @@ -15,9 +15,11 @@ \ifnum\editmode=1 % Edit mode: load todonotes, adjust margins \usepackage[colorinlistoftodos,prependcaption,textsize=small]{todonotes} - \setlength{\marginparwidth}{2.5cm} - \setlength{\oddsidemargin}{0in} - \setlength{\textwidth}{5.5in} % Narrower text = more margin space + \setlength{\hoffset}{-0.5in} % Shift everything left + \setlength{\oddsidemargin}{0in} % Left margin + \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 % Green: General observations, "nice work", vibes diff --git a/main.toc b/main.toc index 6953752..f7c525d 100644 --- a/main.toc +++ b/main.toc @@ -3,25 +3,25 @@ \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.2}Human Factors in Nuclear Accidents}{4}{}% -\contentsline {subsection}{\numberline {2.3}Formal Methods}{4}{}% -\contentsline {subsubsection}{\numberline {2.3.1}HARDENS}{4}{}% +\contentsline {subsection}{\numberline {2.3}Formal Methods}{5}{}% +\contentsline {subsubsection}{\numberline {2.3.1}HARDENS}{5}{}% \contentsline {subsubsection}{\numberline {2.3.2}Sequent Calculus and Differential Dynamic Logic}{6}{}% -\contentsline {section}{\numberline {3}Research Approach}{7}{}% -\contentsline {subsection}{\numberline {3.1}System Requirements, Specifications, and Discrete Controllers}{8}{}% -\contentsline {subsection}{\numberline {3.2}Continuous Control Modes}{11}{}% -\contentsline {subsubsection}{\numberline {3.2.1}Transitory Modes}{12}{}% -\contentsline {subsubsection}{\numberline {3.2.2}Stabilizing Modes}{13}{}% -\contentsline {subsubsection}{\numberline {3.2.3}Expulsory Modes}{14}{}% -\contentsline {subsection}{\numberline {3.3}Industrial Implementation}{15}{}% -\contentsline {section}{\numberline {4}Metrics for Success}{17}{}% -\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{17}{}% -\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{17}{}% -\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{18}{}% -\contentsline {section}{\numberline {5}Risks and Contingencies}{19}{}% -\contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{19}{}% -\contentsline {subsection}{\numberline {5.2}Discrete-Continuous Interface Formalization}{19}{}% -\contentsline {subsection}{\numberline {5.3}Procedure Formalization Completeness}{21}{}% -\contentsline {section}{\numberline {6}Broader Impacts}{23}{}% -\contentsline {section}{\numberline {7}Schedule, Milestones, and Deliverables}{25}{}% -\contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{25}{}% -\contentsline {section}{References}{26}{}% +\contentsline {section}{\numberline {3}Research Approach}{8}{}% +\contentsline {subsection}{\numberline {3.1}System Requirements, Specifications, and Discrete Controllers}{9}{}% +\contentsline {subsection}{\numberline {3.2}Continuous Control Modes}{13}{}% +\contentsline {subsubsection}{\numberline {3.2.1}Transitory Modes}{14}{}% +\contentsline {subsubsection}{\numberline {3.2.2}Stabilizing Modes}{15}{}% +\contentsline {subsubsection}{\numberline {3.2.3}Expulsory Modes}{16}{}% +\contentsline {subsection}{\numberline {3.3}Industrial Implementation}{17}{}% +\contentsline {section}{\numberline {4}Metrics for Success}{18}{}% +\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{18}{}% +\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{18}{}% +\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{19}{}% +\contentsline {section}{\numberline {5}Risks and Contingencies}{20}{}% +\contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{20}{}% +\contentsline {subsection}{\numberline {5.2}Discrete-Continuous Interface Formalization}{20}{}% +\contentsline {subsection}{\numberline {5.3}Procedure Formalization Completeness}{22}{}% +\contentsline {section}{\numberline {6}Broader Impacts}{24}{}% +\contentsline {section}{\numberline {7}Schedule, Milestones, and Deliverables}{26}{}% +\contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{26}{}% +\contentsline {section}{References}{27}{}%