We focus on the role of symmetries in geometric control theory from the Hamiltonian viewpoint. We demonstrate the power of Ian Anderson’s package DifferentialGeometry in CAS software Maple for dealing with control problems on Lie groups. We apply the tools to the problem of vertical rolling disc, however, anyone can modify our approach and tools to other control problems.

中文翻译：

---

使用 Maple 的几何控制理论中的对称性

我们从哈密顿的角度关注对称性在几何控制理论中的作用。我们在 CAS 软件 Maple 中展示了 Ian Anderson 的微分几何包在处理李群控制问题方面的强大功能。我们将工具应用于垂直滚动盘的问题，但是，任何人都可以将我们的方法和工具修改为其他控制问题。