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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
CPS modeling
biblio
High Level Design of a Home Autonomous System Based on Cyber Physical System Modeling
Submitted by
grigby1
on Wed, 09/12/2018 - 10:43am
security
Metrics
resilience
simulation
cyber-physical systems
pubcrawl
home automation
composability
computer architecture
Resiliency
lighting
Smart homes
5C architecture
autonomous smart home system
autonomous system
CPS layers
cyber-physical interface
cyber-physical system modeling
high-level design approach
intelligent agent
Intelligent Agents
NetLogo simulation
Smart Home
smart home environment
software implementation
CPS modeling
biblio
Objective Metrics and Gradient Descent Algorithms for Adversarial Examples in Machine Learning
Submitted by
grigby1
on Wed, 09/12/2018 - 10:43am
Metrics
resilience
simulation
pubcrawl
composability
machine learning
Resiliency
adversarial examples
CPS modeling
biblio
Hardware Identification via Sensor Fingerprinting in a Cyber Physical System
Submitted by
K_Hooper
on Wed, 01/10/2018 - 11:09am
CPS modeling
simulation
Acoustic Fingerprints
Acoustics
Attack detection
communication channel
composability
control engineering computing
CPS
cyber physical systems
cyber security
cyber-physical systems
cyberphysical system
deterministic model
fingerprint identification
hardware identification
Human behavior
industrial control
Industrial Control Systems
Noise measurement
noise pattern
Object recognition
physical attacks
process control
pubcrawl
realistic water treatment testbed
reference noise pattern
Resiliency
security
sensor fingerprinting
sensor measurements
Temperature measurement
threat models
ultrasonic level sensors
Ultrasonic variables measurement
Water Distribution Testbed
biblio
Entropy and Minimal Data Rates for State Estimation and Model Detection
Submitted by
grigby1
on Tue, 09/05/2017 - 1:25pm
composability
CPS modeling
estimation
Metrics
model detection
Monitoring
pubcrawl
quantization
Resiliency
simulation
topological entropy
biblio
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Submitted by
grigby1
on Tue, 09/05/2017 - 1: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
biblio
Search-based Test Case Selection of Cyber-physical System Product Lines for Simulation-based Validation
Submitted by
grigby1
on Tue, 09/05/2017 - 1:25pm
composability
CPS modeling
cyber-physical system product lines
Metrics
pubcrawl
Resiliency
search-based software engineering
simulation
Test case selection
biblio
From Simulation Models to Hybrid Automata Using Urgency and Relaxation
Submitted by
grigby1
on Tue, 09/05/2017 - 1:25pm
composability
CPS modeling
hybrid automata
hybrid systems
Metrics
numerical analysis
pubcrawl
reachability analysis
Resiliency
simulation
urgency
biblio
CPS Model Based Online Opinion Governance Modeling and Evaluation of Emergency Accidents
Submitted by
grigby1
on Tue, 09/05/2017 - 1:25pm
APP data collection
composability
CPS model
CPS modeling
emergency disaster
Metrics
online opinion analysis
pubcrawl
Resiliency
simulation
situation evaluation
biblio
Towards High-Interaction Virtual ICS Honeypots-in-a-Box
Submitted by
grigby1
on Tue, 09/05/2017 - 1:25pm
composability
CPS modeling
cyber-physical systems
honeypots
Industrial Control Systems
Metrics
pubcrawl
Resiliency
se- curity
simulation
biblio
Secure Location Verification with a Mobile Receiver
Submitted by
grigby1
on Tue, 09/05/2017 - 1:25pm
composability
CPS modeling
drones
Metrics
pubcrawl
Resiliency
secure location verification
simulation
time-difference-of-arrival
UAVs
1
2
next ›
last »
