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
Mathematical model
biblio
Security modalities on linear network code for randomized sources
Submitted by grigby1 on Mon, 06/11/2018 - 2:34pm
randomized sources
network coding
number random symbols
optimally secure information transmission
Peer-to-peer computing
pubcrawl
r-secure
random keys
random source symbols
randomized source messages
Metrics
resilience
Resiliency
Secure network code
security
security constraints
security modalities
telecommunication security
weakly secure
wiretapped network
information symbols
composability
computational security
Conferences
cryptographic measure
Cryptography
encoding
illegitimate users
imperfectly secure
information rate
adversaries
information theoretic approach
information theoretic security bounds
Knowledge engineering
linear codes
linear network code
linear network coding scheme
Mathematical model
maximized information transmission
biblio
CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles
Submitted by el_wehby on Fri, 05/25/2018 - 3:23pm
next-generation semiautonomous vehicles
vehicular ad hoc networks
vehicles
vehicle-to-vehicle applications
vehicle-to-infrastructure applications
V2V communication network
V2I communication network
timing
Software
security
Analytical models
next-generation connected vehicle
next-generation autonomous vehicles
next generation networks
Mathematical model
holistic environment
cross-layer modeling exploration and validation framework
CONVINCE framework
Computational modeling
1553757
biblio
Co-scheduling of datacenter and HVAC loads in mixed-use buildings
Submitted by el_wehby on Fri, 05/25/2018 - 3:23pm
predictive control
HVAC loads
Load modeling
Mathematical model
mixed-use buildings
mixed-use facilities
model predictive control
MPC formulation
physical components
HVAC demand
renewable energy sources
renewable energy supply
room temperature
scheduling
scheduling flexibility
solar energy
Ventilation
Atmospheric modeling
HVAC
heating ventilating and air conditioning system
Heating systems
energy loads
energy cost reduction
delay-tolerant datacenter workload
datacenter IT equipment
datacenter co-scheduling
cyber components
computer centres
carbon footprint reduction
buildings (structures)
Buildings
building energy cost minimization
battery storage
1553757
biblio
Deep reinforcement learning for building HVAC control
Submitted by el_wehby on Fri, 05/25/2018 - 3:23pm
Aerospace electronics
Buildings
learning (artificial intelligence)
Mathematical model
Meteorology
Neural networks
Training
1553757
biblio
DoS Attacks in Electrical Cyber-Physical Systems: A Case Study Using TrueTime Simulation Tool
Submitted by grigby1 on Thu, 05/24/2018 - 11:30am
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 - 11:30am
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
biblio
Cascading Failure Initially from Power Grid in Interdependent Networks
Submitted by grigby1 on Thu, 05/24/2018 - 11:29am
Metrics
smart power grids
Robustness
Resiliency
resilience
pubcrawl
power system reliability
Power system protection
power system faults
power system
power grids
power grid vulnerability analysis
power grid system
Power Grid
power engineering computing
Nickel
blackouts
Mathematical model
intranetwork
interdependent networks
inter-network
giant component
Fragmentation
failure analysis
degree distribution
coupling networks
Compositionality
composability
complex networks
Communication networks
Communication Network
cascading failure
biblio
Improvements to Evolutionary Model Consistency Checking for a Flapping-Wing Micro Air Vehicle
Submitted by el_wehby on Thu, 05/17/2018 - 5:52pm
flapping-wing micro air vehicle
verification and validation
vehicles
Vectors
Trajectory
single wing damage fault
simulated flapping wing micro air vehicle
robot fault diagnosis
microrobots
Mathematical model
Force
Flapping-Wing Micro Air Vehicles
Adaptation models
fault diagnosis
failure diagnosis
failure analysis
evolvable and adaptive hardware
evolutionary model consistency checking
evolutionary computation
dual wing fault
candidate robot controller evaluation
autonomous aerial vehicles
Atmospheric modeling
aerospace components
1239196
biblio
Drag force fault extension to evolutionary model consistency checking for a flapping-wing micro air vehicle
Submitted by el_wehby on Thu, 05/17/2018 - 5:51pm
objective function evaluations
FW-MAV
in-flight learning trials
inference method
Linear programming
Mathematical model
mechanical engineering computing
mechanical wing
model-based inference
model-based reasoning
free-flying flapping wing vehicle
Oscillators
robot dynamics
search problems
vehicles
verification and validation
wing drag force
wing gait patterns
wing lift force
estimation error
aerospace components
altitude control errors
autonomous aerial vehicles
Drag
drag force fault extension
dual-purpose objective function evaluations
EA search
EAH oscillators
EMCC
Adaptation models
evolutionary computation
evolutionary model consistency checking
evolvable and adaptive hardware
evolvable-adaptive hardware methods
fault diagnosis
Flapping-Wing Micro Air Vehicles
flapping-wing microair vehicle
Force
1239196
biblio
A Provisional Approach to Maintaining Verification and Validation Capability in Self-Adapting Robots
Submitted by el_wehby on Thu, 05/17/2018 - 5:51pm
Mathematical model
verification-and-validation capability
verification and validation
V&V capability
temporal scales
system performance improvement
spatial scales
self-adapting robots
Robot sensing systems
provisional approach
physical components
Oscillators
microrobots
Adaptation models
Force
Flapping-Wing Micro Air Vehicles
evolvable-and-adaptive hardware
evolvable and adaptive hardware
EAH smart components
Drag
damage response
cyber physical systems
CPS
computing components
autonomous aerial vehicles
1239196
« first
‹ previous
…
21
22
23
24
25
26
27
28
29
…
next ›
last »
