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.
Verification calibration cyber-physical systems
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
Full Text (Upload PDF)
PPT (Upload PPT)