Establishing formal state space models via quantization for quantum control systems | BIAI Journals & Magazine | IEEE Xplore