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
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
security
resilience
Monitoring
wireless sensor networks
pubcrawl
Resiliency
Scalability
Measurement
cyber-physical systems
sensors
computer network security
Trusted Computing
Silicon
policy-based governance
process control
feedback
Safety
collaboration
state estimation
networked control systems
closed loop systems
closed-loop control
communication infrastructure
compromised sensors
cyber-physical plants
entire plant
false data injections
far-flung locations
feedback signal
interconnected processes
local data
local process
malicious agents
multisensor networked physical experiment
Observers
primary sensor
process state
sensor-targeted attacks
stability
standard protocols
state estimates
trust-based framework
weighted consensus
false trust
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
biblio
Scalable Verification Framework for C Program
Submitted by
grigby1
on Fri, 06/28/2019 - 10:36am
abstraction refinement
automatic software verification framework
C language
C program verifiers
Complexity theory
Compositionality
context aware software verification
extended structural abstraction
lines-of-code
memory consumption
Metrics
model checking
optimization
program compilers
Program slicing
program verification
program verification problem
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
scalability issues
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
biblio
Prevention of Timing Attack in Software Defined Named Data Network with VANETs
Submitted by
aekwall
on Mon, 06/10/2019 - 10:16am
attack
attacker vehicles
composability
content
data network
Interest
computer network security
internet
Internet technique
IP networks
IPv4 addressing problems
MANET
MANET Attack Mitigation
Metrics
mobile computing
named data networking
named data networks
NDN techniques
Peer-to-peer computing
Protocols
pubcrawl
Resiliency
Safety
SDN
Software
Software Defined Network
software defined networking
Software Defined Networks
TAP protocol
telecommunication network topology
timing
Timing Attack Prevention protocol
V2I communication
V2V communication
VANET
vehicle to infrastructure communication
vehicle-to-vehicle communication
vehicular
vehicular ad hoc networks
Vehicular Ad-hoc Network
biblio
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber–Physical Systems
Submitted by
willirn1
on Thu, 05/30/2019 - 4:01pm
security of data
Vanderbilt
resilience
modeling and simulation integration platform
information and communication technologies
SURE
denial-of-service attacks
attacker-defender games
smart transportation systems
System Dynamics
learning
control
system properties
security
physical means
Cyberspace
cyber components
closed-loop systems
communication technologies
resilient cyber-physical systems
secure cyber-physical systems
Transportation
Computational modeling
Games
cyber-physical systems
Safety
information and communication technology
energy management
Cyber–physical systems (CPSs)
modeling and simulation
security and resilience
Transportation Networks
1
2
3
4
5
6
7
8
9
…
next ›
last »
