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-physical systems
file
Developing Models for Physical Attacks in Cyber-Physical Systems
Submitted by awhitesell on Fri, 07/13/2018 - 2:37pm
Science of Security
attack graph
cyber-physical systems
Monitoring, Fusion, and Response for Cyber Resilience
NSA SoS Lablets Materials
Ontology
Physical attack
Resilient Architectures
Science of Security
UIUC
UIUC
NSA SoS Lablets Materials
Resilient Architectures
UIUC
Monitoring, Fusion, and Response for Cyber Resilience
file
Enabling a Resilient and Self-healing PMU Infrastructure Using Centralized Network Control
Submitted by awhitesell on Fri, 07/13/2018 - 2:24pm
Secure Control Systems
Science of Security
Smart Grid Privacy
Scalability and Composability
Resiliency
Policy-Governed Secure Collaboration
Metrics
Internet of Things
cyber-physical systems
2018: July
UIUC
Software-defined networking (SDN)
Automated Synthesis Framework for Network Security and Resilience
secure control systems
Science of Security
Resilient Architectures
pubcrawl
power system observability
phasor measurement unit (PMU)
NSA SoS Lablets Materials
cyber resilience and security
NSA SoS Lablets Materials
UIUC
Automated Synthesis Framework for Network Security and Resilience
biblio
Enabling a Resilient and Self-healing PMU Infrastructure Using Centralized Network Control
Submitted by awhitesell on Fri, 07/13/2018 - 2:24pm
Secure Control Systems
Science of Security
power system observability
UIUC
Software-defined networking (SDN)
Smart Grid Privacy
secure control systems
Science of Security
Scalability and Composability
Resilient Architectures
Resiliency
pubcrawl
2018: July
Policy-Governed Secure Collaboration
phasor measurement unit (PMU)
NSA SoS Lablets Materials
Metrics
Internet of Things
cyber resilience and security
cyber-physical systems
Automated Synthesis Framework for Network Security and Resilience
NSA SoS Lablets Materials
UIUC
biblio
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Submitted by grigby1 on Thu, 06/07/2018 - 3:08pm
probability parameters
EAST-ADL
EAST-ADL constraints
EAST-ADL/Stateflow
energy constraints
extended ERT constraints
formal statistical analysis
functional quality assurance
mapping rules
modified EAST-ADL
nonfunctional quality assurance
parallel languages
probabilistic extension
domain specific architectural language
S/S models
safety-critical automotive embedded system design
semantics denotation
Simulink Design Verifier
Simulink/Stateflow integration
software packages
transformed energy-aware real-time behaviors
UPPAAL models
UPPAAL-SMC
verifiable UPPAAL- SMC models
Verification & Validation
Stochastic Computing Security
probability
security
cyber-physical systems
pubcrawl
Scalability
software quality
Analytical models
Wheels
delays
Stochastic processes
traffic engineering computing
Cameras
resilience
formal verification
CPS
embedded systems
Automotive engineering
Resiliency
quality assurance
power aware computing
software development
Stochastic computing
autonomous traffic sign recognition vehicle
cyber-physical system validation
cyber-physical system verification
biblio
On service security analysis for event log of IoT system based on data Petri net
Submitted by grigby1 on Thu, 06/07/2018 - 3:03pm
Metrics
security of data
security
Resiliency
resilience
pubcrawl
Policy-Governed Secure Collaboration
policy-based governance
Policy
Petri nets
Petri net data
neural networks security
Artificial Neural Networks
Manganese
malicious operation detection
IoT system event log
IoT service security analysis
Internet of Things
data tracking
Data models
cyber-physical systems
cyber physical systems
collaboration
biblio
Attack Scenario Modeling for Smart Grids Assessment Through Simulation
Submitted by grigby1 on Thu, 06/07/2018 - 2:56pm
security
pubcrawl
composability
physical layer security
simulation
resilience
Metrics
cyber-physical systems
Resiliency
Modeling Attacks
Smart Grids
biblio
Cross-Layer Codesign for Secure Cyber-Physical Systems
Submitted by el_wehby on Fri, 05/25/2018 - 4:22pm
cyber-physical system security
sensors
security of data
security attacks
security
schedulability
resource-constrained cyber-physical systems
functional layer technique
cybersecurity techniques
cyber-physical systems
automotive domain
Cryptography
cross-layer codesign framework
cross-layer
control-theoretic methods
control systems
control performance
Computational modeling
Codesign
Automotive engineering
1553757
biblio
DepSys: Dependency aware integration of cyber-physical systems for smart homes
Submitted by el_wehby on Fri, 05/25/2018 - 3:50pm
DepSys
XML
water supply
utility sensing infrastructure
system interdependency problems
smart phones
Smart homes
physical world entities
home computing
Energy resolution
Electricity supply industry
actuation infrastructure
dependency aware system integration
dependency
cyber-physical systems
CPS applications
control
Containers
Conflict Resolution
conflict detection
Availability
actuators
1536086
biblio
DoS Attacks in Electrical Cyber-Physical Systems: A Case Study Using TrueTime Simulation Tool
Submitted by grigby1 on Thu, 05/24/2018 - 12:30pm
predictive control
Metrics
model predictive control algorithm
networked control systems
power grid system
power grid vulnerability analysis
power grids
power system control
power system security
Mathematical model
pubcrawl
resilience
Resiliency
sensors
TrueTime Network Library
TrueTime simulation tool
TureTime Network Library
Vulnerability Analysis
Decentralized Control
Communication networks
composability
Compositionality
computer network security
control instructions actuators
Control Strategy
cyber security
cyber-physical systems
actuators
decentralized control strategies
distributed control
distributed control strategies
DoS attack
DoS attacks
ECPSs
electrical cyber-physical systems
Generators
biblio
Vulnerability Analysis of Electrical Cyber Physical Systems Using a Simulation Platform
Submitted by grigby1 on Thu, 05/24/2018 - 12:30pm
power grid vulnerability analysis
Vulnerability Analysis
Vulnerability
transmission lines
Topology
splitting incident
Simulation Platform
Resiliency
resilience
pubcrawl
protection procedure
power transmission
power system security
Power system protection
power system faults
power grids
cascading failure propagation
power grid system
Power Grid
Metrics
Mathematical model
Integrated circuit modeling
IEEE 39-bus system
Generators
framework
electrical cyber physical systems
ECPS
cyber-physical systems
Cyber Attacks
Compositionality
composability
Communication networks
« first
‹ previous
…
56
57
58
59
60
61
62
63
64
…
next ›
last »
