Analysis of Timed Automata with Guards in dioids algebra

In this paper, we propose a new linear representation to model the behavior of Timed Automata with Guards (TAGs) using the formalism of dioids algebra. This linear modeling is used to define the parallel composition and properties of determinism for TAGs. The contribution is illustrated with an example of a jobshop to analyze the performances of this system.

[1]  Jean-Louis Boimond,et al.  Synchronous composition of interval weighted automata , 2010, WODES.

[2]  Jean-Louis Boimond,et al.  Supervisory Control of (max,+) Automata: A Behavioral Approach , 2009, Discret. Event Dyn. Syst..

[3]  Paul Pettersson.  Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice , 1999 .

[4]  Jean-Louis Boimond,et al.  Compositions of (max, +) automata , 2012, WODES.

[5]  C. Leake.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[6]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[7]  Rong Su,et al.  The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces , 2012, IEEE Transactions on Automatic Control.

[8]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[9]  Jean Mairesse,et al.  Modeling and analysis of timed Petri nets using heaps of pieces , 1997, 1997 European Control Conference (ECC).

[10]  Rajeev Alur,et al.  Model-checking for real-time systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[11]  Jean-Louis Boimond,et al.  New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems , 2015, Discret. Event Dyn. Syst..

[12]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[13]  Thomas A. Henzinger,et al.  Timed Transition Systems , 1991, REX Workshop.

[14]  S. Gaubert.  Performance evaluation of (max, +) automata , 1995, IEEE Trans. Autom. Control..