Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F10%3A00348278" target="_blank" >RIV/67985840:_____/10:00348278 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems

Original language description

Modular control of discrete-event systems with a global specification and with only local supervisors is a difficult problem. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combinationof a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute a coordinated controller is provided in this paper.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2010

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 of the 10th International Workshop on Discrete Event Systems (WODES 2010)

ISBN

978-3-902661-79-1

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

—

Publisher name

The International Federation of Automatic Control

Place of publication

Berlin

Event location

Berlin

Event date

Aug 29, 2010

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—