A unifying approach to maximal permissiveness in modular control of discrete-event systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F19%3A00523864" target="_blank" >RIV/67985840:_____/19:00523864 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1109/CDC40024.2019.9028856" target="_blank" >http://dx.doi.org/10.1109/CDC40024.2019.9028856</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/CDC40024.2019.9028856" target="_blank" >10.1109/CDC40024.2019.9028856</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A unifying approach to maximal permissiveness in modular control of discrete-event systems
Popis výsledku v původním jazyce
In this paper, a unifying approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. Distributivity holds if the inverse projections of local plants satisfy the given property with respect to each other. Among new results, sufficient conditions are proposed for distributed computation of supremal relatively observable sublanguages.
Název v anglickém jazyce
A unifying approach to maximal permissiveness in modular control of discrete-event systems
Popis výsledku anglicky
In this paper, a unifying approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. Distributivity holds if the inverse projections of local plants satisfy the given property with respect to each other. Among new results, sufficient conditions are proposed for distributed computation of supremal relatively observable sublanguages.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20205 - Automation and control systems
Návaznosti výsledku
Projekt
<a href="/cs/project/GC19-06175J" target="_blank" >GC19-06175J: Kompozitní metody pro řízení konkurentních časovaných diskrétních událostních systémů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
2019 IEEE 58th Conference on Decision and Control (CDC)
ISBN
978-1-7281-1399-9
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
2009-2014
Název nakladatele
IEEE
Místo vydání
Piscataway
Místo konání akce
Nice
Datum konání akce
11. 12. 2019
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000560779001142