Original title: Modular antipermissive control of discrete-event systems
Translated title: Modulární antipermisivní řízení systému s diskrétními událostmi
Authors: Komenda, Jan ; van Schuppen, J. H.
Document type: Papers
Conference/Event: IFAC World Congress, Praha (CZ), 2005-07-04 / 2005-07-08
Year: 2005
Language: eng
Abstract: [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í.
Keywords: discrete-event systems; modular supervisory control; observability
Project no.: CEZ:AV0Z10190503 (CEP)
Host item entry: Proceedings of IFAC World Congress, ISBN 978-3-902661-75-3

Institution: Institute of Mathematics AS ČR (web)
Document availability information: Fulltext is available on demand via the digital repository of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0111719

Permalink: http://www.nusl.cz/ntk/nusl-32034


The record appears in these collections:
Research > Institutes ASCR > Institute of Mathematics
Conference materials > Papers