Semi-automatic controller design of Java-like models
Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Yann Thierry-Mieg · 2013
Controller synthesis consists in automatically generating a controller to restrict a hardware or software system so that it respects given requirements, for instance safety properties. Existing synthesis tools for discrete event systems mainly solve the problem for systems described in low-level formalisms.