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
contract-based design
biblio
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
Submitted by aekwall on Mon, 05/03/2021 - 12:16pm
Complexity theory
deep reinforcement learning
contract-based design
scalable verification
verification
Compositionality
Predictive Metrics
Neural networks
Scalability
Safety
contracts
Artificial Neural Networks
cyber-physical systems
Robustness
pubcrawl
Resiliency
programming
biblio
An Integrated Approach for Resilience in Industrial Control Systems
Submitted by K_Hooper on Wed, 12/20/2017 - 10:31am
Information Reuse
Software systems
self-adaptive software system
security
Run Time
Resiliency
resilience
pubcrawl
Monitoring
model-driven engineering techniques
model-driven engineering
meta-adaptive system
Adaptation models
industrial plants
Industrial Control Systems
industrial control system
industrial control
hydropower plant units
hydroelectric power
Hardware
Design Time
controller configurations
contract-based design paradigm
contract-based design