Abstract: Reachability analysis is a popular method to give safety guarantees for stochastic cyber-physical systems (SCPSs) that takes in a symbolic description of the system dynamics and uses ...

Abstract: Water distribution systems (WDSs) are essential infrastructures susceptible to cyber-physical attacks (CPAs) and thus require advanced defense mechanisms. This study introduces a novel, ...