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
Synchronization
biblio
A cyber physical power system co-simulation platform
Submitted by grigby1 on Thu, 07/16/2020 - 11:56am
power engineering computing
Voltage control
Synchronization
smart power grids
simulations
simulation
Routing protocols
Resiliency
resilience
real-time systems
pubcrawl
power system stability
power system simulation
power system security
power system control
Power Grid
automatic voltage control
Metrics
information and communication technology
hardware-in-the-loop simulation function
Hardware-in-the-loop (HIL)
hardware-in-the loop simulation
denial-of-service attack
cyber-attack
Cyber Physical System (CPS)
Cyber Physical System
cyber physical power system co-simulation platform
CPS modeling
control engineering computing
composability
closed loop systems
AVC
biblio
Study on Hybrid Collaborative Simulation Testing Method Towards CPS
Submitted by grigby1 on Thu, 07/16/2020 - 11:43am
resilience
hybrid P2P based collaborative simulation test framework
Metrics
multipriority task scheduling
Peer-to-peer computing
preemptive time threshold
program testing
pubcrawl
real-time systems
Hybrid P2P
Resiliency
scheduling
simulations
sliding window based clock synchronization
Software
Synchronization
testing
CPS system
Collaborative Simulation
collaborative simulation control strategy
composability
Computational modeling
Computer simulation
Control Strategy
CPS
CPS modeling
Analytical models
dynamic adaptive time advancement
full digital nodes
full physical nodes
groupware
Hardware
hardware in the loop nodes
hybrid collaborative simulation testing method
biblio
Unit Regression Test Selection According To Different Hashing Algorithms
Submitted by aekwall on Mon, 06/08/2020 - 11:34am
Layout
hash algorithms
unit regression test selection
Testing process
regression test selection
in-depth review
hashing algorithms
hashing
resource usage
Manuals
security
Compositionality
regression analysis
testing
program testing
Force
Synchronization
pubcrawl
Resiliency
Software
biblio
Enabling Secure Voice Input on Augmented Reality Headsets using Internal Body Voice
Submitted by grigby1 on Thu, 06/04/2020 - 11:47am
speech-based user interfaces
primary input method
privacy
pubcrawl
resilience
Resiliency
security of data
smart phones
Speech recognition
multi-agent systems
Stability analysis
Synchronization
voice spoofing attack
voice verification techniques
voice-based input
voice-spoofing attacks
voice-spoofing defense system
voice-spoofing defense systems
human voices
AR headsets
augmented reality
augmented reality headsets
composability
cyber physical systems
Eigenvalues and eigenfunctions
handy recorders
Human Factors
Aerospace electronics
immersive systems
inaudible voice commands
internal body propagation
internal body voice
Laplace equations
Linear systems
liveness detection
biblio
A Diffusional Schedule for Traffic Reducing on Network-on-Chip
Submitted by grigby1 on Fri, 05/15/2020 - 12:29pm
Schedules
network on chip
network-on-chip
NoC activities
parallel processing
parallel task execution
power aware computing
Protocols
remote data access
long-distance data synchronization
scheduling
synchronisation
Synchronization
Task Analysis
task mapping algorithm
task schedule
task traffic reduction
traffic distribution
diffusional schedule
network on chip security
Scalability
Resiliency
resilience
Metrics
application-layer optimization
Coherence
diffusional pattern
pubcrawl
energy consumption
energy efficient task schedule
energy saving
energy.
inefficient task schedule strategy
latency
latency reduction
Load modeling
biblio
Random Host and Service Multiplexing for Moving Target Defense in Software-Defined Networks
Submitted by grigby1 on Fri, 05/15/2020 - 11:36am
Resiliency
virtual ports
virtual port numbers
virtual IPs
virtual IP addresses
Synchronization
Static Network
Software-Defined Networks
software-defined networking-based MTD technique
software defined networking
Servers
scanning attacks
Scalability
RHSM
attack success probability
resilience
Reconnaissance
random IP addresses
random host and service multiplexing technique
pubcrawl
proactive defense mechanism
Network reconnaissance
Multiplexing
MTD technique
IP networks
control systems
computer network security
biblio
Security Verification of Artificial Neural Networks Used to Error Correction in Quantum Cryptography
Submitted by grigby1 on Fri, 05/08/2020 - 3:01pm
partially synchronized neural networks
telecommunication security
Synchronization
synchronisation
security verification
Resiliency
resilience
quantum cryptography
pubcrawl
policy-based governance
passive attacks
Artificial Neural Networks
Neurons
Neural Network Security
neural nets
Metrics
machine learning
error rates
error correction codes
error correction
collaboration
file
TickTalk- Timing API for Federated Cyber-physical Systems
Submitted by iannucci on Fri, 04/10/2020 - 10:19am. Contributors:
Bob Iannucci
Aviral Shrivastava
Jonathan Aldrich
smart cities
IoT
APIs
embedded computing
Synchronization
federation
TickTalk
Lightning Talks
1645578
1646235
CPS PI Meeting 2019
Lightning Talks
Presentation
biblio
A Monitorable Peer-to-Peer File Sharing Mechanism
Submitted by aekwall on Mon, 04/06/2020 - 10:15am
Scalability
peer to peer security
smart contract
peer-to-peer network system
peer-to-peer file sharing mechanism
P2P file sharing system
P2P file sharing network systems
InterPlanetary File System
file deletion
file authentication code
consortium Blockchain
General Data Protection Regulation
IPFS
storage management
Human Factors
security of data
File systems
ethereum
smart contracts
Distributed databases
Data protection
blockchain
Metrics
Peer-to-peer computing
Synchronization
pubcrawl
Resiliency
security
Monitoring
biblio
Incremental Abstraction for Diagnosability Verification of Modular Systems
Submitted by aekwall on Mon, 03/16/2020 - 10:39am
fault diagnosis
uncertain loops
simple detector automata
scalable production system
polynomial complexity
parallel lines
nonblocking
Modular systems
modular system
incremental abstraction
forbidden loops
Discrete-Event Systems
diagnosability verification
diagnosability
abstraction
scalable verification
Detectors
verification
formal verification
Compositionality
Predictive Metrics
Production systems
Scalability
automata
Complexity theory
computational complexity
control systems
feedback
Synchronization
pubcrawl
Resiliency
« first
‹ previous
…
2
3
4
5
6
7
8
9
10
next ›
last »
