Structural conditions in modular control of concurrent discrete event systems

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

francouzština

Original language name

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

Original language description

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.

Czech name

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

Czech description

Tento článek přináší nové výsledky týkající se strukturálního přístupu ke konkurentním systémům s diskrétními událostmi. Nejdříve ukážeme, že vzájemná kontrolovatelnost je ekvivalentní s globální vzájemnou kontrolovatelností, kterou jsme zavedli pro globální specifikace. Poté prezentujeme novou strukturální metodu pro výpočet supremálních kotrolovatelných podjazyků nerozložitelných specifikačních jazyků. Nakonec v případě distribuovaných systémů s diskrétními událostmi ( částečným pozorováním)ukážeme, že vzájemná normalita je ekvivalentní s globální vzájemnou normalitou.

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

2007

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 Modelisation des Systemes Reactifs (MSR)

ISBN

978-2-7462-1957-1

ISSN

—

e-ISSN

—

Number of pages

18

Pages from-to

53-70

Publisher name

Hermes

Place of publication

Lavoisier

Event location

Lion

Event date

Oct 17, 2007

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—