diff --git a/1-goals-and-outcomes/goals.tex b/1-goals-and-outcomes/goals.tex index 278fc53..0a5e9cb 100644 --- a/1-goals-and-outcomes/goals.tex +++ b/1-goals-and-outcomes/goals.tex @@ -18,9 +18,10 @@ conditions and procedural guidance. % Gap This reliance on human operators prevents autonomous control capabilities and creates a fundamental economic challenge for next-generation reactor -designs.\splitsuggest{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 +designs. +\splitinline{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.} Small modular reactors, in particular, face per-megawatt staffing costs far exceeding those of conventional plants and threaten their economic viability. @@ -28,10 +29,11 @@ exceeding those of conventional plants and threaten their economic viability. % Critical Need What is needed is a method to create autonomous control systems that safely manage complex operational sequences with the same assurance as human-operated -systems, but without constant human supervision.\splitpolish{``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.} +systems, but without constant human supervision. +\splitinline{``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.} % APPROACH PARAGRAPH Solution To address this need, we will combine formal methods with control theory to build hybrid control systems that are correct by construction. @@ -60,9 +62,10 @@ maintaining the high safety standards required by the industry. This work is conducted within the University of Pittsburgh Cyber Energy Center, which provides access to industry collaboration and Emerson control hardware, ensuring that developed solutions align with practical implementation -requirements.\splitsuggest{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 +requirements. +\splitinline{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.} diff --git a/1-goals-and-outcomes/research-statement.tex b/1-goals-and-outcomes/research-statement.tex index cb50fc8..2aef691 100644 --- a/1-goals-and-outcomes/research-statement.tex +++ b/1-goals-and-outcomes/research-statement.tex @@ -7,19 +7,23 @@ correct behavior.\splitnote{Strong, direct opening. Sets scope immediately.} Nuclear power relies on extensively trained operators who follow detailed written procedures to manage reactor control. Based on these procedures and operators' interpretation of plant conditions, operators make critical decisions -about when to switch between control objectives.\splitsuggest{Consider: -``operators'' appears 3x in two sentences. Maybe: ``Based on these procedures -and their interpretation of plant conditions, they make critical decisions...''} +about when to switch between control objectives. +\splitinline{Consider: ``operators'' appears 3x in two sentences. Maybe: +``Based on these procedures and their interpretation of plant conditions, +they make critical decisions...''} % Gap But, reliance on human operators has created an economic challenge for -next-generation nuclear power plants.\splitpolish{``But, reliance'' — the comma -after ``But'' is unusual. Either drop it or restructure: ``However, this -reliance...'' or ``This reliance, however, has created...''} Small modular -reactors face significantly higher per-megawatt staffing costs than conventional +next-generation nuclear power plants. +\splitinline{``But, reliance'' — the comma after ``But'' is unusual. Either +drop it or restructure: ``However, this reliance...'' or ``This reliance, +however, has created...''} +Small modular reactors face significantly higher per-megawatt staffing costs +than conventional plants. Autonomous control systems are needed that can safely manage complex operational sequences with the same assurance as human-operated systems, but -without constant supervision.\splitsuggest{``are needed that can'' — passive. -Try: ``Autonomous control systems must safely manage...''} +without constant supervision. +\splitinline{``are needed that can'' — passive. Try: ``Autonomous control +systems must safely manage...''} % APPROACH PARAGRAPH Solution To address this need, we will combine formal methods from computer science with @@ -49,14 +53,16 @@ certificates to prove that mode transitions occur safely and as defined by the deterministic automata. This compositional approach enables local verification of continuous modes without requiring global trajectory analysis across the entire hybrid system. We will demonstrate this on an Emerson Ovation control -system.\splitsuggest{This paragraph is dense. Consider breaking after the -three stages, then a new paragraph for the compositional verification point -and Emerson demo.} +system. +\splitinline{This paragraph is dense. Consider breaking after the three +stages, then a new paragraph for the compositional verification point and +Emerson demo.} % Pay-off This approach will demonstrate autonomous control can be used for complex nuclear power operations while maintaining safety -guarantees.\splitpolish{``can be used for'' — weak. Try: ``...will demonstrate -that autonomous control can manage complex nuclear power operations while +guarantees. +\splitinline{``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.''}