Runtime Enforcement of Cyber-Physical Systems

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden. Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embedded Comput. Syst., 16(5), 2017. [doi]

Abstract

Abstract is missing.