Supervisory control of modular systems with global specification languages (Q2440703)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Supervisory control of modular systems with global specification languages |
scientific article |
Statements
Supervisory control of modular systems with global specification languages (English)
0 references
19 March 2014
0 references
modular control of discrete-event systems
0 references
partial controllability
0 references
global mutual controllability
0 references
supremal controllable sublanguages
0 references
0 references
