Optimal Solutions of Modular Supervisory Control Problems with Indecomposable Specification Languages

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F06%3A00042657" target="_blank" >RIV/67985840:_____/06:00042657 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Optimal Solutions of Modular Supervisory Control Problems with Indecomposable Specification Languages

Original language description

This paper concerns supervisory control of large-scale modular discrete event systems (DES) with partial observations and general (indecomposable) specification languages. We propose first a new method for computation of supremal controllable sublanguages that can be viewed as a complete observation counterpart of a method we have developed for supremal normal sublanguages. These can be put together in a procedure for computing optimal sublanguages, which avoids building of the global plant. We presentboth necessary and sufficient structural conditions for modular control synthesis to equal global control synthesis for partially observed modules and general (indecomposable)specification languages.

Czech name

Optimální řešení problému modulárního supervizního řešení s nerozložitelnými specifikačními jazyky

Czech description

Tento článek se týká supervizního řízení velkých modulárních diskrétních událostních systémů s částečným pozorováním a obecnými (nerozložitelnými) specifikačními jazyky. Nejprve navrhneme novou metodu výpočtu supremálních kontrolovatelných podjazyků, které nemusí konstruovat globální systém. Ukážeme jak nutné, tak postačující strukturální podmínky pro rovnocennost lokálního a globálního řízení v případě podsystému s částečným pozorováním a obecnými (nerozložitelnými) specifikačními jazyky.

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/KJB100190609" target="_blank" >KJB100190609: Supervisory control of large distributed discrete event systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2006

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 8th International Workshop on Discrete Event Systems ( WODES 2006 )

ISBN

1-4244-0053-8

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

143-148

Publisher name

IEEE Press

Place of publication

New York

Event location

Ann Arbor

Event date

Jul 10, 2006

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—