Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control (Q2503503)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control |
scientific article |
Statements
Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control (English)
0 references
21 September 2006
0 references
Discrete event system
0 references
Partial observation
0 references
Nonblocking supervisor
0 references
Observability
0 references
Normality
0 references
0 references
0 references
0 references
