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
autonomous system
biblio
Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software
Submitted by grigby1 on Mon, 11/29/2021 - 2:28pm
automated repair
autonomous robots
autonomous system
composability
formal verification
maintenance engineering
Metrics
Monitoring
performance guarantee
pubcrawl
Reinforcement learning
ROS
self-healing
Software
taint analysis
uncertainty
biblio
Situational Trust in Self-aware Collaborating Systems
Submitted by aekwall on Mon, 02/01/2021 - 11:39am
autonomy
situational trust
self-awareness
self-aware collaborating systems
integrating systems
human trust
Interaction
autonomous system
ethics
autonomous systems
Conferences
groupware
collaboration
trust
biology
pubcrawl
Human behavior
Trusted Computing
Task Analysis
Runtime
biblio
Security Management and Visualization in a Blockchain-based Collaborative Defense
Submitted by aekwall on Mon, 09/28/2020 - 11:41am
Ethereum blockchain
security management dashboard
realworld defense systems
defense alliance
DDoS threat
DDoS defense system
cooperative network defense
BloSS
blockchain-based collaborative defense
blockchain signaling system
attack information
autonomous system
denial-of-service attacks
cyber security analysts
network defense
Computer crime
groupware
visualization
data visualisation
Data visualization
blockchain security
collaboration
blockchain
pubcrawl
Resiliency
DDoS Attacks
telecommunication security
Cryptography
Scalability
ddos mitigation
biblio
A Practical Attestation Protocol for Autonomous Embedded Systems
Submitted by aekwall on Mon, 08/17/2020 - 11:35am
remote device
secure operation
safe operation
PASTA
network disruptions
Mesh networks
low-end verifier devices
low-end prover devices
low-end embedded devices
existing attestation protocols
connected embedded devices
collective attestation
autonomous system
autonomous networks
autonomous embedded systems
arbitrary device outages
Internet of Things
security guarantees
Scalability
Embedded System
computer networks
Robustness
composability
pubcrawl
Human behavior
Resiliency
embedded systems
Protocols
performance evaluation
security
Remote Attestation
attestation
biblio
Common Metrics to Benchmark Human-Machine Teams (HMT): A Review
Submitted by Katie Dey on Fri, 09/13/2019 - 11:35am
Task Analysis
robotics
Metrics
human-machine teaming (HMT)
Human Factors
Benchmarking
autonomous system
robots
computer architecture
collaboration
Benchmark testing
human computer interaction
Measurement
benchmark HMT
Performance Metrics
metric classification
metric identification
human-machine teaming
benchmark human-machine teams
team working
pattern classification
Man-machine systems
Human Machine Teaming
C3E 2019
file
Security Certification of Autonomous Cyber-Physical Systems
Submitted by Yier Jin on Mon, 12/17/2018 - 11:21am. Contributors:
Yier Jin
Teng Zhang
autonomous system
sensor attacks
CPS Security
Session 12: LT
1818500
CPS-PI Meeting 2018
2018
Presentation
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
Estimation of safe sensor measurements of autonomous system under attack
Submitted by grigby1 on Wed, 12/20/2017 - 1:02pm
car-follower model
sensor security
security concerns
safety-critical software
safety concerns
safe sensor measurements
recursive least square algorithm
radar antennas
Radar
message authentication
estimation
delay injection
challenge response authentication technique
Metrics
autonomous system
attack vector
delays
Mathematical model
Computer crime
sensors
composability
Human Factors
Human behavior
Resiliency
pubcrawl
cyber-physical systems
biblio
Designing virus-resistant networks: A game-formation approach
Submitted by grigby1 on Mon, 02/27/2017 - 12:53pm
optimal network topology
worst-case Nash equilibrium
Viruses (medical)
virus-resistant network design
virus security
virus resiliency
telecommunication network topology
Stability analysis
security
pubcrawl170108
pubcrawl170107
price of anarchy
Peer-to-peer computing
autonomous system
network topology
Nash Equilibrium
Nash equilibria
internet
global optimum
Games
game-formation approach
game theory
decentralized fashion
computer viruses
computer network security
