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
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
decentralized safety administration
Security analysis
Secure File Sharing
Safety
Resiliency
resilience
pubcrawl
Peer-to-peer computing
outsourcing data
outsourcing
Metrics
Human Factors
Human behavior
fine-grained data access control
encryption
Distributed databases
Access Control
Data Security
data integrity
Cryptography
CP-ABE
composability
cloud storage
cloud service provider
cloud server
Cloud Computing
ciphertext-policy attribute based encryption
blockchains
blockchain-based secure cloud file sharing scheme
blockchain technology
blockchain
authorisation
biblio
Checked C: Making C Safe by Extension
Submitted by grigby1 on Thu, 09/26/2019 - 10:24am
incremental conversion
tools
storage management
static analysis
spatial safety
security
Safety
Safe Coding
Resiliency
resilience
pubcrawl
programming languages
program debugging
policy-based governance
performance evaluation
Metrics
backward-compatibility
Human Factors
Human behavior
highly performant code
developer control
Cyclones
Computer bugs
collaboration
checked region
checked pointer
checked C's design
C++ language
C safe
bounds-safe interfaces
Benchmark testing
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
automotive
detection
driver models
driving behavior modeling
HAV
Highly Automated Vehicles
Human behavior
human interaction
human operated traffic
neurophysiological sensors
performance optimization
Safety
Transportation
biblio
Truth-Aware Optimal Decision-Making Framework with Driver Preferences for V2V Communications
Submitted by grigby1 on Mon, 08/05/2019 - 11:36am
Trusted Computing
pubcrawl
reported road events
resilience
Resiliency
Roads
Safety
Scalability
sensors
trust-aware decision-making framework
policy-based governance
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
false data
appropriate human preference factors
Bayes rule
collaboration
data trustworthiness
Decision Making
decision-making process
Dempster Shafer Theory
event belief
Accidents
false information
false trust
incorporate driver preferences
Intelligent Transportation System
Intelligent Transportation Systems
malicious actors
multiple-vehicle attack
optimal action
biblio
Trust-Based Framework for Resilience to Sensor-Targeted Attacks in Cyber-Physical Systems
Submitted by grigby1 on Mon, 08/05/2019 - 11:36am
sensor-targeted attacks
Observers
policy-based governance
primary sensor
process control
process state
pubcrawl
resilience
Resiliency
Safety
Scalability
security
networked control systems
sensors
Silicon
stability
standard protocols
state estimates
state estimation
trust-based framework
Trusted Computing
weighted consensus
wireless sensor networks
false trust
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
CPS resilience
far-flung locations
feedback
feedback signal
interconnected processes
local data
local process
malicious agents
Measurement
Monitoring
multisensor networked physical experiment
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
reliable trusted information dissemination
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
data oriented trust models
safety applications
secure environment
secure trusted network
smart cities
steep-curve warnings
surrounding infrastructure
transportation technology
Trust management
Trust models
vehicular nodes
false trust
probability
Safety
Computational modeling
resilience
pubcrawl
Resiliency
Scalability
Data models
information dissemination
computer network security
network nodes
Internet-of-Things
Internet of Things
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
« first
‹ previous
…
24
25
26
27
28
29
30
31
32
…
next ›
last »
