Operational time of arrival in quantum phase space

An operational time of arrival is introduced using a realistic position and momentum measurement scheme. The phase-space measurement involves the dynamics of a quantum particle probed by a measuring device. For such a measurement an operational positive operator-valued measure in phase space is introduced and investigated. In such an operational formalism a quantum-mechanical time operator is constructed and analyzed. A phase-space time and energy uncertainty relation is derived.