A Topological Approach for Computing Supremal Sublanguages
Liyong Lin, Yuting Zhu, Rong Su · 2020
In this paper, we provide a tutorial introduction to a topological approach for the computation of some supremal sublanguages, often specified by language equations, that arise in the study of the supervisory control theory. As an illustration, we show that the supremal sublanguages for properties such as normality, prefix-closedness, trace-closedness, L-closedness and prefix-closed controllability are supremal open subsets of certain topologies. Thus, the supremal sublanguages correspond to the interiors and can be directly expressed.