Pseudodifferential operator, modulation space, noncommutative dynamical system, crossed product, Hilbert space representation