Logical Dynamic Games: Models, Equilibria, and Potentials

doi:10.1109/TAC.2024.3391652

Logical Dynamic Games: Models, Equilibria, and Potentials

2024-11-01

10

PRE

AI

DOI：10.1109/TAC.2024.3391652

原文链接

原文求助

摘要

En 中文

Logical dynamic games (LDGs) are a class of dynamic games that incorporate logical dynamics to describe the evolution of external states. Such games can be found in a wide range of natural and engineered systems, such as the Boolean network of lactose operon in Escherichia coli. However, little attention has been paid to LDGs in the control community. This article aims at developing a framework for the analysis and synthesis of LDGs under finite-horizon criteria. First, a general mathematical model of LDGs is constructed. Using dynamic programming theory, we prove that an LDG can be decomposed as a series of time-sliced static games, and the existence of pure dynamic Nash equilibrium (DNE) is proved to be equivalent to the existence of pure Nash equilibria of the decomposed time-sliced static games. To disentangle the circular dependence in the DNE calculation, a backward recursive method is proposed. Second, the concept of logical dynamic potential games (LDPGs) is proposed, and the connection between an LDG and its corresponding optimal control problem is established. Three verification conditions for a given LDG to be LDPG are presented, including time-sliced condition, closed-path condition, and potential equation condition. And a recursive algorithm is further designed for the verification of LDPGs via potential equation conditions. Third, to seek time-independent verification conditions, LDGs with action-independent transition properties are investigated. We prove that, if the auxiliary game constructed by the stage cost function is a state-based potential game, then the LDG is an LDPG. Finally, the effectiveness of the theoretical results is demonstrated by some numerical examples.

Keyword:

Dynamic Nash equilibrium (DNE)

dynamic games

dynamic programming

finite-horizon optimization

logical dynamic systems (LDSs)

potential games

Dynamic Nash equilibrium (DNE)

dynamic games

dynamic programming

finite-horizon optimization

logical dynamic systems (LDSs)

potential games

Logical Dynamic Games: Models, Equilibria, and Potentials

摘要

期刊

机构

引用论文