No label defined (Q4782029)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1836359
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1836359 |
Statements
2000
0 references
supervisory control
0 references
discrete event systems
0 references
large-scale systems
0 references
synthesis
0 references
modular supervisors
0 references
local models
0 references
non-blocking
0 references
optimality
0 references
0.9060161113739014
0 references
0.8962742686271667
0 references
0.8405271768569946
0 references
This paper presents an approach for reducing computational efforts in the synthesis of modular supervisors for discrete event systems. Most large-scale systems are represented by the composition of several smaller subsystems. To avoid the design on a single, often large plant, modular supervisors are synthesized on local models, which are constructed from those subsystems that are related to the given specifications. A sufficient and necessary condition for the non-blocking and optimality of the conjunction of multiple local supervisors is then presented. It is shown that this approach offers reduction in computational efforts when compared with other approaches. For the entire collection see [Zbl 0996.00058].
0 references
