Ramadge, P. J.; Wonham, W. M. Modular feedback logic for discrete event systems. (English) Zbl 0698.93035 SIAM J. Control Optimization 25, No. 5, 1202-1218 (1987). This paper is a comprehensive study of modular feedback logic for discrete event systems. The models of control invariance and extremal control invariant predicates presented are correct and easily calculated for enclosed simple examples. However, the computational complexity of the models mentioned above is too high to apply them to discrete control systems. Cited in 1 ReviewCited in 22 Documents MSC: 93B50 Synthesis problems 03C55 Set-theoretic model theory Keywords:modular feedback logic PDFBibTeX XMLCite \textit{P. J. Ramadge} and \textit{W. M. Wonham}, SIAM J. Control Optim. 25, 1202--1218 (1987; Zbl 0698.93035) Full Text: DOI