default author photo

Chengyi Xia

Tiangong University

China

SCHOLARLY PAPERS

3

DOWNLOADS

78

TOTAL CITATIONS

0

Scholarly Papers (3)

1.

Stp-Based Verification and Synthesis of State Opacity for Logical Finite State Machines

Number of pages: 16 Posted: 03 Nov 2022
Weiwei Han, Yi Li, Zhipeng Zhang and Chengyi Xia
Tianjin University of Technology, Tianjin University of Technology, Tiangong University and Tiangong University
Downloads 37 (1,222,651)

Abstract:

Loading...

Logical dynamic systems, algebraic approach, semi-tensor product of matrices, finite state machine, opacity

2.

Percolation Behavior Analysis of Weighted Edge-Coupled Interdependent Networks

Number of pages: 26 Posted: 01 Nov 2022
Yufeng Xie, Shiwen Sun, Chengyi Xia and Li Wang
Tianjin University of Technology, Tianjin University of Technology, Tiangong University and Tianjin University of Technology
Downloads 30 (1,318,317)

Abstract:

Loading...

Interdependent Networks, Edge-coupled, Network Robustness, Self-consistent Probability Theory, Coupling Strength

3.

Reinforcement learning and game-based optimal output consensus control for high-order multi-agent systems with unknown dead-zone inputs

Number of pages: 43 Posted: 03 Feb 2026
Yanfen Song, Jin-Liang Wang, Yawen Qu and Chengyi Xia
Tiangong University, Tiangong University, Tiangong University and Tiangong University
Downloads 11 (1,541,665)

Abstract:

Loading...

High-order nonlinear multi-agent system, Practical output consensus, Reinforcement learning, Actor-critic neural networks, Backstepping method