Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata

Anand Balakrishnan, Sheryl Paul, Simone Silvetti +2

Modern cyber-physical systems (CPS) can consist of various networked components and agents interacting and communicating with each other. In the context of spatially distributed CP…