Supervisory Control of Heap Models Using Synchronous Composition

Result code in IS VaVaI

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

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Supervisory Control of Heap Models Using Synchronous Composition

Original language description

Heaps models are powerful models for concurrent timed discrete event systems. They admit linear description using dioid algebras. Inspired by supervisory control of logical discrete event systems we introduce parallel composition of heap models, called synchronous product, to formally describe the action of supervisor ( represented by another heap model ) on the system. This additional explicit concurrency for naturally concurrency for naturally concurrent heap models is useful for studying supervisorycontrol in the algebraic framework of dioid algebras. Timing aspects of supervisory control are studied based on residuation theory.

Czech name

Supervizní řízení kupovitých automatů pomocí synchronizovaného součinu

Czech description

Kupovité automaty ( heap models ) jsou účinným nástrojem pro studium konkurentních časovaných diskrétních událostních systémů. Mohou být popsány systémy lineárních rovnic na idempotentních polookruzích. Zavádíme na nich paralelní kompozici, kterou nazýváme synchronizovaný součin, která formálně popisuje akci řídícího kupovitého automatu na řízeném kupovitém automatu. Nově zavedená operace je užitečná pro studium supervizního řízení kupovitých automatů v algebraické struktuře idempotentních polookruhů (dioidu ). Studium kvantitativních ( časových ) aspektů supervizního řízení je založeno na teorii zobecněných inverzí.

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 of International XConference on Informatics in Control, Automation and Robotics

ISBN

978-972-8865-82-5

ISSN

—

e-ISSN

—

Number of pages

9

Pages from-to

467-475

Publisher name

Institute for Systems and Technologies of Information, Control and Communication

Place of publication

Angers

Event location

Angers

Event date

May 9, 2007

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—