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

Auto sync: 2025-11-17 16:39:01 (1 files changed)

Browse Source 
M  Writing/ERLM/supplemental-sections/v1.tex
This commit is contained in:
Dane Sabo 2025-11-17 16:39:01 -05:00
parent e4f2bbef3f
commit 6e2ec93811
1 changed files with 28 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
Writing/ERLM/supplemental-sections/v1.tex
View File

@ -8,8 +8,33 @@
\subsection{Facilities} \subsection{Facilities}
\textbf{University of Pittsburgh Cyber Energy Center.} This research will be conducted at the Cyber Energy Center, a specialized facility dedicated to advancing cybersecurity and control systems for critical energy infrastructure. The Center provides access to industry-standard control equipment, including Emerson Ovation distributed control systems representative of modern nuclear plant instrumentation and control platforms. The Center maintains active collaborations with industry partners, enabling real-world validation of research outcomes and ensuring alignment with practical deployment requirements. Hardware-in-the-loop testing capabilities include the Advanced Reactor Cyber Analysis and Development Environment (ARCADE) suite for real-time integration between simulation models and physical control hardware. \textbf{University of Pittsburgh Cyber Energy Center.} This research will be
conducted at the Cyber Energy Center, a specialized facility dedicated to
advancing cybersecurity and control systems for critical energy infrastructure.
The Center provides access to industry-standard control equipment, including
Emerson Ovation distributed control systems representative of modern nuclear
plant instrumentation and control platforms. The Center maintains active
collaborations with industry partners, enabling real-world validation of
research outcomes and ensuring alignment with practical deployment requirements.
Hardware-in-the-loop testing capabilities include the Advanced Reactor Cyber
Analysis and Development Environment (ARCADE) suite for real-time integration
between simulation models and physical control hardware.
\textbf{Center for Research Computing (CRC).} The CRC provides high-performance computing resources essential for computationally intensive verification tasks including reachability analysis, barrier certificate computation, and large-scale reactor simulations. The Center maintains multi-node computing clusters with parallel processing capabilities, GPU acceleration for neural network-based verification approaches, and substantial data storage infrastructure. Technical support staff provide expertise in scientific computing, enabling efficient utilization of computational resources for formal methods applications. \textbf{Center for Research Computing (CRC).} The CRC provides high-performance
computing resources essential for computationally intensive verification tasks
including reachability analysis, barrier certificate computation, and
large-scale reactor simulations. The Center maintains multi-node computing
clusters with parallel processing capabilities, GPU acceleration for neural
network-based verification approaches, and substantial data storage
infrastructure. Technical support staff provide expertise in scientific
computing, enabling efficient utilization of computational resources for formal
methods applications.
\textbf{Swanson School of Engineering.} The Mechanical Engineering and Materials Science Department within the Swanson School provides comprehensive facilities for engineering research including computational laboratories, collaborative workspaces, and access to software licenses for MATLAB/Simulink, control system design tools, and formal verification platforms. The School's emphasis on interdisciplinary research creates opportunities for collaboration across control systems, computer science, and nuclear engineering domains essential to this hybrid control synthesis methodology. \textbf{Swanson School of Engineering.} The Mechanical Engineering and Materials
Science Department within the Swanson School provides comprehensive facilities
for engineering research including computational laboratories, collaborative
workspaces, and access to software licenses for MATLAB/Simulink, control system
design tools, and formal verification platforms. The School's emphasis on
interdisciplinary research creates opportunities for collaboration across
control systems, computer science, and nuclear engineering domains essential to
this hybrid control synthesis methodology.