Support for abstract controllers