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

Connect both orphaned figures to prose (hybrid_automaton + strat_op_tact)

Browse Source
This commit is contained in:
Split 2026-03-17 20:33:22 -04:00
parent 8c70ff7dbf
commit 449256f665
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
3-research-approach/approach.tex
View File

@ -68,7 +68,10 @@ discrete level first, we transform the intractable problem of global hybrid
verification into a collection of local verification problems with clear verification into a collection of local verification problems with clear
interfaces. Verification is performed per mode rather than on the full interfaces. Verification is performed per mode rather than on the full
hybrid system, keeping the analysis tractable even for complex reactor hybrid system, keeping the analysis tractable even for complex reactor
operations. operations. \addedprose{Figure~\ref{fig:hybrid_automaton} illustrates this
structure for a simplified reactor startup sequence, showing discrete modes
connected by guard-triggered transitions with continuous dynamics governing
behavior within each mode.}
\begin{figure} \begin{figure}
\centering \centering
@ -203,7 +206,8 @@ objective.
\end{figure} \end{figure}
This operational control level is the main reason for the requirement of human \addedprose{As shown in Figure~\ref{fig:strat_op_tact}, nuclear plant control
spans three levels: strategic, operational, and tactical.} This operational control level is the main reason for the requirement of human
operators in nuclear control today. The hybrid nature of this control system operators in nuclear control today. The hybrid nature of this control system
makes it difficult to prove what the behavior of the combined hybrid system will makes it difficult to prove what the behavior of the combined hybrid system will
do across the entire state-space, so human operators have been used as a do across the entire state-space, so human operators have been used as a