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
Safety
biblio
A Blockchain-Based Secure Cloud Files Sharing Scheme with Fine-Grained Access Control
Submitted by
grigby1
on Thu, 09/26/2019 - 10:43am
Cloud Computing
Access Control
cloud storage
Safety
resilience
pubcrawl
Human behavior
Metrics
Resiliency
composability
Security analysis
encryption
blockchain
Cryptography
authorisation
cloud service provider
Data Security
Human Factors
cloud server
blockchain technology
Peer-to-peer computing
data integrity
outsourcing
Distributed databases
blockchain-based secure cloud file sharing scheme
blockchains
ciphertext-policy attribute based encryption
CP-ABE
decentralized safety administration
fine-grained data access control
outsourcing data
Secure File Sharing
biblio
Checked C: Making C Safe by Extension
Submitted by
grigby1
on Thu, 09/26/2019 - 10:24am
backward-compatibility
Benchmark testing
bounds-safe interfaces
C safe
C++ language
checked C's design
checked pointer
checked region
collaboration
Computer bugs
Cyclones
developer control
highly performant code
Human behavior
Human Factors
incremental conversion
Metrics
performance evaluation
policy-based governance
program debugging
programming languages
pubcrawl
resilience
Resiliency
Safe Coding
Safety
security
spatial safety
static analysis
storage management
tools
biblio
CapeVM: A Safe and Fast Virtual Machine for Resource-Constrained Internet-of-Things Devices
Submitted by
grigby1
on Thu, 09/26/2019 - 10:24am
ahead-of-time compilers
collaboration
fault isolation
Human behavior
Human Factors
Metrics
Performance
policy-based governance
pubcrawl
resilience
Resiliency
Safe Coding
Safety
sandbox
sensor nodes
virtual machines
biblio
Probably Approximate Safety Verification of Hybrid Dynamical Systems
Submitted by
willirn1
on Wed, 08/21/2019 - 6:11pm
Transportation
hybrid dynamical systems
PAC
Safety
statistically formal verification
approximate safety verification
biblio
Selecting Flow Optimal System Parameters for Automated Driving Systems
Submitted by
willirn1
on Wed, 08/21/2019 - 1:55pm
Automotive
Transportation
Driver assistance systems
simulation and modeling
optimization and control
adaptive cruise control
ACC
highway assistants
Safety
Traffic
Traffic flow
string stable
autonomous driving system parameters
Autonomous Driving
model-based optimization
biblio
Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations
Submitted by
willirn1
on Wed, 08/21/2019 - 1:35pm
DDEs
Delay Differential Equations
state variables
delayed coupling
technical dynamic systems
embedded control
safety-critical domains
Safety
safety verifications
classical stability theory
delay-dependent estimations spectral analysis
bounded verification techniques
bounded temporal horizon
unbounded temporal horizon
biblio
Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic
Submitted by
willirn1
on Wed, 08/21/2019 - 12:44pm
Automotive
Transportation
Highly Automated Vehicles
HAV
human operated traffic
human interaction
Human behavior
detection
Safety
driving behavior modeling
neurophysiological sensors
driver models
performance optimization
biblio
Truth-Aware Optimal Decision-Making Framework with Driver Preferences for V2V Communications
Submitted by
grigby1
on Mon, 08/05/2019 - 11:36am
Accidents
appropriate human preference factors
Bayes rule
collaboration
data trustworthiness
Decision Making
decision-making process
Dempster Shafer Theory
event belief
false data
false information
false trust
incorporate driver preferences
Intelligent Transportation System
Intelligent Transportation Systems
malicious actors
multiple-vehicle attack
optimal action
policy-based governance
pubcrawl
reported road events
resilience
Resiliency
Roads
Safety
Scalability
sensors
trust-aware decision-making framework
Trusted Computing
truth-aware optimal decision-making framework
utility maximization framework
V2V communications
vehicle-to-vehicle communications
vehicles
vehicular ad hoc networks
vehicular traffic stream
verifiable transmitter
biblio
Trust-Based Framework for Resilience to Sensor-Targeted Attacks in Cyber-Physical Systems
Submitted by
grigby1
on Mon, 08/05/2019 - 11:36am
closed loop systems
closed-loop control
collaboration
communication infrastructure
compromised sensors
computer network security
cyber-physical plants
cyber-physical systems
entire plant
false data injections
false trust
far-flung locations
feedback
feedback signal
interconnected processes
local data
local process
malicious agents
Measurement
Monitoring
multisensor networked physical experiment
networked control systems
Observers
policy-based governance
primary sensor
process control
process state
pubcrawl
resilience
Resiliency
Safety
Scalability
security
sensor-targeted attacks
sensors
Silicon
stability
standard protocols
state estimates
state estimation
trust-based framework
Trusted Computing
weighted consensus
wireless sensor networks
biblio
A Comparative Analysis of Trust Models for Safety Applications in IoT-Enabled Vehicular Networks
Submitted by
grigby1
on Mon, 08/05/2019 - 11:35am
Internet of Things
Safety
Computational modeling
resilience
pubcrawl
Resiliency
Scalability
Data models
information dissemination
computer network security
network nodes
Internet-of-Things
probability
VANET
vehicular ad hoc networks
sensitive information
Comparative Analysis
policy-based governance
collaboration
Vehicular Ad-hoc Network
authentic trusted information dissemination
black ice
comfortable driving experience
compromised information dissemination
data oriented trust models
end-to-end delays
entity-oriented trust models
event detection probabilities
false information dissemination
false positive rates
hybrid trust models
Intelligent Transportation Systems
IoT-enabled vehicular networks
network entities
quality-of-service related benchmarks
received information
reliable trusted information dissemination
safety applications
secure environment
secure trusted network
smart cities
steep-curve warnings
surrounding infrastructure
transportation technology
Trust management
Trust models
vehicular nodes
false trust
1
2
3
4
5
6
7
8
9
…
next ›
last »
