Generating conditions for preserving the properties of controlled discrete event systems (Q329088)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating conditions for preserving the properties of controlled discrete event systems |
scientific article |
Statements
Generating conditions for preserving the properties of controlled discrete event systems (English)
0 references
21 October 2016
0 references
controlled discrete event systems
0 references
reduction methods
0 references
supervisor
0 references
finite state machine
0 references
logic-algebraic equations
0 references
