Abstractions of Hamiltonian control systems.
scientific article; zbMATH DE number 2032791