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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
cyber-physical system
biblio
Security for Safety: A Path Toward Building Trusted Autonomous Vehicles
Submitted by
grigby1
on Wed, 10/23/2019 - 11:35am
cyber-physical system
estimation
Human behavior
Human Factors
Metrics
pubcrawl
resilience
Resiliency
Safety
Scalability
security
Security Risk Estimation
Self-Driving Car
Sensor attack
biblio
Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed
Submitted by
willirn1
on Fri, 05/31/2019 - 9:41am
System-security co-design
actuation capability
Analytical models
Computational modeling
computer architecture
computer security
CPS attack experiments
cyber components
cyber physical systems
cyber-attack effect evaluation
cyber-physical system
cyber-physical systems
cybersecurity design process
embedded computers
embedded systems
Experimentation
Hardware
hardware-in-the loop simulation
hardware-in-the-loop
hardware-in-the-loop simulation testbed
HIL testbed
model based software development framework
Model Integrated Computing
physical components
physical system
platform specific performance measurements
railway transportation system
resilience
security of data
simulation environment
Software
software engineering
system functions
testbed
Vanderbilt
vulnerability assessment
biblio
A Stochastic Game Approach to Cyber-Physical Security with Applications to Smart Grid
Submitted by
grigby1
on Fri, 02/22/2019 - 3:04pm
security
security of data
Games
pubcrawl
Resiliency
Scalability
Conferences
Nash Equilibrium
cyber attack
cyber-physical systems
power engineering computing
power system security
game-theoretic approach
cyber-physical system
Smart Grids
smart power grids
Smart Grid
Markov processes
CPS
cyber layer
cyber-physical security
defending strategies
effective defense strategies
physical damage
Physical layer
physical system
power system measurement
Power system protection
stochastic game approach
stochastic games
system operator
value iteration
wide-area monitoring
zero-sum Markov game
Stochastic computing
biblio
Methodology to Estimate Attack Graph System State from a Simulation of a Nuclear Research Reactor
Submitted by
grigby1
on Fri, 02/08/2019 - 3:29pm
Databases
Predictive models
safety-critical software
security of data
tools
resilience
Temperature sensors
pubcrawl
Metrics
Resiliency
composability
graph theory
Cybersecurity
cyber-physical systems
attack graph
attack graph system state
cyber-physical system
formal verification
hybrid attack graph
Inductors
nuclear engineering computing
nuclear research reactor
safety-critical applications
SCADA System Security
security testing
state estimation
verification procedure
Vulnerability Evaluation
attack graphs
biblio
A Game-Theoretic Approach to Secure Control of Communication-Based Train Control Systems Under Jamming Attacks
Submitted by
grigby1
on Fri, 10/26/2018 - 4:04pm
pubcrawl
game theoretic security
Human Factors
Metrics
Scalability
Communication-Based Train Control
cyber-physical system
jamming attack
secure control
Stochastic game
biblio
A secure and reliable coding scheme over wireless links in cyber-physical systems
Submitted by
grigby1
on Fri, 10/26/2018 - 3:52pm
coding scheme reliability
coding scheme security
communication protocol security
Cryptographic Protocols
cyber threats
cyber-physical system
cyber-physical systems
embedded systems
encoding
encryption
encryption matrices
forward error correction
forward error correction coding
lightweight coding method
matrix algebra
network coding
Protocols
pubcrawl
radio links
radio networks
Receivers
Reliability
replay attacks
Resiliency
Scalability
security
telecommunication network reliability
telecommunication security
transmission protocol
Wireless communication
wireless communication links
wireless network
wireless networks
wireless sensor networks
biblio
Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed
Submitted by
Katie Dey
on Sun, 09/30/2018 - 11:22am
cyber-physical systems
embedded systems
hardware-in-the loop simulation
security of data
software engineering
cyber-attack effect evaluation
hardware-in-the-loop simulation testbed
embedded computers
system functions
HIL testbed
simulation environment
cybersecurity design process
platform specific performance measurements
railway transportation system
CPS attack experiments
model based software development framework
cyber components
physical components
physical system
actuation capability
cyber physical systems
Software
Computational modeling
Analytical models
computer architecture
computer security
Hardware
hardware-in-the-loop
Model Integrated Computing
vulnerability assessment
resilience
cyber-physical system
Experimentation
testbed
biblio
Towards Formal Security Analysis of Industrial Control Systems
Submitted by
grigby1
on Thu, 06/07/2018 - 1:56pm
formal methods
security
pubcrawl
composability
formal analysis
physical layer security
resilience
Metrics
Resiliency
cyber-physical system
formal models
practical security assessment
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
Automated Vulnerability Analysis Technique for Smart Grid Infrastructure
Submitted by
grigby1
on Thu, 05/24/2018 - 11:30am
automated power electricity network
automated vulnerability analysis
composability
Compositionality
computer architecture
Computer bugs
cyber-physical system
cyber-physical system security
embedded software
embedded software vulnerability discovery
general systems
Korean smart grid environment
Metrics
power electricity infrastructure
power engineering computing
power grid system
power grid vulnerability analysis
Power system protection
pubcrawl
resilience
Resiliency
security
security of data
security vulnerability analysis
Smart Grid
smart grid infrastructure
Smart Grids
smart meters
smart power grids
static analysis
Vulnerability Analysis
vulnerability analysis methodologies
vulnerability discovery method
1
2
3
4
next ›
last »
