arXiv subjects

Changxi Li

Publications and source records attributed to Changxi Li.

9 recordsLinked to original sources

arXiv2026

Optimal Control of Switched Systems Governed by Logical Switching Dynamics

This paper investigates the optimal co-design of logical and continuous controls for switched linear systems governed by controlled logical switching dynamics. Unlike traditional switched systems with arbitrary or state-dependent switching, the switching signals here are generated by an internal logical dynamical system and explicitly integrated into the control synthesis. By leveraging the semi-tensor product (STP) of matrices, we embed the coupled logical and continuous dynamics into a unified algebraic state-space representation, transforming the co-design problem into a tractable linear-quadratic framework. We derive Riccati-type backward recursions for both deterministic and stochastic logical dynamics, which yield optimal state-feedback laws for continuous control alongside value-function-based, state-dependent decision rules for logical switching. To mitigate the combinatorial explosion inherent in logical decision-making, a hierarchical algorithm is developed to decouple offline precomputation from efficient online execution. Numerical simulations demonstrate the efficacy of the proposed framework.

eess.SY↗

arXiv2024

Observer-Based Realization of Control Systems

A novel model reduction framework for large-scale complex systems is proposed by introducing function-type dynamic control systems via the dimension-keeping semi-tensor product (DK-STP) of matrices. Utilizing bridge matrices, the DK-STP facilitates the construction of an approximate observer-based realization (OR) of a linear control system in the form of a function-type control system, where the functions serve as observers. A necessary and sufficient condition is established for the OR-system to admit exact observer dynamics. When an exact OR-system does not exist, an extended OR-system is developed by incorporating the original system's observers into its state. Furthermore, a minimal feedback extended OR-system is constructed, and its relationship to Kalman's minimal realization is analyzed. Finally, the proposed approach is extended to nonlinear control-affine systems.

math.OC↗

arXiv2023

Design of zero-determinant strategies and its application to networked repeated games

Using semi-tensor product (STP) of matrices, the profile evolutionary equation (PEE) for repeated finite games is obtained. By virtue of PEE, the zero-determinant (ZD) strategies are developed for general finite games. A formula is then obtained to design ZD strategies for general finite games with multi-player and asymmetric strategies. A necessary and sufficient condition is obtained to ensure the availability of the designed ZD strategies. It follows that player $i$ is able to unilaterally design $k_i-1$ (one less than the number of her strategies) dominating linear relations about the expected payoffs of all players. Finally, the fictitious opponent player is proposed for networked repeated games (NRGs). A technique is proposed to simplify the model by reducing the number of frontier strategies.

math.OC↗

arXiv2022

A Remark on Evolution Equation of Stochastic Logical Dynamic Systems

Modelling is an essential procedure in analyzing and controlling a given logical dynamic system (LDS). It has been proved that deterministic LDS can be modeled as a linear-like system using algebraic state space representation. However, due to the inherently non-linear, it is difficult to obtain the algebraic expression of a stochastic LDS. This paper provides a unified framework for transition analysis of LDSs with deterministic and stochastic dynamics. First, modelling of LDS with deterministic dynamics is reviewed. Then modeling of LDS with stochastic dynamics is considered, and non-equivalence between subsystems and global system is proposed. Next, the reason for the non-equivalence is provided. Finally, consistency condition is presented for independent model and conditional independent model.

math.OC↗

arXiv2021

Matrix Expression of Bayesian Game

A matrix-based framework for Bayesian games is presented, using semi-tensor product of matrices. Static Bayesian games are considered first. Matrix expression of Bayesian games is proposed. Three kinds of conversions, which convert Bayesian games to complete information games are investigated, certain properties are obtained, including two kinds of Bayesian-Nash equilibriums. Finally, dynamic Bayesian games are considered. Markoven dynamic equations are obtained for some strategy updating rules.

math.OC↗

arXiv2019

A Note On Orthogonal Decomposition of Finite Games

Various decomposition of finite games have been proposed. The inner product of vectors plays a key role in the decomposition of finite games. This paper considers the effect of different inner products on the orthogonal decomposition of finite games. We find that only when the compatible condition is satisfied, a common decomposition can be induced by the standard inner product and the weighted inner product. To explain the result, we studied the existing decompositions, including potential based decomposition, zero-sum based decomposition, and symmetry based decomposition.

math.OC↗

arXiv2018

A Strategic Learning Algorithm for State-based Games

Learning algorithm design for state-based games is investigated. A heuristic uncoupled learning algorithm, which is a two memory better reply with inertia dynamics, is proposed. Under certain reasonable conditions it is proved that for any initial state, if all agents in the state-based game follow the proposed learning algorithm, the action state pair converges almost surely to an action invariant set of recurrent state equilibria. The design relies on global and local searches with finite memory, inertia, and randomness. Finally, existence of time-efficient universal learning algorithm is studied. A class of state-based games is presented to show that there is no universal learning algorithm converging to a recurrent state equilibrium.

math.OC↗

arXiv2018

Potential Games Design Using Local Information

Consider a multiplayer game, and assume a system level objective function, which the system wants to optimize, is given. This paper aims at accomplishing this goal via potential game theory when players can only get part of other players' information. The technique is designing a set of local information based utility functions, which guarantee that the designed game is potential, with the system level objective function its potential function. First, the existence of local information based utility functions can be verified by checking whether the corresponding linear equations have a solution. Then an algorithm is proposed to calculate the local information based utility functions when the utility design equations have solutions. Finally, consensus problem of multiagent system is considered to demonstrate the effectiveness of the proposed design procedure.

math.OC↗

arXiv2018

Observability of Boolean Networks via Set Controllability Approach

The controllability and observability of Boolean control network(BCN) are two fundamental properties. But the verification of latter is much harder than the former. This paper considers the observability of BCN via controllability. First, the set controllability is proposed, and the necessary and sufficient condition is obtained. Then a technique is developed to convert the observability into an equivalent set controllability problem. Using the result for set controllability, the necessary and sufficient condition is also obtained for the observability of BCN.

math.OC↗