BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Xiongping Dai

Xiongping Dai contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DSSystems and Controlmath.OCmath.GRmath.RAmath.CAmath.PRmath.FANumerical Analysis

Trust snapshot

Quick read

Trust 21 - Emerging
23works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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

23 published item(s)

preprint2022arXiv

On recurrence in zero-dimensional locally compact flow with compactly generated phase group

Let $X$ be a zero-dimensional locally compact Hausdorff space not necessarily metric and $G$ a compactly generated topological group not necessarily abelian or countable. We define recurrence at a point for any continuous action of $G$ on $X$, and then, show that if $\overline{Gx}$ is compact for all $x\in X$, the conditions (i) this dynamics is pointwise recurrent, (ii) $X$ is a union of $G$-minimal sets, (iii) the $G$-orbit closure relation is closed in $X\times X$, and (iv) $X\ni x\mapsto \overline{Gx}\in 2^X$ is continuous, are pairwise equivalent. Consequently, if this dynamics is distal, then it is equicontinuous.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

An extension of Furstenberg's structure theorem for Noetherian modules and multiple recurrence theorems III

Using a recent Furstenberg structure theorem, we obtain Multiple Recurrence Theorems relative to any locally compact second countable Noetherian module $G$ over a syndetic ring $R$, which generalizes Furstenberg's multiple recurrence theorem. In addition we study the multiple Birkhoff center and the pointwise multiple recurrence of a topological $G$-action on a compact metric space.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Pointwise convergence of ergodic averages of bounded measurable functions for amenable groups

Given any amenable group $G$ (with a left Haar measure $|\cdot|$ or $dg$), we can select out a \textit{Følner subnet} $\{F_θ,θ\inΘ\}$ from any left Følner net in $G$, which is \textit{$L^\infty$-admissible}, namely, for any Borel $G$-space $(X,\mathscr{X})$ and any $φ\in L^\infty(X,\mathscr{X})$, \begin{gather*} \lim_{θ\inΘ}\frac{1}{|F_θ|}\int_{F_θ}φ(gx)dg=φ^*(x)\ \forall x\in X\quad {\textrm{and}}\quad φ^*=(gφ)^*\ \forall g\in G. \end{gather*} Moreover, if $G$ is $σ$-compact such as a locally compact second countable Hausdorff amenable group, then $φ^*\in L^\infty(X,\mathscr{X})$, $φ^*(gx)=φ^*(x)$ \textit{a.e.}, and $φ^*$ is \textit{a.e.} independent of the choice of the admissible Følner net $\{F_θ,θ\inΘ\}$ in $G$. Consequently, we may easily obtain the ergodic disintegration of invariant probability measures for any $σ$-compact amenable group acting Borel on a compact metric space $X$ by continuous transformations of $X$, and the existence of $σ$-finite invariant Radon measures for any Borel action of an amenable group on a locally compact, $σ$-compact, metric space $X$ by continuous maps of $X$, and a $L^\infty$-pointwise multiple ergodic theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Pointwise Stabilization of Discrete-time Stationary Matrix-valued Markovian Chains

We study the pointwise stabilizability of a discrete-time, time-homogeneous, and stationary Markovian jump linear system. By using measure theory, ergodic theory and a splitting theorem of state space we show in a relatively simple way that if the system is essentially product-bounded, then it is pointwise convergent if and only if it is pointwise exponentially convergent.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Criteria of stabilizability for switching-control systems with solvable linear approximations

We study the stability and stabilizability of a continuous-time switched control system that consists of the time-invariant $n$-dimensional subsystems \dot{x}=A_ix+B_i(x)u\quad (x\in\mathbb{R}^n, t\in\mathbb{R}_+ \textrm{and} u\in\mathbb{R}^{m_i}),\qquad \textrm{where} i\in{1,...,N} and a switching signal $σ(\bcdot)\colon\mathbb{R}_+\rightarrow{1,...,N}$ which orchestrates switching between these subsystems above, where $A_i\in\mathbb{R}^{n\times n}, n\ge1, N\ge2, m_i\ge1$, and where $B_i(\bcdot)\colon\mathbb{R}^n\rightarrow\mathbb{R}^{n\times m_i}$ satisfies the condition $\|B_i(x)\|\le\bbbeta\|x\|\;\forall x\in\mathbb{R}^n$. We show that, if ${A_1,...,A_N}$ generates a solvable Lie algebra over the field $\mathbbm{C}$ of complex numbers and there exists an element $\bbA$ in the convex hull $\mathrm{co}{A_1,...,A_N}$ in $\mathbb{R}^{n\times n}$ such that the affine system $\dot{x}=\bbA x$ is exponentially stable, then there is a constant $\bbdelta>0$ for which one can design "sufficiently many" piecewise-constant switching signals $σ(t)$ so that the switching-control systems \dot{x}(t)=A_{σ(t)}x(t)+B_{σ(t)}(x(t))u(t),\quad x(0)\in\mathbb{R}^n\textrm{and} t\in\mathbb{R}_+ are globally exponentially stable, for any measurable external inputs $u(t)\in\mathbb{R}^{m_{σ(t)}}$ with $|u(t)|\le\bbdelta$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Gel'fand-type spectral radius formula and stability of linear constrained switching systems

Using ergodic theory, in this paper we present a Gel'fand-type spectral radius formula which states that the joint spectral radius is equal to the generalized spectral radius for a matrix multiplicative semigroup $\bS^+$ restricted to a subset that need not carry the algebraic structure of $\bS^+$. This generalizes the Berger-Wang formula. Using it as a tool, we study the absolute exponential stability of a linear switched system driven by a compact subshift of the one-sided Markov shift associated to $\bS$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Extremal ergodic measures and the finiteness property of matrix semigroups

Let $\bS=\{S_1,...,S_K\}$ be a finite set of complex $d\times d$ matrices and $\varSigma_{K}^+$ the compact space of all one-sided infinite sequences $i_{\bcdot}\colon\mathbb{N}\rightarrow\{1,...,K\}$. An ergodic probability $μ_*$ of the Markov shift $θ\colon\varSigma_{K}^+\rightarrow\varSigma_{K}^+;\ i_{\bcdot}\mapsto i_{\bcdot+1}$, is called "extremal" for $\bS$, if $ρ(\bS)=\lim_{n\to\infty}\sqrt[n]{\norm{S_{i_1}...S_{i_n}}}$ holds for $μ_*$-a.e. $i_{\bcdot}\in\varSigma_{K}^+$, where $ρ(\bS)$ denotes the generalized/joint spectral radius of $\bS$. Using extremal norm and Kingman subadditive ergodic theorem, it is shown that $\bS$ has the spectral finiteness property (i.e. $ρ(\bS)=\sqrt[n]{ρ(S_{i_1}...S_{i_n})}$ for some finite-length word $(i_1,...,i_n)$) if and only if for some extremal measure $μ_*$ of $\bS$, it has at least one periodic density point $i_{\bcdot}\in\varSigma_{K}^+$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Finiteness Property of a Bounded Set of Matrices with Uniformly Sub-Peripheral Spectrum

In the paper, a simple condition guaranteing the finiteness property for a bounded set of matrices is presented. Given a bounded set S of real or complex matrices, it is shown that existence of a sequence of matrix products such that the spectrum of each matrix in this sequence is uniformly sub-peripheral and tends to the joint spectral radius of S, guarantees the spectral finiteness property for S.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The finite-step realizability of the joint spectral radius of a pair of $d\times d$ matrices one of which being rank-one

We study the finite-step realizability of the joint/generalized spectral radius of a pair of real $d\times d$ matrices, one of which has rank 1. Then we prove that there always exists a finite-length word for which there holds the spectral finiteness property for the set of matrices under consideration. This implies that stability is algorithmically decidable in our case.

0 citations0 reviewsNo code linkedOpen access