Modular supervisory control with general indecomposable specification languages

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F05%3A00026074" target="_blank" >RIV/67985840:_____/05:00026074 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Modular supervisory control with general indecomposable specification languages
Original language description
In this paper modular supervisory control is studied in the case of general specification languages that are neither necessarily decomposable nor contained in the global plant language. Sufficient conditions are found under which any manipulation with the global plant is avoided for the computation of supremal controllable sublanguages of (global) indecomposable specification languages.
Czech name
Modulární supervizní řízení s obecnými nerozložitelnými specifikačními jazyky
Czech description
Tento článek se zabývá supervizním řízením konkurentních automatů s úplným pozorováním v případě globálních nerozložitelných specifikačních jazyků. Byla nalezena formule umožňující výpočet optimálních jazyků supervizního řízení využívající kromě daného specifikačního jazyka pouze lokální automaty.

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

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
3474-3479
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
—

Similar results(10)