Related papers: Stability Analysis and Data-Driven State Estimatio…
This book is an extension of my doctoral dissertation, focusing on techniques for analyzing stability (dissipativity) and achieving stabilization of linear systems that are characterized by non-trivial distributed delays. It specifically…
This paper considers the problem of linear time-invariant (LTI) system identification using input/output data. Recent work has provided non-asymptotic results on partially observed LTI system identification using a single trajectory but is…
The increase in available data and complexity of dynamical systems has sparked the research on data-based system performance analysis and controller design. Recent approaches can guarantee performance and robust controller synthesis based…
This paper presents the analysis of the stability properties of PID controllers for dynamical systems with multiple state delays, focusing on the mathematical characterization of the potential sensitivity of stability with respect to…
The characterization of an interior permanent magnet synchronous machine (IPMSM) requires numerical analysis of the nonlinear magnetic motor model in different load conditions. To obtain the case-specific best machine behavior, a strategy…
Learning how complex dynamical systems evolve over time is a key challenge in system identification. For safety critical systems, it is often crucial that the learned model is guaranteed to converge to some equilibrium point. To this end,…
This work focuses on a compositional data-driven approach to verify incremental global asymptotic stability (delta-GAS) over interconnected homogeneous networks of degree one with unknown mathematical dynamics. Our proposed approach…
This paper develops a neural network based control framework that ensures system safety and input-to-state stability (ISS) for general nonlinear switched systems with unknown dynamics. Leveraging the concept of dwell time, we derive…
In the semiconductor manufacturing batch processes, each step is a complicated physiochemical batch process; generally it is difficult to perform measurements online or carry out the measurement for each run, and hence there will be delays…
This letter investigates the prescribed-instant stabilization problem for high-order integrator systems. In anothor word, the settling time under the presented controller is independent of the initial conditions and equals the prescribed…
This work studies remote state estimation of multiple linear time-invariant systems over shared wireless time-varying communication channels. We model the channel states by a semi-Markov process which captures both the random holding period…
In the present article, we discuss some aspects of the local stability analysis for a class of abstract functional differential equations. This is done under smoothness assumptions which are often satisfied in the presence of a…
In this paper, the stability analysis of quaternion-valued neural networks (QVNNs) with both leakage delay and additive time-varying delays is proposed. By employing the Lyapunov-Krasovskii functional method and fully considering the…
The output impedance matrix of a grid-connected converter plays an important role in analyzing system stability. Due to the dynamics of the DC-link control and the phase locked loop (PLL), the output impedance matrices of the converter and…
Contraction analysis is a stability theory for nonlinear systems where stability is defined incrementally between two arbitrary trajectories. It provides an alternative framework in which to study uncertain interconnections or systems with…
Many nonlinear dynamical systems can be written as Lure systems, which are described by a linear time-invariant system interconnected with a diagonal static sector-bounded nonlinearity. Sufficient conditions are derived for the global…
This paper develops a data-driven stabilization method for continuous-time linear time-invariant systems with theoretical guarantees and no need for signal derivatives. The framework, based on linear matrix inequalities (LMIs), is…
Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b)…
This paper proposes a line integral Lyapunov function approach to stability analysis and stabilization for It\^o stochastic T-S models. Unlike the deterministic case, stability analysis of this model needs the information of Hessian matrix…
Since response lags are essential in the feedback loops and are required by most physical systems, it is more appropriate to stabilize McKean-Vlasov stochastic differential equations (MV-SDEs) with common noise through the implementation of…