Control-theory and models at runtime

Models at runtime are considered a key enabling technology for systems that control themselves as they operate. The automatic-control community has developed extensive theories and experiences in qualifying the properties of controller and systems; including stability, observability and commandability. In this position paper we propose to use control-theory for describing self-adaptive model-driven systems