  Quantum Markovian systems, modeled as unitary dilations in the quantum
stochastic calculus of Hudson and Parthasarathy, have become standard in
current quantum technological applications. This paper investigates the
stability theory of such systems. Lyapunov-type conditions in the Heisenberg
picture are derived in order to stabilize the evolution of system operators as
well as the underlying dynamics of the quantum states. In particular, using the
quantum Markov semigroup associated with this quantum stochastic differential
equation, we derive sufficient conditions for the existence and stability of a
unique and faithful invariant quantum state. Furthermore, this paper proves the
quantum invariance principle, which extends the LaSalle invariance principle to
quantum systems in the Heisenberg picture. These results are formulated in
terms of algebraic constraints suitable for engineering quantum systems that
are used in coherent feedback networks.
