  We study several examples from quantum control theory in the framework of
Wigner functions and measures for infinite dimensional open quantum systems. An
axiomatic definition of coherent quantum feedback is proposed within this
setting.
