TY  - RPRT
TI  - Resilience Through Data-Driven, Intelligent Designed Control: A Formal Methods Approach
AU  - Nazir, Mohammad Nawaf [Pacific Northwest National Laboratory (PNNL), Richland, WA (United States)]
AU  - Adetola, Veronica A. [Pacific Northwest National Laboratory (PNNL), Richland, WA (United States)]
AU  - Litchfield, Samuel L. [Pacific Northwest National Laboratory (PNNL), Richland, WA (United States)]
PY  - 2026
DO  - 10.2172/3020488
UR  - https://www.osti.gov/biblio/3020488
ID  - 3020488
ER  -