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
cyber components
biblio
Runtime Enforcement for Control System Security
Submitted by aekwall on Mon, 01/25/2021 - 11:52am
observable actions
alphabet P
classical properties
corrupted controllers
cyber components
enforceable regular expression e
external events
heterogeneous physical components
incorrect actions
industrial facilities
Ligatti et al.
monitored controllers
nonobvious properties
ad-hoc sub-class
physical processes
PLC malware
potentially compromised controllers
Process calculus
programmable logic controllers
Regan's Timed Process Language
runtime enforcement
runtime enforcement techniques
specification compliance
synthesis algorithm
timed property
program verification
Monitoring
Runtime
security
critical infrastructures
Industrial Control Systems
Resiliency
Human behavior
pubcrawl
composability
Metrics
process control
security breaches
security of data
sensors
automata
industrial control
Cyber-physical attacks
actuators
control system security
actuator security
explosion
Smart Systems
controller
formal languages
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
resilience
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
hardware-in-the-loop
security of data
simulation environment
Software
software engineering
system functions
testbed
Vanderbilt
vulnerability assessment
cyber-attack effect evaluation
actuation capability
Analytical models
Computational modeling
computer architecture
computer security
CPS attack experiments
cyber components
cyber physical systems
System-security co-design
cyber-physical system
cyber-physical systems
cybersecurity design process
embedded computers
embedded systems
Experimentation
Hardware
hardware-in-the loop simulation
biblio
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber–Physical Systems
Submitted by willirn1 on Thu, 05/30/2019 - 3:01pm
cyber components
Transportation Networks
security and resilience
modeling and simulation
Cyber–physical systems (CPSs)
energy management
information and communication technology
Safety
cyber-physical systems
Games
Computational modeling
Transportation
secure cyber-physical systems
resilient cyber-physical systems
communication technologies
closed-loop systems
security of data
Cyberspace
physical means
security
system properties
control
learning
System Dynamics
smart transportation systems
attacker-defender games
denial-of-service attacks
SURE
information and communication technologies
modeling and simulation integration platform
resilience
Vanderbilt
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
Hardware
physical system
actuation capability
cyber physical systems
Software
Computational modeling
Analytical models
computer architecture
computer security
physical components
hardware-in-the-loop
Model Integrated Computing
vulnerability assessment
resilience
cyber-physical system
Experimentation
testbed
HIL testbed
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
cyber-physical systems
simulation environment
cybersecurity design process
platform specific performance measurements
railway transportation system
CPS attack experiments
model based software development framework
cyber components
biblio
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber–Physical Systems
Submitted by Katie Dey on Sun, 09/30/2018 - 11:22am
communication technologies
Transportation Networks
security and resilience
modeling and simulation
Cyber–physical systems (CPSs)
energy management
information and communication technology
Safety
cyber-physical systems
Games
Computational modeling
Transportation
resilience
secure cyber-physical systems
resilient cyber-physical systems
security of data
closed-loop systems
cyber components
Cyberspace
physical means
security
system properties
System Dynamics
smart transportation systems
attacker-defender games
denial-of-service attacks
SURE
information and communication technologies
modeling and simulation integration platform
biblio
Co-scheduling of datacenter and HVAC loads in mixed-use buildings
Submitted by el_wehby on Fri, 05/25/2018 - 3:23pm
predictive control
HVAC loads
Load modeling
Mathematical model
mixed-use buildings
mixed-use facilities
model predictive control
MPC formulation
physical components
HVAC demand
renewable energy sources
renewable energy supply
room temperature
scheduling
scheduling flexibility
solar energy
Ventilation
Atmospheric modeling
HVAC
heating ventilating and air conditioning system
Heating systems
energy loads
energy cost reduction
delay-tolerant datacenter workload
datacenter IT equipment
datacenter co-scheduling
cyber components
computer centres
carbon footprint reduction
buildings (structures)
Buildings
building energy cost minimization
battery storage
1553757
biblio
SOCCA: A Security-Oriented Cyber-Physical Contingency Analysis in Power Infrastructures
Submitted by BrandonB on Tue, 05/05/2015 - 11:31am
network topology
state estimation
SOCCA
situational awareness
security-oriented cyber-physical contingency analysis
security
power system topology
power system security
power system planning
power system contingency
power infrastructures
power grids
physical components
accidental contingency
Mathematical model
malicious compromises
Indexes
grid operation
cyber-physical systems
cyber-physical security evaluation
cyber perspective
cyber network configuration
cyber components
control network
contingency analysis
Algorithm design and analysis
biblio
SOCCA: A Security-Oriented Cyber-Physical Contingency Analysis in Power Infrastructures
Submitted by BrandonB on Fri, 05/01/2015 - 6:33am
network topology
state estimation
SOCCA
situational awareness
security-oriented cyber-physical contingency analysis
security
power system topology
power system security
power system planning
power system contingency
power infrastructures
power grids
physical components
accidental contingency
Mathematical model
malicious compromises
Indexes
grid operation
cyber-physical systems
cyber-physical security evaluation
cyber perspective
cyber network configuration
cyber components
control network
contingency analysis
Algorithm design and analysis
