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
reliability theory
biblio
Microgrid Design and Control of a Hybrid Building Complex
Submitted by grigby1 on Wed, 06/02/2021 - 12:30pm
Microgrids
virtual power plants (VPP)
Turbines
Scalability
Resiliency
resilience
reliability theory
pubcrawl
PSCAD renewable generation
photovoltaics (PV)
Buildings
micro-grids
Islanding
Human behavior
Economics
distributed generation
Control Theory
Combined heat and power (CHP)
Cogeneration
biblio
Semi-Fast Byzantine-tolerant Shared Register without Reliable Broadcast
Submitted by grigby1 on Wed, 05/05/2021 - 12:43pm
Registers
Task Analysis
Servers
Safety
Safe registers
Safe Coding
Resiliency
resilience
Reliable broadcast
reliability theory
byzantine faults
pubcrawl
policy-based governance
Metrics
MDS codes
Human Factors
Human behavior
encoding
emulation
collaboration
biblio
A Cyber-Nuclear Deterrence Game
Submitted by grigby1 on Fri, 07/03/2020 - 12:43pm
nuclear brinksmanship
strategic stability
standard game theoretic model
stabilizing destabilizing effects
Stability analysis
security of data
reliability theory
preemptive cyber attacks
opponent cyber capabilities
offensive cyber weaponry
Nuclear weapons
nuclear states
nuclear command
asymmetric cyber capabilities
information structure
incomplete information games
Games
game theory
Deterrence
cyberattack
cyber-nuclear deterrence game
cyber capabilities conflict
critical component
complete information game
Bayes methods
biblio
Counterintuitive Characteristics of Optimal Distributed LRU Caching Over Unreliable Channels
Submitted by grigby1 on Tue, 02/18/2020 - 11:55am
single LRU cache
Nickel
optimal distributed LRU caching
Organizations
probability
reliability theory
reliable caches
resilience
Resiliency
resource management
Scalability
separate LRU caches
single-hop multicache distributed system
Mobile Edge Computing
storage management
symmetric channels
system design
System performance
total cache space
total memory space
unreliable channels
unreliable LRU caches
Web Caching
wired Web servers
wireless content delivery networks
data items
asymptotic miss probabilities
asymptotic miss probability
cache miss ratios
cache storage
channel unreliability probabilities
Communication Systems
counterintuitive characteristics
counterintuitive insights
critical method
data centers
Data-Intensive Applications
asymmetric cache organization
data placement
data replication schemes
data routing strategies
efficient cache organization
efficient data access
explicit unequal allocation policy
fast data access
fundamental method
Hash functions
LRU caching systems
Metrics
biblio
Symbolic execution and probabilistic reasoning
Submitted by grigby1 on Wed, 09/05/2018 - 10:42am
Systematics
systematic program analysis technique
symbolic path conditions
software system security
software system safety
program paths
program behaviors
probabilistic reasoning
event occurrence probability
Computing Theory
cognition
Probabilistic logic
Security Metrics
reliability theory
Metrics
Atmospheric modeling
inference mechanisms
probability
Software systems
program diagnostics
Computational modeling
safety-critical software
Symbolic Execution
pubcrawl
biblio
Theoretical Feasibility of Statistical Assurance of Programmable Systems Based on Simulation Tests
Submitted by grigby1 on Fri, 02/02/2018 - 1:27pm
simulated hardware platform
ultra-high reliability levels
theoretical feasibility
testing
test time expansion problem
Test Time Expansion
statistical testing
statistical test
statistical assurance
statistical analysis
software-intensive system
software reliability
software assurance
Software
simulation tests
composability
Scalability
reliability theory
Reliability
pubcrawl
protection system
programmable systems
program testing
platform simulation approach
Hardware
Failure Probability
estimation
Emulation/Simulation-enhanced Test
empirical failure probability estimation
continuous operation systems
biblio
Security risk analysis for smart grid automation
Submitted by BrandonB on Fri, 05/01/2015 - 7:48am
power engineering computing
Vulnerability Analysis
supply restoration smart grid automation
Substations
Software
smart power grids
Smart Grids
security risk analysis methodology
security
SCADA systems
risk analysis
reliability theory
random component failures
power system security
power system reliability
power system faults
attack identification
industrial automation engineering
impact analysis
IEC standards
IEC 61850
IEC 61499
fault location
fault isolation
fault diagnosis
electric grids
electric grid automation system
control engineering computing
complex system design
communications network topology
automation architecture
automation
« first
‹ previous
1
2
3
