Research Section

research

Impulsive Control & Non-continuous Scheduling

Background In many systems, control is applied as instantaneous impulses rather than continuous forces. Impulsive control explores how to stabilize a …

#Control Theory #Impulsive Systems #Discrete Scheduling #Non-continuous System 1 min read
research

Logic Algebra & Formal Verification

Background In safety-critical systems, testing cannot prove the absence of errors. Formal verification uses mathematical proofs to guarantee that a …

#Formal Verification #Model Checking #Temporal Logic #Safety Critical 1 min read
research

Quantum Reconstruction of Signal Processing

Background Traditional Discrete Fourier Transform (DFT) faces complexity limits with massive data. Quantum Fourier Transform (QFT) leverages quantum …

#Quantum Computing #Signal Processing #Fourier Transform #Complexity 1 min read
research

Stability Analysis of Switching Systems

Background Switching systems consist of a set of continuous-time subsystems and a logic rule governing the switching between them. Integrating …

#Control Theory #Switching Systems #Lyapunov Stability #Hybrid Systems 1 min read
research

Stochastic Dynamics & Risk Quantification

Background Real-world dynamical systems are constantly subject to noise—atmospheric turbulence, financial shocks, biological thermal noise. Stochastic …

#Stochastic Process #Fokker-Planck #Risk #SDE 1 min read
research

Topological Robustness in Complex Networks

Background From the internet to power grids and shipping networks, our world relies on complex networks. Topological robustness theory quantifies a …

#Graph Theory #Complex Networks #Robustness #topology #Percolation 1 min read