Excision and restriction in controlled K-theory

The main result is a description in terms of controlled algebra/topology of the locally finite homology theory associated with the algebraic K-theory spectrum of a ring or the algebraic K-theory spectrum of a topological space. While such a description is known from [ClPV], the one here is better suited as a receptacle for characteristic invariants.