Bisimilar control affine systems

Bisimilar linear systems

Finite bisimulations of controllable linear systems

From discrete specifications to hybrid control

Abstractions of Hamiltonian control systems

From nonlinear to hamiltonian via feedback