Runtime Monitoring of Distributed Cyber-Physical Systems Without a Global Clock

Charles Koll, Houssam Abbas

We give the first theoretical characterization, and the first algorithm, for continuous monitoring of a distributed Cyber-Physical System (CPS) against a dense-time temporal logic…