Strukturální podmínky v modulárním řízení konkurentních systémů s diskrétními událostmi

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F07%3A00088948" target="_blank" >RIV/67985840:_____/07:00088948 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

francouzština

Název v původním jazyce

Conditions structurelles dans le contrôle modulaire de systemes a événements concurrents

Popis výsledku v původním jazyce

Cet article concerne de nouveaux resultats dans l´approche structurelle au contrôle le de systemes a événements discrets (SED) concurrents. Tout d´abord, nous montrons que la contrôlabilite mutuelle utilisee pour les specifications locales est equivalente a la contrôlabilite mutuelle globale que nous avons developpe pour les specifications globales. Puis, nous presentons un nouveau resultat structurel pour le calcul des plus grands sous-langages contrôlables des sp ecifications indecomposables. Enfin, dans le cas de SED distribues (sous observations partielles) la normalite mutuelle est aussi equivalente a la normalite mutuelle globale.

Název v anglickém jazyce

Structural conditions in modular control of concurrent discrete event systems

Popis výsledku anglicky

This paper presents new results in the structural approach to concurrent discrete event systems (DES). First we show that mutual controllability is equivalent to global mutual controllability that we have proposed for global specifications. Then we present a new structural result for computation of supremal controllable sublanguages of indecomposable specification languages. Finally, in the case of distributed DES (with partial observations) mutual normality is again equivalent to global mutual normality.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/KJB100190609" target="_blank" >KJB100190609: Supervizní řízení velkých distribuovaných systémů s diskrétními událostmi</a><br>

Návaznosti

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

Rok uplatnění

2007

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ů

Název statě ve sborníku

Proceedings Modelisation des Systemes Reactifs (MSR)

ISBN

978-2-7462-1957-1

ISSN

—

e-ISSN

—

Počet stran výsledku

18

Strana od-do

53-70

Název nakladatele

Hermes

Místo vydání

Lavoisier

Místo konání akce

Lion

Datum konání akce

17. 10. 2007

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—