DESIGN OF MAX-PLUS CONTROL LAWS TO MEET TEMPORAL CONSTRAINTS IN TIMED EVENT GRAPHS

Saïd Amari, Jean Jacques Loiseau, Claude Martinez, Isabel Demongodin

2006

Abstract

The aim of the work presented is the control of timed event graph in order to meet tight temporal constraints. The temporal constraint represents the maximal duration of a chemical or thermal treatment, for instance. We formulate the problem in terms of control of linear Max-Plus models. A method for the synthesis of a control law ensuring the meeting of constraints is first described for a single input single constraint. Then, the single input multi constraint problem is tackled and finally, the method is extended to the multi inputs, multi constraints problem. The proposed method is illustrated on an example.

References

  1. Amari S., I. Demongodin and J.J. Loiseau, Sizing, cycle time and plant control using dioid algebra, Chapter 6 in Supply Chain Optimisation, Series Applied Optimization, Springer. pp. 71-85, 2004.
  2. Amari S., I. Demongodin and J.J. Loiseau, Control of Linear Min-Plus Systems under Temporal Constraints. 44th IEEE Conference on Decision and Control and European Control Conference, Seville, 2005.
  3. Atto A.M, C. Martinez et S. Amari, Synthèse de superviseur pour la commande des systèmes à événements discrets soumis à des contraintes de temps strictes. Soumis à la revue ARIMA, INRIA, ISSN 1638-5713, 2006.
  4. Baccelli F., G. Cohen, G.J. Olsder, and J.-P. Quadrat, Synchronization and Linearity: An algebra for Discrete Event Systems, Wiley, 1992.
  5. Berthomieu B. and M. Diaz, Modelling and verification of time dependant systems using time Petri nets, IEEE Transactions on Software Engineering, Vol. 17, No. 3, pp. 259-273, 1991.
  6. Bonhomme P., P Aygalin and S. Calvez, Systèmes à contraintes de temps : Validation, Evaluation et contrôle, MSR, Toulouse, 2001.
  7. Cofer D. D., Garg V.K., Control of event separation times in discrete event systems. In Proceedings 34th IEEE Conference on Decision and Control, pp. 2005 - 2010, New Orleans, 1995.
  8. Ghezzi C., D. Mandrioli, S. Morasca and M. Pezze, A unified high-level Petri net formalism for time critical systems, IEEE Transactions on Software Engineering, Vol. 17, No. 2, pp. 160-172, 1991.
  9. Holloway L.E., B.H. Krogh and A. Giua, A survey of Petri net methods for controlled discrete event systems, Kluwer Academic Publishers pp.151-190, Boston, 1997.
  10. Kim J.H, T.E Lee and H.Y Lee, Scheduling Analysis of Time-Constrained Dual-Armed Cluster Tools, IEEE Transactions on Semiconductor Manufacturing, vol. 16, no. 3, august 2003.
  11. Lahaye S., B. Cottenceau and A. Correïa, Commande des graphes d'événements temporisés avec contraintes de temps critique, CIFA'04, Tunisie, 2004.
  12. Moody J., K. Yamalidou, M. Lemmon and P. Antsaklis, Feedback control of Petri nets based on place invariants, Automatica, vol 32, pp. 15-28, 1996.
Download


Paper Citation


in Harvard Style

Amari S., Jacques Loiseau J., Martinez C. and Demongodin I. (2006). DESIGN OF MAX-PLUS CONTROL LAWS TO MEET TEMPORAL CONSTRAINTS IN TIMED EVENT GRAPHS . In Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-972-8865-61-0, pages 91-98. DOI: 10.5220/0001214700910098


in Bibtex Style

@conference{icinco06,
author={Saïd Amari and Jean Jacques Loiseau and Claude Martinez and Isabel Demongodin},
title={DESIGN OF MAX-PLUS CONTROL LAWS TO MEET TEMPORAL CONSTRAINTS IN TIMED EVENT GRAPHS},
booktitle={Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2006},
pages={91-98},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001214700910098},
isbn={978-972-8865-61-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - DESIGN OF MAX-PLUS CONTROL LAWS TO MEET TEMPORAL CONSTRAINTS IN TIMED EVENT GRAPHS
SN - 978-972-8865-61-0
AU - Amari S.
AU - Jacques Loiseau J.
AU - Martinez C.
AU - Demongodin I.
PY - 2006
SP - 91
EP - 98
DO - 10.5220/0001214700910098