FROM DIOID ALGEBRA TO P-TIME EVENT GRAPHS

Mohamed Khalid DIDI ALAOUI, Philippe DECLERCK

Abstract

The (max,+) algebra is usually used to model Timed event graph. In this paper, we show that P-time event graphs which extend Timed event graph, can be modelled using maximum, minimum and addition operations. The result is a new model called interval descriptor system where the time evolution is not strictly deterministic but belongs to intervals. The cycle-time vector allows us to to check its correct behaviour and to verify the existence of a state trajectory. Particularly, it detects the presence of token-deads which can generate a deadlock.

References

  1. Cheng, Y. and Zheng, D.-Z. (2002). On the cycle time of non-autonomous min-max systems. In IEEE.
  2. F. Baccelli, G. Cohen, G. O. and Quadrat, J. (1992). Synchronization and linearity. An Algebra for Discrete Event Systems. Wiley, New York.
  3. Gaubert, S. and Gunawardena, J. (1998). the duality theorem for min-max functions. In CRAS, t. 326, Série I43-48.
  4. J. Cochet-Terrasson, S. G. and Gunawardena, J. (1999). A constructive xed point theorem for min-max functions. In Dynamics and Stability of Systems, Vol. 14 N±4, 407-433.
  5. Walkup, E. A. and Borriello, G. (1998). A general linear max-plus solution technique. In Idempotency, publisher Jeremy Guawardena.
Download


Paper Citation


in Harvard Style

Khalid DIDI ALAOUI M. and DECLERCK P. (2004). FROM DIOID ALGEBRA TO P-TIME EVENT GRAPHS . In Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 972-8865-12-0, pages 332-337. DOI: 10.5220/0001137403320337


in Bibtex Style

@conference{icinco04,
author={Mohamed Khalid DIDI ALAOUI and Philippe DECLERCK},
title={FROM DIOID ALGEBRA TO P-TIME EVENT GRAPHS},
booktitle={Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2004},
pages={332-337},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001137403320337},
isbn={972-8865-12-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - FROM DIOID ALGEBRA TO P-TIME EVENT GRAPHS
SN - 972-8865-12-0
AU - Khalid DIDI ALAOUI M.
AU - DECLERCK P.
PY - 2004
SP - 332
EP - 337
DO - 10.5220/0001137403320337