From 6e2ec938110513107929b86df91729a6c80a0d73 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 17 Nov 2025 16:39:01 -0500 Subject: [PATCH] Auto sync: 2025-11-17 16:39:01 (1 files changed) M Writing/ERLM/supplemental-sections/v1.tex --- Writing/ERLM/supplemental-sections/v1.tex | 31 ++++++++++++++++++++--- 1 file changed, 28 insertions(+), 3 deletions(-) diff --git a/Writing/ERLM/supplemental-sections/v1.tex b/Writing/ERLM/supplemental-sections/v1.tex index dc69e6050..895cbd4db 100644 --- a/Writing/ERLM/supplemental-sections/v1.tex +++ b/Writing/ERLM/supplemental-sections/v1.tex @@ -8,8 +8,33 @@ \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.