A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory
Formal Languages and Automata Theory
2021-11-30 v1 Systems and Control
Systems and Control
Abstract
In this paper, we shall present a topological approach for the computation of some supremal sublanguages, often specified by language equations, which arise from the study of the supervisory control theory. The basic idea is to identify the solutions of the language equations as open sets for some (semi)-topologies. Then, the supremal sublanguages naturally correspond to the supremal open subsets, i.e., the interiors. This provides an elementary and uniform approach for computing various supremal sublanguages encountered in the supervisory control theory and is closely related to a theory of approximation, known as the rough set theory, in artificial intelligence.
Cite
@article{arxiv.2111.13840,
title = {A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory},
author = {Liyong Lin and Rong Su},
journal= {arXiv preprint arXiv:2111.13840},
year = {2021}
}