This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (January 2016) (Learn how and when to remove this message) The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Negative imaginary systems" – news · newspapers · books · scholar · JSTOR (January 2016) (Learn how and when to remove this message) (Learn how and when to remove this message)

Negative imaginary (NI) systems theory was introduced by Lanzon and Petersen in.^[1][2] A generalization of the theory was presented in ^[3] In the single-input single-output (SISO) case, such systems are defined by considering the properties of the imaginary part of the frequency response G(jω) and require the system to have no poles in the right half plane and ${\displaystyle j(G(j\omega )-G(j\omega )^{\ast })}$ > 0 for all ω in (0, ∞). This means that a system is Negative imaginary if it is both stable and a nyquist plot will have a phase lag between [-π 0] for all ω > 0.

Source:^[3]

A square transfer function matrix ${\displaystyle G(s)}$ is NI if the following conditions are satisfied:

1. ${\displaystyle G(s)}$ has no pole in ${\displaystyle Re[s]>0}$.
2. For all ${\displaystyle \omega \geq 0}$ such that ${\displaystyle j\omega }$ is not a pole of ${\displaystyle G(s)}$ and ${\displaystyle j\left(G(j\omega )-G(j\omega )^{\ast }\right)\geq 0}$.
3. If ${\displaystyle s=j\omega _{0},\omega _{0}>0}$ is a pole of ${\displaystyle G(s)}$, then it is a simple pole and furthermore, the residual matrix ${\textstyle K=\lim _{s\to j\omega _{0}}(s-j\omega _{0})jG(s)}$ is Hermitian and positive semidefinite.
4. If ${\displaystyle s=0}$ is a pole of ${\displaystyle G(s)}$, then ${\textstyle \lim _{s\to 0}s^{k}G(s)=0}$ for all ${\displaystyle k\geq 3}$ and ${\textstyle \lim _{s\to 0}s^{2}G(s)}$ is Hermitian and positive semidefinite.

These conditions can be summarized as:

1. The system ${\displaystyle G(s)}$ is stable.
2. For all positive frequencies, the nyquist diagram of the system response is between [-π 0].

Source:^[3]

Let ${\displaystyle {\begin{bmatrix}{\begin{array}{c|c}A&B\\\hline C&D\end{array}}\end{bmatrix}}}$ be a minimal realization of the transfer function matrix ${\displaystyle G(s)}$. Then, ${\displaystyle G(s)}$ is NI if and only if ${\displaystyle D=D^{T}}$ and there exists a matrix

${\displaystyle P=P^{T}\geq 0,{\text{ }}W\in \mathbb {R} ^{m\times m},{\text{and }}L\in \mathbb {R} ^{m\times n}}$ such that the following LMI is satisfied:

${\displaystyle {\begin{bmatrix}PA+A^{T}P&PB-A^{T}C^{T}\\B^{T}P-CA&-(CB+B^{T}C^{T})\end{bmatrix}}={\begin{bmatrix}-L^{T}L&-L^{T}W\\-W^{T}L&-W^{T}W\end{bmatrix}}\leq 0.}$

This result comes from positive real theory after converting the negative imaginary system to a positive real system for analysis.