×

Modular feedback logic for discrete event systems. (English) Zbl 0698.93035

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.

MSC:

93B50 Synthesis problems
03C55 Set-theoretic model theory
PDFBibTeX XMLCite
Full Text: DOI