loading
Documents

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

ISBN: 978-972-8865-82-5

ISSN: 2184-2809

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.

PDF ImageFull Text

Download
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 75.101.220.230

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.; Lahaye S. and (2007). SUPERVISORY CONTROL OF HEAP MODELS USING SYNCHRONOUS COMPOSITION.In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: From Planning to Control of Manufacturing Systems, (ICINCO 2007) ISBN 978-972-8865-82-5, 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 - Volume 1: From Planning to Control of Manufacturing Systems, (ICINCO 2007)},
year={2007},
pages={467-475},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001636104670475},
isbn={978-972-8865-82-5},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.