Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

Result code in IS VaVaI

RIV/67985840:_____/11:00360187 - isvavai.cz

Result on the web

http://dx.doi.org/10.1016/j.sysconle.2011.04.005

DOI - Digital Object Identifier

10.1016/j.sysconle.2011.04.005

Result language

angličtina

Original language name

Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

Original language description

Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notionof conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed.

Czech name

—

Czech description

—

Type

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

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2011

Confidentiality

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

Name of the periodical

Systems and Control Letters

ISSN

0167-6911

e-ISSN

—

Volume of the periodical

60

Issue of the periodical within the volume

7

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

11

Pages from-to

492-502

UT code for WoS article

000292950900008

EID of the result in the Scopus database

—