SUPERVISORY CONTROL OF HEAP MODELS USING SYNCHRONOUS COMPOSITION

Jan Komenda, Jean-Louis Boimond, Sébasten Lahaye

2007

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.

Paper Citation

in Harvard Style

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 - Volume 1: From Planning to Control of Manufacturing Systems, (ICINCO 2007) ISBN 978-972-8865-82-5, pages 467-475. DOI: 10.5220/0001636104670475

in Bibtex Style

@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},
}

in EndNote Style

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