Logical Dynamic Games: Models, Equilibria, and Potentials

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 att...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on automatic control Ročník 69; číslo 11; s. 7584 - 7599
Hlavní autoři: Li, Changxi, Li, Aming, Wu, Yuhu, Wang, Long
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.11.2024
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:
Algorithms
Boolean functions
Cost function
Decomposition
dynamic games
Dynamic Nash equilibrium (DNE)
Dynamic programming
Dynamical systems
E coli
finite-horizon optimization
Game theory
Games
Heuristic algorithms
Lactose
logical dynamic systems (LDSs)
Mathematical models
Nash equilibrium
Optimal control
potential games
Power system dynamics
Recursive methods
Stochastic processes
Verification
ISSN:0018-9286, 1558-2523
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0018-9286
1558-2523
DOI:10.1109/TAC.2024.3391652