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 systems
biblio
LRVP: Lightweight Real-Time Verification of Intradomain Forwarding Paths
Submitted by grigby1 on Thu, 08/03/2023 - 1:56pm
composability
Forward Error Encryption
Cyberspace
autonomous systems
forward error correction
Routing protocols
network architecture
real-time systems
Routing
Logic gates
security
Resiliency
resilience
Metrics
pubcrawl
IP networks
encryption
biblio
Assurance Case Along a Safety Continuum
Submitted by grigby1 on Fri, 02/17/2023 - 5:42pm
software assurance
Goal-based regulatory Oversight
Aircraft propulsion
Uncertainty in Performance
UAS
UAM
Through-life Assurance Case
Safety Performance Indicators
Safety Continuum
Performance Based Assurance Case
Epistemic Safety
dynamic systems
autonomous systems
Acceptable Safety
machine learning
AI
Technological innovation
Aircraft
Aerospace electronics
Atmospheric modeling
complexity
certification
Ecosystems
Scalability
Safety
Resiliency
resilience
pubcrawl
biblio
Holistic Assurance Case for System-of-Systems
Submitted by grigby1 on Fri, 02/17/2023 - 5:41pm
Hazards
Uncertainty in Performance
UAS
UAM
Through-life Assurance Case
Safety Performance Indicators
Safety Continuum
Performance Based Assurance Case
Goal-based regulatory Oversight
Epistemic Safety
dynamic systems
autonomous systems
Aircraft manufacture
Acceptable Safety
software assurance
Organizations
Stakeholders
supply chains
AI
complexity
Standards organizations
certification
Ecosystems
Scalability
Safety
Resiliency
resilience
pubcrawl
machine learning
biblio
Building And Measuring Trust In Human-Machine Systems
Submitted by grigby1 on Thu, 06/09/2022 - 2:56pm
Adaptation models
security
pubcrawl
Human behavior
Conferences
Buildings
Market research
autonomous systems
trust model
trust
human trust
Man-machine systems
human-machine systems
measuring trust
biblio
Enabling Trust in Autonomous Human-Machine Teaming
Submitted by grigby1 on Thu, 06/09/2022 - 2:55pm
security
pubcrawl
Human behavior
Human Factors
Conferences
autonomous systems
trust
human trust
Pandemics
Productivity
Human intelligence
human-autonomy teaming
human-machine symbiosis technology
interaction-centered design
Symbiosis
biblio
Formal Verification of Secure Forwarding Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm
Network-Security
Veins
Security-Protocols
pubcrawl
protocol verification
Protocols
privacy
policy-based collaboration
parametrized-verification
network topology
authentication
Isabelle/HOL
Formal-Verification
data-plane
computer architecture
Compositionality
composability
collaboration
autonomous systems
authorization
biblio
Human-Agent Trust Evaluation in a Digital Twin Context
Submitted by grigby1 on Thu, 02/03/2022 - 4:18pm
pubcrawl
resilience
Resiliency
Proposals
autonomous systems
Human Factors
Robot Trust
digital twin
biblio
SoK: Autonomic Cybersecurity - Securing Future Disruptive Technologies
Submitted by grigby1 on Tue, 01/25/2022 - 4:49pm
computer architecture
pubcrawl
resilience
Resiliency
Conferences
Cybersecurity
composability
taxonomy
Complexity theory
Autonomic systems
autonomous systems
Autonomic Security
Autonomic computing
Disruptive technologies
disruptive technology
biblio
The Challenges and Opportunities of Artificial Intelligence for Trustworthy Robots and Autonomous Systems
Submitted by grigby1 on Mon, 11/08/2021 - 1:50pm
performance ofras
Trustworthy Systems
trustworthiness of ras
security
Safety
Robot sensing systems
Resiliency
resilience
pubcrawl
Artificial Intelligence
human-robot interaction
Health
Electronic mail
cyber security
cyber physical systems
cyber physical security
composability
autonomous systems
biblio
Protocols Over Things: A Decentralized Programming Model for the Internet of Things
Submitted by grigby1 on Fri, 09/17/2021 - 10:46am
Metrics
Science of Security
Scalability
Resiliency
resilience
pubcrawl
Protocols
programming
policy-based governance
autonomous systems
Logistics
Internet of Things
Intelligent systems
Human behavior
Decision Making
Correlation
composability
collaboration
1
2
3
4
next ›
last »
