3 papers
cs.LO2026
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…
cs.LO2025
Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
Charles Koll, Preston Tan Hang, Mike Rosulek +1
In distributed Cyber-Physical Systems and Internet-of-Things applications, the nodes of the system send measurements to a monitor that checks whether these measurements satisfy giv…
cs.LO2023
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour +1
We present the first decentralized algorithm for detecting predicates over continuous-time signals under partial synchrony. A distributed cyber-physical system (CPS) consists of a…