Efficient and Scalable Runtime Monitoring for Cyber-Physical System

Xi Zheng, Christine Julien 0001, Rodion M. Podorozhny, Franck Cassez, Thierry Rakotoarivelo. Efficient and Scalable Runtime Monitoring for Cyber-Physical System. IEEE Systems Journal, 12(2):1667-1678, 2018. [doi]

Abstract

Abstract is missing.