How can a smart cyber-physical system validate its run-time adaptation actions before and after executing them?
Time has come for engineered systems to behave smartly. Towards this end, they need (i) to collect data directly from real life processes, (ii) to build situation awareness, (iii) to reason about their operational states, (iv) to determine the best servicing objectives, (v) to plan their run-time adaptation, and (vi) to provide dependable operations/services even under dynamically changing circums
