Opacity is a property expressing whether a system may reveal its secret ...
The fundamental problem in hierarchical supervisory control under partia...
Universality is the question whether a system recognizes all words over ...
Detectability of discrete event systems (DESs) is a property to determin...