Fractional Differential Equations

The Theory of Matrices. By F R. Gantmacher. Two volumes, pp. 374 and 276. 1959. (Translated from the Russian by K. A. Hirsch; Chelsea Publishing Company, New York)

Large linear systems of saddle point type arise in a wide variety of applications throughout computational science and engineering. Due to their indefiniteness and often poor spectral properties, such linear systems represent a significant challenge for solver developers. In recent years there has been a surge of interest in saddle point problems, and numerous solution techniques have been proposed for this type of system. The aim of this paper is to present and discuss a large selection of solution methods for linear systems in saddle point form, with an emphasis on iterative methods for large and sparse problems.

/pdf/numerical-solution-of-saddle-point-problems-l583iob5c2.pdf

Numerical solution of saddle point problems

Cyber-physical systems are ubiquitous in power systems, transportation networks, industrial control processes, and critical infrastructures. These systems need to operate reliably in the face of unforeseen failures and external malicious attacks. In this paper: (i) we propose a mathematical framework for cyber-physical systems, attacks, and monitors; (ii) we characterize fundamental monitoring limitations from system-theoretic and graph-theoretic perspectives; and (ii) we design centralized and distributed attack detection and identification monitors. Finally, we validate our findings through compelling examples.

/pdf/attack-detection-and-identification-in-cyber-physical-3fy6vyw4zt.pdf

Attack Detection and Identification in Cyber-Physical Systems

Cyber-physical systems integrate computation, communication, and physical capabilities to interact with the physical world and humans. Besides failures of components, cyber-physical systems are prone to malignant attacks, and specific analysis tools as well as monitoring mechanisms need to be developed to enforce system security and reliability. This paper proposes a unified framework to analyze the resilience of cyber-physical systems against attacks cast by an omniscient adversary. We model cyber-physical systems as linear descriptor systems, and attacks as exogenous unknown inputs. Despite its simplicity, our model captures various real-world cyber-physical systems, and it includes and generalizes many prototypical attacks, including stealth, (dynamic) false-data injection and replay attacks. First, we characterize fundamental limitations of static, dynamic, and active monitors for attack detection and identification. Second, we provide constructive algebraic conditions to cast undetectable and unidentifiable attacks. Third, by using the system interconnection structure, we describe graph-theoretic conditions for the existence of undetectable and unidentifiable attacks. Finally, we validate our findings through some illustrative examples with different cyber-physical systems, such as a municipal water supply network and two electrical power grids.

Attack Detection and Identification in Cyber-Physical Systems -- Part I: Models and Fundamental Limitations

New preconditioners for saddle point problems

We present a Hermitian and skew-Hermitian splitting (HSS) iteration method for solving large sparse continuous Sylvester equations with non-Hermitian and positive definite/semidefinite matrices. The unconditional convergence of the HSS iteration method is proved and an upper bound on the convergence rate is derived. Moreover, to reduce the computing cost, we establish an inexact variant of the HSS iteration method and analyze its convergence property in detail. Numerical results show that the HSS iteration method and its inexact variant are efficient and robust solvers for this class of continuous Sylvester equations.

On Hermitian and Skew-Hermitian Splitting Ietration Methods for the Continuous Sylvester Equations

On semi-convergence of parameterized Uzawa methods for singular saddle point problems☆

For the singular, non-Hermitian, and positive semidefinite systems of linear equations, we derive necessary and sufficient conditions for guaranteeing the semi-convergence of the Hermitian and skew-Hermitian splitting (HSS) iteration methods. We then investigate the semi-convergence factor and estimate its upper bound for the HSS iteration method. If the semi-convergence condition is satisfied, it is shown that the semi-convergence rate is the same as that of the HSS iteration method applied to a linear system with the coefficient matrix equal to the compression of the original matrix on the range space of its Hermitian part, that is, the matrix obtained from the original matrix by restricting the domain and projecting the range space to the range space of the Hermitian part. In particular, an upper bound is obtained in terms of the largest and the smallest nonzero eigenvalues of the Hermitian part of the coefficient matrix. In addition, applications of the HSS iteration method as a preconditioner for Krylov subspace methods such as GMRES are investigated in detail, and several examples are used to illustrate the theoretical results and examine the numerical effectiveness of the HSS iteration method served either as a preconditioner for GMRES or as a solver.

https://www.it.uu.se/edu/course/homepage/rtcs/vt12/Paper2.pdf

On semi-convergence of Hermitian and skew-Hermitian splitting methods for singular linear systems

To reduce the communication among processors and improve the computing time for solving linear complementarity problems, we present a two-step modulus-based synchronous multisplitting iteration method and the corresponding symmetric modulus-based multisplitting relaxation methods. The convergence theorems are established when the system matrix is an H+-matrix, which improve the existing convergence theory. Numerical results show that the symmetric modulus-based multisplitting relaxation methods are effective in actual implementation.

Zhong-Zhi Bai

Papers

New preconditioners for saddle point problems

On Hermitian and Skew-Hermitian Splitting Ietration Methods for the Continuous Sylvester Equations

On semi-convergence of parameterized Uzawa methods for singular saddle point problems☆

On semi-convergence of Hermitian and skew-Hermitian splitting methods for singular linear systems

Modulus‐based synchronous multisplitting iteration methods for linear complementarity problems