Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicates
Autonomous Agents and Multi-Agent Systems, pp. 1501-1509, 2015.
We present a unified approach for studying the complexity of analysis problems for Synchronous Dynamical Systems (SyDSs), a class of graphical models for networked multiagent systems. Our approach uses predicates based on graph embeddings to capture many phase space properties of SyDSs studied in the literature and additional properties w...More
Full Text (Upload PDF)
PPT (Upload PPT)