Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty

ACM Trans. Internet Techn., Volume 18, Issue 2, 2018, Pages 20:1-20:37.

Cited by: 3|Bibtex|Views15|Links
EI
Keywords:
Verification calibration cyber-physical systems

Abstract:

Cyber-Physical Systems (CPS) intrinsically combine hardware and physical systems with software and network, which are together creating complex and correlated interactions. CPS applications often experience uncertainty in interacting with environment through unreliable sensors. They can be faulty and exhibit runtime errors if developers h...More

Code:

Data:

Your rating :
0

 

Tags
Comments