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
hardware-in-the-loop simulation
biblio
Experimental Setup for Grid Control Device Software Updates in Supply Chain Cyber-Security
Submitted by grigby1 on Fri, 06/09/2023 - 12:13pm
pubcrawl
resilience
performance evaluation
malware
maintenance engineering
power grids
Relays
supply chains
Resiliency
control device software update
hardware-in-the-loop simulation
protection relay
Supply Chain Cybersecurity
Cybersecurity Damage Assessment
biblio
Cyber Attack Resilient Distance Protection and Circuit Breaker Control for Digital Substations
Submitted by grigby1 on Fri, 09/18/2020 - 1:08pm
domain-based cyber-physical security solutions
circuit breaker control
circuit breakers
Collaborative cyber defense models
cyber attack resilient distance protection
cyber intrusions
cyber–physical security test bed
digital substation
digital substations
distributed security domain layer
data injection attack
domain-based mitigation
hardware-in-the-loop simulation
protection devices
real-time digital simulator
real-time power system analysis
smart grid cybersecurity
substation cybersecurity
transient fault signature-based cross-correlation coefficient algorithm
command injection attacks
Metrics
pubcrawl
resilience
Resiliency
Integrated circuit modeling
power engineering computing
power system security
composability
power grids
power system control
security of data
Power Grid
substation automation
substation automation systems
Substations
hardware-in-the loop simulation
cyberattack
relay protection
Power system protection
biblio
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Submitted by grigby1 on Tue, 09/05/2017 - 12:25pm
composability
CPS modeling
data-driven energy consumption models
embedded systems
energy optimisation
hardware-in-the-loop simulation
Metrics
Petri nets
pubcrawl
Resiliency
satisfiability modulo theories
simulation
synthesis
timed i/o automata
verification