loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Jan Komenda 1 ; Jean-Louis Boimond 2 and Sébasten Lahaye 2

Affiliations: 1 Mathematical Institute, Czech Academy of Sciences, Czech Republic ; 2 LISA Angers, France

Keyword(s): Heap models, synchronous product, supervisory control, dioid algebra.

Abstract: 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 concurrent heap models is useful for studying supervisory control in the algebraic framework of dioid algebras. Timing aspects of supervisory control, i.e. optimal timing of the controller, is studied based on residuation theory.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.15.239.145

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Komenda, J.; Boimond, J. and Lahaye, S. (2007). SUPERVISORY CONTROL OF HEAP MODELS USING SYNCHRONOUS COMPOSITION. In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics (ICINCO 2007) - Volume 1: From Planning to Control of Manufacturing Systems; ISBN 978-972-8865-82-5; ISSN 2184-2809, SciTePress, pages 467-475. DOI: 10.5220/0001636104670475

@conference{from planning to control of manufacturing systems07,
author={Jan Komenda. and Jean{-}Louis Boimond. and Sébasten Lahaye.},
title={SUPERVISORY CONTROL OF HEAP MODELS USING SYNCHRONOUS COMPOSITION},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics (ICINCO 2007) - Volume 1: From Planning to Control of Manufacturing Systems},
year={2007},
pages={467-475},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001636104670475},
isbn={978-972-8865-82-5},
issn={2184-2809},
}

TY - CONF

JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics (ICINCO 2007) - Volume 1: From Planning to Control of Manufacturing Systems
TI - SUPERVISORY CONTROL OF HEAP MODELS USING SYNCHRONOUS COMPOSITION
SN - 978-972-8865-82-5
IS - 2184-2809
AU - Komenda, J.
AU - Boimond, J.
AU - Lahaye, S.
PY - 2007
SP - 467
EP - 475
DO - 10.5220/0001636104670475
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic