Supervision of Infinite Behavior of Discrete-Event Systems (Q4302303)
From MaRDI portal
scientific article; zbMATH DE number 618178
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Supervision of Infinite Behavior of Discrete-Event Systems |
scientific article; zbMATH DE number 618178 |
Statements
Supervision of Infinite Behavior of Discrete-Event Systems (English)
0 references
14 August 1994
0 references
supervisory control
0 references
\(\omega\)-language
0 references
\(\omega\)-automata
0 references
controllable languages
0 references
synthesis
0 references
