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
control systems
biblio
Secure Sensor Design for Resiliency of Control Systems Prior to Attack Detection
Submitted by grigby1 on Mon, 12/16/2019 - 3:59pm
Markov processes
stochastic systems
stochastic control systems
stochastic control scenarios
sensor outputs
security of data
secure sensor design
Scalability
Resiliency
resilience
Random variables
Radio frequency
pubcrawl
process control
possible attacks
Attack detection
Human behavior
Gaussian processes
Games
game theory
Detectability
defense mechanism
cyber physical systems
Cyber Physical System
Cost function
controlled Gauss-Markov process
Control Theory
control systems
control objectives
biblio
Real-Time Resiliency Assessment of Control Systems in Microgrids Using the Complexity Metric
Submitted by grigby1 on Mon, 12/16/2019 - 3:59pm
power transformers
nonlinear control systems
nonlinear interconnected system
Operational Resilience
operational resilience quantification
power electronic-based components
power electronics
power generation control
power system stability
microsoft windows
Real-time Resiliency
real-time resiliency assessment
resilience
Resiliency
Scalability
solid-state transformer
SST
weather-related disturbances
distributed power generation
Complexity Metric
complexity quantification metric
Complexity theory
control systems
Control Theory
Control Theory and Resiliency
Cyber Physical System
cyber physical systems
pubcrawl
fault tolerance
high speed winds
high-impact low-frequency weather-related events
HILF
Human behavior
Interconnected Systems
Measurement
microgrid
biblio
Tight Bound on the Stability of Control Systems over Parallel Gaussian Channels Using a New Joint Source Channel Coding
Submitted by aekwall on Mon, 11/25/2019 - 2:07pm
capacity
stability
Shannon channel capacity
parallel Gaussian channels
nonlinear joint source channel coding
noiseless linear time invariant control system
new joint source channel coding
networked control systems
Linear systems
joint source channel coding
eigenvalues-rate condition
Eigenvalues and eigenfunctions
Resiliency
AWGN channels
Gaussian channels
control systems
channel coding
channel capacity
Stability criteria
Decoding
feedback
Metrics
composability
pubcrawl
biblio
Mining Software Repositories for Predictive Modelling of Defects in SDN Controller
Submitted by grigby1 on Tue, 11/12/2019 - 4:26pm
predictive modelling
Stochastic processes
software release management
software metrics
software development management
software defined networking control plane
software defined networking
software defect metrics
Software
security
Reliability
public domain software
pubcrawl
Protocols
program debugging
production grade SDN controller
predictive security metrics
OpenDaylight architecture
open source SDN controller platform
network operating system
mining software repositories
Metrics
Git version control system
Data mining
control systems
Configuration Management
computer network management
Computer bugs
bug repository
bug removal rates
bug manifestation
bug characteristics
biblio
SDN-Based IP Shuffling Moving Target Defense with Multiple SDN Controllers
Submitted by aekwall on Mon, 09/09/2019 - 10:49am
SDN security
control systems
Controller dependency
delays
Distributed SDN controller
IP networks
moving target defense
Multiplexing
Predictive Metrics
pubcrawl
Resiliency
Scalability
security
software-defined networking
biblio
A Novel Route Randomization Approach for Moving Target Defense
Submitted by aekwall on Mon, 09/09/2019 - 10:48am
Monitoring
IP networks
software defined networking
moving target defense
Resiliency
pubcrawl
Routing protocols
network topology
control systems
Topology
Scalability
forwarding routes
route randomization
Software Defined Network
Time-frequency Analysis
Predictive Metrics
biblio
Architectural Security Weaknesses in Industrial Control Systems (ICS) an Empirical Study Based on Disclosed Software Vulnerabilities
Submitted by aekwall on Mon, 08/26/2019 - 10:07am
industrial control
supervisory control
Software
security weaknesses
security of data
security
SCADA systems
SCADA configuration
resilience
pubcrawl
policy-based governance
PLC
Metrics
internet
integrated circuits
Industrial Control Systems
architectural root cause
industrial automation
improper input validation
ICS systems
human-machine interfaces
Human Factors
Human behavior
disclosed software vulnerabilities
Data mining
data acquisition
control systems
computer architecture
component-based architectures
common security architectural weaknesses
common architectural security weaknesses
authorisation
biblio
Cybersecurity assurance control baselining for smart grid communication systems
Submitted by aekwall on Mon, 08/05/2019 - 10:42am
Smart Grid
Resiliency
security assurance controls
security baseline
security categorization
security impact levels
security level
security levels
security of data
Security Technical Implementation Guides
security zone
recent innovative risk-based approaches
smart grid communication networks
smart grid communication systems
smart grid security architecture
smart grid system architecture
Smart Grids
standards
Systems Security
technical functional controls
US Defense Information Systems Agency
Human behavior
assurance
assurance baseline
Business
composability
computer security
control systems
cybersecurity assurance base lining concepts
cybersecurity assurance control baselining
cybersecurity assurance controls
Networked Control Systems Security
IEC standards
industrial automation
Information Assurance
Information systems
key cybersecurity control baselining
Metrics
national security systems
policy-based governance
pubcrawl
biblio
A Framework for Threat-Driven Cyber Security Verification of IoT Systems
Submitted by grigby1 on Fri, 06/28/2019 - 10:36am
scalable verification
model checking-based formal analysis
modeling
Object oriented modeling
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
mitigation strategies
security
security of data
Security Properties
Silicon
system deployment
system security
threat-driven cyber security verification
Alloy
Metrics
Metals
IoT systems
IoT
Internet of Things
industrial IoT infrastructures
industrial control
formal verification
distributed industrial control systems
distributed control
control systems
Compositionality
Communication channels
attack patterns
Analytical models
biblio
Reputation and trust based selfish node detection system in MANETs
Submitted by aekwall on Mon, 06/10/2019 - 10:15am
mobile ad hoc network
trust based selfish node detection system
telecommunication network routing
selfish
Routing protocols
routing layer
Routing
Resiliency
pubcrawl
packet forwarding
node authentication
node
network channel jamming
mobile ad hoc networks
Base stations
misbehavior
Metrics
Measurement
MANETs
MANET Attack Detection
MANET
Load modeling
detection
control systems
Conferences
composability
cellular telephones
« first
‹ previous
…
14
15
16
17
18
19
20
21
22
…
next ›
last »