diff --git a/6-broader-impacts/impacts.tex b/6-broader-impacts/impacts.tex index c534b08..b93dae4 100644 --- a/6-broader-impacts/impacts.tex +++ b/6-broader-impacts/impacts.tex @@ -30,7 +30,12 @@ exist.} This research directly addresses the multi-billion-dollar O\&M cost challenge through high-assurance autonomous control. Current nuclear operations require full control room staffing for each reactor, whether large conventional units -or small modular designs. These staffing requirements drive the high O\&M +or small modular designs. Over 3,600 active NRC-licensed reactor operators +work in the United States~\cite{operator_statistics}, divided into Reactor +Operators (ROs) and Senior Reactor Operators +(SROs)~\cite{10CFR55}. Staffing requires at least two ROs and one SRO per +unit~\cite{10CFR50.54}, with each operator requiring several years of +training and NRC licensing. These staffing requirements drive the high O\&M costs that make nuclear power economically challenging, particularly for smaller reactor designs where the same staffing overhead must be spread across lower power output. Synthesizing provably correct hybrid controllers