Work

Using Finite State Machines and Model Checking to Identify Cyber-Attack Vulnerabilities in Water Distribution Systems

Year: 2026

Type: article

Source: Journal of Water Resources Planning and Management

DOI: 10.1061/jwrmd5.wreng-6918

Authors: Cade Karrenberg, Juan Benavides, Emily Zechman Berglund, Eunsuk Kang, John Baugh

Institutions: North Carolina State University, Carnegie Mellon University

Language: English

Topic: Smart Grid Security and Resilience

Subfield: Control and Systems Engineering

Field: Engineering

Domain: Physical Sciences

SDGs: Clean water and sanitation, Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W7212222152

FWCI:

Cites: 11

Cited by:

Related to: