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 Theory
biblio
The Authorization Policy Existence Problem
Submitted by grigby1 on Wed, 05/16/2018 - 12:44pm
Control Theory
Resiliency
Access Control
computational complexity
Computing Theory
fixed-parameter tractability
pubcrawl
resilience
satisfiability
biblio
Formal Verification of Complex Systems: Model-Based and Data-Driven Methods
Submitted by grigby1 on Wed, 05/09/2018 - 1:47pm
pubcrawl
strategy synthesis
stochastic hybrid systems
similarity metrics
scalable verification
Scalability
Resiliency
resilience
Quantitative Verification
active learning
model checking
Metrics
formal abstractions
experiment design
Dynamical Systems
Control Theory
Compositionality
Bayesian inference
biblio
Step One Towards Science of Security
Submitted by K_Hooper on Wed, 05/09/2018 - 9:56am
Control Theory
Human behavior
Literature Review
pubcrawl
Resiliency
Scalability
Science of Security
security
Security Audits
biblio
Analysis of Causative Attacks Against SVMs Learning from Data Streams
Submitted by grigby1 on Tue, 05/01/2018 - 10:37am
Control Theory
privacy
Adversarial Machine Learning
batch learning
causative attacks
composability
Metrics
pubcrawl
resilience
Resiliency
Support vector machines
biblio
Performance Metrics for Storage-Based Transient Stability Control
Submitted by grigby1 on Tue, 05/01/2018 - 10:21am
Control Theory
feedback linearization control
Metrics
Resiliency
Smart Grid
swing equation
Transient Stability
biblio
Performance Metrics for Storage-Based Transient Stability Control
Submitted by grigby1 on Mon, 04/30/2018 - 2:08pm
Control Theory
Resiliency
feedback linearization control
Metrics
pubcrawl
Security Metrics
Smart Grid
swing equation
Transient Stability
biblio
Statistical Security Incident Forensics Against Data Falsification in Smart Grid Advanced Metering Infrastructure
Submitted by grigby1 on Mon, 03/05/2018 - 12:18pm
pubcrawl
Trust models
supervised learning
statistical anomaly detection
Smart Grid
security incident forensics
Scalability
Resiliency
resilience
relative entropy
advanced metering infrastructure
privacy
Metrics
information theory
information forensics
Human Factors
Human behavior
data falsification
Control Theory
biblio
Verification of Resilience Policies That Assist Attribute Based Access Control
Submitted by grigby1 on Mon, 03/05/2018 - 12:02pm
Control Theory
Resiliency
attribute based access control
attribute-based encryption
collaboration
Computing Theory
Human behavior
Human Factors
policy-based governance
pubcrawl
resilience
Scalability
biblio
A Factored MDP Approach to Optimal Mechanism Design for Resilient Large-Scale Interdependent Critical Infrastructures
Submitted by grigby1 on Tue, 02/27/2018 - 1:36pm
Linear programming
state spaces
security enhancement
Scalability
Resiliency
resilience
pubcrawl
power system security
power system reliability
power grids
optimal resiliency mechanism design
network theory (graphs)
network resilience
Metrics
Markov processes
Markov Decision Processes
action spaces
large-scale interdependent system
large-scale interdependent critical infrastructures
Human Factors
Human behavior
factored MDP approach
decision theory
cyber-physical dependencies
Cyber Dependencies
critical infrastructures
Control Theory
Compositionality
Cascading Failures
approximation theory
approximate linear programming
biblio
Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things
Submitted by grigby1 on Tue, 02/27/2018 - 1:28pm
Air gaps
Alloy
composability
Control Theory
cyber physical systems
device interaction modeling
Human behavior
Human Factors
Internet of Things
Metrics
privacy
pubcrawl
resilience
Resiliency
security and privacy
« first
‹ previous
…
12
13
14
15
16
17
18
19
20
next ›
last »
