Název: Modular antipermissive control of discrete-event systems
Překlad názvu: Modulární antipermisivní řízení systému s diskrétními událostmi
Autoři: Komenda, Jan ; van Schuppen, J. H.
Typ dokumentu: Příspěvky z konference
Konference/Akce: IFAC World Congress, Praha (CZ), 2005-07-04 / 2005-07-08
Rok: 2005
Jazyk: eng
Abstrakt: [eng] [cze]
This paper is focused on the study of distributivity between synchronous product and closed-loop languages with respect to antipermissive control policy. It is guaranteed that under the conditions derived in the paper antipermissive control synthesis can be done locally and the local antipermissive control synthesis yields the same solution as the global control synthesis. Tento článek se týká modulárního supervizního řízení diskrétních událostí systémů, kdy globální systém se skládá z podsystémů, které jsou synchronizovány paralelním součinem. Nedávno bylo ukázáno, že za velmi obecných podmínek jazyky vytvořené permisivním pravidlem řízení (definované koindukcí jako nová operace nazývaná supervizní součin) distribují se synchronizovaným (paralelním)součinem. Tento článek je zaměřen na studium distributivity mezi paralelním součinem a uzavřenými jazyky vytvořenými antipermisivním pravidlem řízení. Je zaručeno, že za podmínek, které jsou odvozeny v tomto článku, antipermisivní řízení může být realizováno lokálně, přičemž lokální antipermisivní řízení vede ke stejnému výsledku jako globální antipermisivní řízení.
Klíčová slova: discrete-event systems; modular supervisory control; observability
Číslo projektu: CEZ:AV0Z10190503 (CEP)
Zdrojový dokument: Proceedings of IFAC World Congress, ISBN 978-3-902661-75-3

Instituce: Matematický ústav AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný na vyžádání prostřednictvím repozitáře Akademie věd.
Původní záznam: http://hdl.handle.net/11104/0111719

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-32034


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Matematický ústav
Konferenční materiály > Příspěvky z konference