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
CPS modeling
biblio
A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design
Submitted by grigby1 on Thu, 07/16/2020 - 11:44am
service-oriented architecture
performance constraints
production engineering computing
pubcrawl
quality of service
resilience
Resiliency
service oriented
service oriented intelligent production line design
model-centric way
simulations
Software Architecture
Task Analysis
tools
Unified modeling language
verification method
web services
formal verification
application requirements
complex application
composability
CPS modeling
existing modeling methods
formal modeling
formal simulation verification framework
Formal Specification
Adaptation models
independent equipment network integration
Intelligent production line
large scale high-performance system
Mathematical model
Metrics
model and verification
model-based service-oriented integration approach
biblio
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making
Submitted by grigby1 on Thu, 07/16/2020 - 11:43am
Resiliency
NIST
Ontologies
ontologies (artificial intelligence)
Ontology
open systems
power engineering computing
pubcrawl
reasoning techniques
resilience
Metrics
security
simulations
smart grid stakeholders
Smart Grids
smart power grids
Unified modeling language
university collaborators
US National Institute of Standards-and-Technology
cyber-physical system
cyber physical systems
Human Factors
Human behavior
privacy
automated decision making
cognition
composability
CPS framework model
CPS modeling
CPS Privacy
cyber-physical systems
Decision Making
decision support
Decision support systems
governance collaborators
grid topologies
industry collaborators
inference mechanisms
biblio
Performance Evaluation of Some Industrial Loss of Field Protection Schemes Using a Realistic Model in The RTDS
Submitted by grigby1 on Thu, 07/16/2020 - 11:43am
Relays
phase domain model
power generation
power generation faults
power generation protection
power plants
pubcrawl
real-time-digital-simulator
realistic power generation unit
realistic system
relay protection
performance evaluation
Reliability
resilience
Resiliency
Rotors
security viewpoints
simulations
synchronous generator
Synchronous generator protection
synchronous generators
industrial loss
ANSI code
composability
CPS modeling
earthing
field protection schemes
field relay
IEEE standards
Impedance
important protection functions
industrial LOF protection schemes
admittance based schemes
Loading
LOF events
LOF relay
LOF studies
loss of field
loss of field relay
machine protection
Metrics
overvoltage protection
biblio
A Framework to embed the Unit Commitment Problem into Time Domain Simulations
Submitted by grigby1 on Thu, 07/16/2020 - 11:43am
power system security
unit commitment
time-domain analysis
time periods scheduling
time domain simulations
time domain simulation
Stability analysis
software framework
simulations
security
SCUC
rolling horizon
Resiliency
resilience
pubcrawl
power system stability
39-bus system
Power system dynamics
power system dynamic simulator
power generation scheduling
power generation dispatch
net-load variability
mixed-integer linear programming security constrained unit commitment problem
Metrics
Mathematical model
Load modeling
integer programming
Generators
frequency stability
CPS modeling
composability
biblio
Distributed Power System Simulation using Cyber-Physical Testbed Federation: Architecture, Modeling, and Evaluation
Submitted by grigby1 on Thu, 07/16/2020 - 11:43am
physical disturbances
Wide Area Monitoring System cyber-physical security
WAMS
two-bus system
transmission line modeling technique
transmission line modeling (TLM)
Testbed Federation
smart power grids
simulations
security of data
Resiliency
resilience
pubcrawl
power system simulation
power system security
attack-resilient smart grid
Metrics
load subsystems
internet
distributed simulation
distributed power system simulation
data integrity attack
data integrity
cyber-physical testbed federation
cyber-physical systems
cyber security
CPS modeling
CPS
composability
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
Using Perfect Codes in Relay Aided Networks: A Security Analysis
Submitted by grigby1 on Fri, 06/19/2020 - 11:33am
Reliability
passive eavesdropping attacks
perfect codes
PHY-layer security approaches
physical layer operations
proper security mechanism
pubcrawl
radio networks
Receivers
relay aided networks
Relays
nonnegotiable concept
reliable intermediate relays
resilience
Resiliency
security
Security analysis
selected FEC scheme
simulations
system operations
wireless channels
distinct requirements
composability
cooperative communication
CPS
CPS modeling
CPS Security
Cryptography
cyber-physical systems
Decoding
decoding frame error rate
communication environments
error injection
error probability
error statistics
FEC codes.
forward error correction
forward error correction schemes
Hamming codes
human lives
Metrics
biblio
Modeling and Analysis of CPS Availability Based on the Object-oriented Timed Petri Nets
Submitted by grigby1 on Fri, 04/24/2020 - 4:20pm
object-oriented
simulations
security-critical applications
Resiliency
resilience
Reliability
pubcrawl
Petri nets
Petri Net
object-oriented timed Petri net
object-oriented system
object-oriented methods
Availability analysis
object oriented security
Metrics
mathematical analysis method
mathematical analysis
cyber-physical systems
CPS modeling
CPS availability analysis
CPS architecture model
CPS
composability
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
autonomous smart home system
CPS modeling
software implementation
smart home environment
Smart Home
NetLogo simulation
Intelligent Agents
intelligent agent
high-level design approach
cyber-physical system modeling
cyber-physical interface
CPS layers
autonomous system
security
5C architecture
Smart homes
lighting
Resiliency
computer architecture
composability
home automation
pubcrawl
cyber-physical systems
simulation
resilience
Metrics
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
« first
‹ previous
1
2
3
4
5
6
7
next ›
last »
