Boundary conditions for Kramers-Fokker-Planck operators

I will present a class of boundary conditions for Kramers-Fokker-Planck operators which guarantees subelliptic estimates similar to the whole space problem.