Researcher profile

Hongsheng Qi

Hongsheng Qi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2022arXiv

Algorithm design and approximation analysis on distributed robust game

We design a distributed algorithm to seek generalized Nash equilibria of a robust game with uncertain coupled constraints. Due to the uncertainty of parameters in set constraints, we aim to find a generalized Nash equilibrium in the worst case. However, it is challenging to obtain the exact equilibria directly because the parameters are from general convex sets, which may not have analytic expressions or are endowed with high-dimensional nonlinearities. To solve this problem, we first approximate parameter sets with inscribed polyhedrons, and transform the approximate problem in the worst case into an extended certain game with resource allocation constraints by robust optimization. Then we propose a distributed algorithm for this certain game and prove that an equilibrium obtained from the algorithm induces an $ε$-generalized Nash equilibrium of the original game, followed by convergence analysis. Moreover, resorting to the metric spaces and the analysis on nonlinear perturbed systems, we estimate the approximation accuracy related to $ε$ and point out the factors influencing the accuracy of $ε$.

preprint2022arXiv

Analytical stochastic macroscopic fundamental diagram driven by Wiener process

The macroscopic fundamental diagram (MFD) is a powerful and popular tool that describes a network scale traffic operational state and serve as the plant model of perimeter control. As both the supply and the demand suffer from random disturbances, the traffic flow dynamics cannot be said to be deterministic. A stochastic MFD model can generate a stochastic evolution of the system state with desired distribution of aggregated variables is still lacking. A stochastic formulation of MFD, that considers the accumulation-dependent variations, is proposed to fill this gap. The model is based on the stochastic differential equation (SDE) theory. First, the exit flow variation is formulated as a Wiener-driven process, which admits the accumulation-of dependent variations. The stochastic MFD model is then constructed by combining the exit flow variations model. The solution of the system state is derived by the forward Fokker-Planck equation. The stability of the model is analyzed, and the parameters of a calibration method are provided. Several cases of the model are then tested. The results show that the model can be applied to different functional MFD forms, and the hysteresis and gridlock phenomenon is reproduced. The proposed MFD model can be used in the network analysis and control that considers the system's stochastic evolution.

preprint2022arXiv

Invariant and Dual Invariant Subspaces of $k$-valued Networks

Consider a $k$-valued network. Two kinds of (control) invariant subspaces, called state and dual invariant subspaces, are proposed, which are subspaces of state space and dual space respectively. Algorithms are presented to verify whether a dual subspace is a dual or dual control invariant subspace. The bearing space of $k$-valued (control) networks is introduced. Using the structure of bearing space, the universal invariant subspace is introduced, which is independent of the dynamics of particular networks. Finally, the relationship between state invariant subspace and dual invariant subspace of a network is investigated. A duality property shows that if a dual subspace is invariant then its perpendicular state subspace is also invariant and vice versa.

preprint2021arXiv

Distributed Algorithms that Solve Boolean Equations with Local and Differential Privacies

In this paper, we propose distributed algorithms that solve a system of Boolean equations over a network, where each node in the network possesses only one Boolean equation from the system. The Boolean equation assigned at any particular node is a {\em private} equation known to this node only, and the nodes aim to compute the exact set of solutions to the system without exchanging their local equations. We show that each private Boolean equation can be locally lifted to a linear algebraic equation under a basis of Boolean vectors, leading to a network linear equation that is distributedly solvable using existing distributed linear equation algorithms as a subroutine. A number of exact or approximate solutions to the induced linear equation are then computed at each node from different initial values. The solutions to the original Boolean equations are eventually computed locally via a Boolean vector search algorithm. We prove that given solvable Boolean equations, when the initial values of the nodes for the distributed linear equation solving step are i.i.d selected according to a uniform distribution in a high-dimensional cube, our algorithms return the exact solution set of the Boolean equations at each node with high probability. Furthermore, we present an algorithm for distributed verification of the satisfiability of Boolean equations, and prove its correctness. Finally, we show that by utilizing linear equation solvers with differential privacy to replace the in-network computing routines, the overall distributed Boolean equation algorithms can be made differentially private. Under the standard Laplace mechanism, we prove an explicit level of noises that can be injected in the linear equation steps for ensuring a prescribed level of differential privacy.