Cyber Physical Games
This work addresses the challenge of designing agents for complex Cyber-Physical Systems, though it appears incremental as it builds on existing game theory and probabilistic models.
The paper tackles the problem of modeling multi-agent interactions in Cyber-Physical Systems as collaborative or adversarial games, showing that non-determinism in communication and environment leads to probabilistic evolution, and presents an algorithmic model validated on simulated Iterated Boolean Games with results supporting its validity.
We describe a formulation of multi-agents operating within a Cyber-Physical System, resulting in collaborative or adversarial games. We show that the non-determinism inherent in the communication medium between agents and the underlying physical environment gives rise to environment evolution that is a probabilistic function of agents' strategies. We name these emergent properties Cyber Physical Games and study its properties. We present an algorithmic model that determines the most likely system evolution, approximating Cyber Physical Games through Probabilistic Finite State Automata, and evaluate it on collaborative and adversarial versions of the Iterated Boolean Game, comparing theoretical results with simulated ones. Results support the validity of the proposed model, and suggest several required research directions to continue evolving our understanding of Cyber Physical System, as well as how to best design agents that must operate within such environments.