$C^*$-algebra; exponential solvable Lie group; dynamical system; groupoid