The infimal prefix-closed and observable superlanguage of a given language (Q1814432)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The infimal prefix-closed and observable superlanguage of a given language |
scientific article; zbMATH DE number 10773
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The infimal prefix-closed and observable superlanguage of a given language |
scientific article; zbMATH DE number 10773 |
Statements
The infimal prefix-closed and observable superlanguage of a given language (English)
0 references
25 June 1992
0 references
The paper deals in an abstract setting with an important control problem i.e. supervisory control of discrete-event systems under partial observation. A fixed-point characterization of observability is presented and yields an effective test for systems specified by regular languages.
0 references
supervisory control of discrete-event systems
0 references
0 references
0 references
