Design of max-plus control laws to meet temporal constraints in timed event graphs

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.

[1]  S. Amari,et al.  Control of Linear Min-plus Systems under Temporal Constraints , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[2]  Isabel Demongodin,et al.  Sizing, Cycle Time and Plant Control Using Dioid Algebra , 2005 .

[3]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

[4]  Tae-Eog Lee,et al.  Scheduling analysis of time-constrained dual-armed cluster tools , 2003 .

[5]  V.K. Garg,et al.  Control of event separation times in discrete event systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[6]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[7]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[8]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.