Compositional analysis of networked cyber-physical systems: safety and privacy

Zhenqi Huang. Compositional analysis of networked cyber-physical systems: safety and privacy. PhD thesis, University of Illinois Urbana-Champaign, USA, 2016. [doi]

Abstract

Abstract is missing.