Supervisory Control of Modular Systems with Global Specification Languages

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F08%3A00306505" target="_blank" >RIV/67985840:_____/08:00306505 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Supervisory Control of Modular Systems with Global Specification Languages

Original language description

The paper presents sufficient conditions for modular ( supervisory ) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synthesized for each module separately and the supervisory control consists ofthe parallel composition of the modular supervisory controls. The general case of the specification that is indecomposable and not necessarily contained in the plant language, which is often the case in practice, is considered. The usual assumption thatall shared events are controllable is relaxed by introducing two new structural conditions relying on the global mutual controllability condition. The novel concept used as a sufficient structural condition is strong global mutual controllability. The main result uses a weaker condition called global mutual controllability together with local consistency of the specification. An example illustrates the approach.

Czech name

Supervizní řízení modulárních systémů s globálními specifikačními jazyky

Czech description

V tomto článku prezentujeme postačující podmínky pro rovnost modulárního a globálního supervizního řízení. Modulární supervizní řízení se získá pro každý podsystém zvlášť a celkové supervizní řízení obdržíme jejich paralelním složením. Uvažujeme obecný případ specifikačního jazyka, který je nerozložitelný a není nutné zahrnout v jazyku systému, což nastane často v praxi. Obvyklý předpoklad , že sdílené události jsou kontrolovatelné, je zeslaben díky zavedení dvou nových strukturálních podmínek založených na globální vzájemné kontrolovatelnosti. Postačující strukturální podmínku nazýváme silná globální vzájemná kontrolovatelnost. Hlavní výsledek používá slabší podmínku nazvanou globální vzájemná kontrolovatelnost společně s lokální konzistencí specifikačního jazyka. Metoda je ilustrovaná na příkladě.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

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

2008

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Automatica

ISSN

0005-1098

e-ISSN

—

Volume of the periodical

44

Issue of the periodical within the volume

4

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

8

Pages from-to

1127-1134

UT code for WoS article

—

EID of the result in the Scopus database

—