\small{\begin{itemize} \item[\textbf{Goal:}] Develop autonomous hybrid control systems with mathematical guarantees of safe and correct behavior that lower operating costs for nuclear power. \end{itemize}} \begin{tikzpicture}[ contentbox/.style={rectangle, draw=black, thick, fill=white, minimum width=4cm, minimum height=4cm, align=center}, title/.style={font=\bfseries\normalsize}, colbox/.style={rectangle, rounded corners, draw=black, very thick, fill=#1, minimum width=5.5cm, minimum height=8.2cm}, ] % Define column spacing \def\colwidth{6} \def\titleheight{3.6} \def\contentheight{-0.1} % PROBLEM Column (Red background) \begin{scope}[shift={(0,0)}] % Background box (centered around content) \node[colbox=red!10](prob-box) at (0, 0) {}; % Title at top of box \node[title, below=0.1cm of prob-box.north] (prob-title){Problem:}; \node[font=\footnotesize, text width=4.8cm, align=left, below=-0.11cm of prob-title] (prob-subtitle) { Nuclear power is ideal for future energy needs, but is expensive. }; % Content area - positioned just below title \node[contentbox, inner sep=5pt,below=0.05cm of prob-subtitle] (prob-content) { \begin{minipage}{4.5cm} \centering \includegraphics[height=4.1cm]{images/energy-demand-graph-small.png} {\tiny Source: Pew Research Center, Data from IEA} \end{minipage} }; % Table below the content box \node[font=\tiny, below=0.01cm of prob-content](cost-table){ \renewcommand{\arraystretch}{0.8} \setlength{\tabcolsep}{3pt} \begin{tabular}{lcc} \textbf{Source} & \textbf{Total (\$/MWh)} & \textbf{O\&M (\$/MWh)} \\ \midrule Adv. Nuclear & 88.24 & \cellcolor{red!20}\textbf{18.50} \\ Natural Gas & 39.00 & 2.90 \\ \bottomrule \end{tabular} }; \node[font=\tiny,below=-0.2cm of cost-table] { Source: EIA Annual Energy Outlook 2022 }; \end{scope} \begin{scope}[shift={(\colwidth,0)}] % Background box (centered around content) \node[colbox=blue!10](sol-box) at (0, 0) {}; % Title at top of box \node[title, below=0.1cm of sol-box.north] (sol-title){Solution:}; \node[font=\footnotesize, text width=4.8cm, align=left, below=-0.11cm of sol-title] (sol-subtitle) { To address this, we use new formal methods technologies to build autonomous controllers that are provably safe. }; % Content area - positioned just below title \node[contentbox, inner sep=5pt, below=0.05cm of sol-subtitle] (sol-content) { \begin{minipage}{4.5cm} \centering % Row 1: Procedures \begin{minipage}{1cm} \includegraphics[width=0.8cm]{images/procedures-icon.png} \end{minipage} \hfill \begin{minipage}{3cm} \raggedright\small Synthesizing\\Procedures \end{minipage} \vspace{0.3cm} \Large$\downarrow$ \vspace{0.3cm} % Row 2: Discrete Automata \begin{minipage}{1cm} \includegraphics[width=0.8cm]{images/automata-icon.png} \end{minipage} \hfill \begin{minipage}{3cm} \raggedright\small Into Discrete\\Automata \end{minipage} \vspace{0.3cm} \Large$\downarrow$ \vspace{0.3cm} % Row 3: Safe Controllers \begin{minipage}{1cm} \includegraphics[width=0.8cm]{images/controller-icon.png} \end{minipage} \hfill \begin{minipage}{3cm} \raggedright\small Safe \& Secure\\Autonomous Controllers \end{minipage} \end{minipage} }; % Optional bottom text if needed \node[font=\tiny, below=0.01cm of sol-content] { }; \end{scope} % PROOF Column (Green background) \begin{scope}[shift={(2*\colwidth,0)}] % Background box \node[colbox=green!10] at (0, 0) {}; % Title at top of box \node[title] at (0, \titleheight) {The Proof}; % Content area - open for your demo content \node[contentbox, inner sep=5pt] (demo-content) at (0, \contentheight) { % Put your demonstration content here \begin{minipage}{4.5cm} \centering % Your demo graphics go here SmAHTR Simulation\\[0.5cm] Hardware-in-Loop\\[0.5cm] Emerson Ovation \end{minipage} }; \end{scope} \end{tikzpicture}