Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F05%3A00026041" target="_blank" >RIV/67985840:_____/05:00026041 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems
Original language description
For supervisory control of large-scale modular DES the possibility of performing control-related computation locally (in components) is of utmost importance to computational complexity. Unlike our previous results, where the specification language is decomposable into local specification languages, this paper concerns the case of general specification languages that are neither necessarily decomposable nor contained in the global plant language. Still the conditions are found under which building of theglobal plant is avoided for the computation of the supremal normal sublanguages of the (global) specification language.
Czech name
Supremální podjazyky obecných specifikačních jazyků v modulárním řízení diskrétních událostních systémů
Czech description
Tento článek se zabývá supervizním řízením konkurentních automatů s částečným pozorováním v případě globálních nerozložitelných specifikačních jazyků. Byly nalezeny metody pro nalezení optimálních jazyků supervizního řízení, které nepracují s globálním automatem, ale pouze s lokálními automaty, při čemž se redukuje vysoká výpočetní složitost vlastní konkurentním automatům.
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of Joint 44th IEEE Conference on Decision and Control and European Control Conference
ISBN
0-7803-9568-9
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
2775-2780
Publisher name
IEEE Press
Place of publication
Sevilla
Event location
Sevilla
Event date
Dec 12, 2005
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—