Safe Adaptive Control gives a formal and complete algorithm for assuring the stability of a switched control system when at least one of the available candidate controllers is stabilizing. The possibility of having an unstable switched system even in the presence of a stabilizing candidate controller is demonstrated by referring to several well-known adaptive control approaches, where the system goes unstable when a large mismatch between the unknown plant and the available models exists ("plant-model mismatch instability"). Sufficient conditions for this possibility to be avoided...