Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
water supply
biblio
Real-Time SCADA Attack Detection by Means of Formal Methods
Submitted by aekwall on Mon, 03/16/2020 - 9:29am
critical machines
Chemicals
programmable controllers
programmable logic controller
Clocks
formal methods
chemical manufacturing plants
chemical substances
control smart grid
Compositionality
real-time SCADA attack detection
SCADA control systems
SCADA water distribution system
timed automata
timed automaton
timed temporal logic
water supply
security
Semantics
SCADA Systems Security
automata theory
automata
Safety
Temporal Logic
model checking
pubcrawl
Human behavior
Resiliency
SCADA systems
SCADA
critical infrastructures
critical infrastructure
security of data
biblio
Reducing Vulnerability to Cyber-Physical Attacks in Water Distribution Networks
Submitted by grigby1 on Mon, 01/21/2019 - 11:30am
sensor measurements
power system security
programmable controllers
pubcrawl
Redundancy
redundant cyber components
Resiliency
security
security of data
power engineering computing
sensors
simple control laws
Vulnerability
water distribution
water distribution networks
water resources
water supply
digital devices
actuators
composability
control requirements
cyber attack
cyber physical systems
Cyber-physical attacks
cyber-physical security level
cyber-physical systems
actuator security
Human behavior
industrial control
Industrial Control Systems
malicious attacks
Metrics
Monitoring
physical processes
biblio
Mobile Sensor Networks for Leak and Backflow Detection in Water Distribution Systems
Submitted by el_wehby on Sun, 05/27/2018 - 9:13pm
optimization
wireless sensor networks
Wireless communication
WDS monitoring
water supply
water distribution systems
simulations
Robot sensing systems
process monitoring
Pipelines
Algorithms
Monitoring
mobile sensors
mobile sensor networks
Mobile communication
leak detection
leak and backflow detection
Image edge detection
backflow detection
1253968
biblio
A cyber-physical system for continuous monitoring of Water Distribution Systems
Submitted by el_wehby on Sun, 05/27/2018 - 9:13pm
Acoustics
continuous monitoring
cyber-physical system
Media Access Protocol
Mobile communication
mobile computing
mobile sensors
Monitoring
sensors
static sensors
water distribution system
water supply
WDS monitoring
1253968
biblio
DepSys: Dependency aware integration of cyber-physical systems for smart homes
Submitted by el_wehby on Fri, 05/25/2018 - 2:50pm
DepSys
XML
water supply
utility sensing infrastructure
system interdependency problems
smart phones
Smart homes
physical world entities
home computing
Energy resolution
Electricity supply industry
actuation infrastructure
dependency aware system integration
dependency
cyber-physical systems
CPS applications
control
Containers
Conflict Resolution
conflict detection
Availability
actuators
1536086
biblio
Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems
Submitted by grigby1 on Mon, 03/05/2018 - 12:08pm
security of data
Industrial Control Systems
Integrated circuit modeling
legacy systems
Metrics
process invariants
pubcrawl
resilience
Resiliency
security
industrial control
security requirements
security specifications
software maintenance
timed automata
UPPAAL
Valves
water supply
water treatment
computer security
and Cyber Physical Systems
Attack detection
attack detection mechanisms
automata
automata theory
Clocks
coding theory
Compositionality
6-stage operational water treatment plant
critical infrastructure
Cryptography
Cyber Attack Detection
cyber attack prevention
cyber security
formal methods
formal verification
ICs
biblio
"Water treatment in context: resources and African religion"
Submitted by grigby1 on Tue, 02/21/2017 - 12:11pm
risk factor
filtration processes
hydraulic conductivity
Microorganisms
mixtures
mortality rates
organization dependence
physical entrapment
point-of-use
pubcrawl170104
filtration
sub-Saharan Africa
surface water sources
testing
water filtration methods
Water pollution
water supply
water supply availability
water treatment
concrete filtration
Africa
African religion
Aggregates
bacterial count tests
cement mixture
cements (building materials)
compressive strength
Concrete
absorption
concrete mixtures
Containers
contaminants
contaminated water source
drinking water availability
drinking water filtration
effluent
effluents
