We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory

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.
Subjects: Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)
Cite as: arXiv:2111.13840 [cs.FL]
  (or arXiv:2111.13840v1 [cs.FL] for this version)

Submission history

From: Liyong Lin [view email]
[v1] Sat, 27 Nov 2021 07:48:41 GMT (199kb)

Link back to: arXiv, form interface, contact.