High-confidence Software for Cyber Physical Systems Drexel University Philadephia, PA Vanderbilt University Nashville, Tennessee Aniruddha Gokhale*, Sherif Abdelwahed {a.gokhale,s.abdelwahed}@vanderb ilt.edu www.dre.vanderbilt.edu/~gokhale www.isis.vanderbilt.edu/~sherif * Proposed research ideas are based partly on prior work done for the DARPA PCES and ARMS programs. Nagarajan Kandasamy [email protected].edu www.ece.drexel.edu/ ~kandasamy
6
Embed
High-confidence Software for Cyber Physical Systems
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
High-confidence Software for Cyber Physical Systems
• Analyzability – amenable to validation and verification
3
Step 1. Algorithms for Distributed Control & Diagnosis
• System management tasks are posed as control/optimization problems and solved under dynamic and uncertain operating conditions
• Online parameter tuning and model-learning techniques can be integrated within the control framework to improve the quality of partially specified system models as well as adapt to changes in the system model itself over time
• Diagnosis algorithms will detect, isolate, and estimate the state of corrupted hardware and software components using concepts from continuous and discrete-event diagnosis, and consistency-based causality analysis.
Enterprise computing system
PerformanceOptimizer
System model (M)
Learning structure
Environment Inputs (i)
Estimators
Estimated inputs
System response (r)
System state (x)
Control decisions (d)
Control inputs
State feedback
rdi
ix
r’System Model (M’)
Faultdetection/recovery
Recovery/reconfiguration actions
Model-based control
Model-based diagnosis
Enterprise computing system
PerformanceOptimizer
System model (M)
Learning structure
Environment Inputs (i)
Estimators
Estimated inputs
System response (r)
System state (x)
Control decisions (d)
Control inputs
State feedback
rdi
ix
r’System Model (M’)
Faultdetection/recovery
Recovery/reconfiguration actions
Model-based control
Model-based diagnosis
Focus is on developing algorithms to realize incorruptible and self-healing CPSs via a combination of control and diagnostics