Evaluation of language measure parameters for discrete event manufacturing systems with multiproduct machines

The concept of language measure provides a mathematical framework for quantitative analysis and synthesis of discrete event supervisory control systems. The language measure is assigned two parameters, namely the state transition cost matrix and the state cost vector. In a recent paper (Khatab and Nourelfath 2006), an analytical approach has been formulated to evaluate the language measure parameters for discrete event manufacturing systems composed of several monoproduct machines, i.e., each machine is able to perform only one kind of product. This paper generalizes these results to the multiproduct case, i.e., to the case where each machine in the manufacturing system is able to perform different kinds of products. The proposed approach is based on the theory of Markov stochastic processes and Kronecker algebra. The main advantage of the proposed approach is that the mathematical expressions of the system language measure parameters are derived from data of individual elementary machines without generating the whole, possibly huge, system state space.

[1]  A. Ray,et al.  Signed real measure of regular languages for discrete event supervisory control , 2005 .

[2]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[3]  Alexander Graham,et al.  Kronecker Products and Matrix Calculus: With Applications , 1981 .

[4]  A. Ray,et al.  Renormalized measure of regular languages , 2006, 2006 8th International Workshop on Discrete Event Systems.

[5]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[6]  Kwang-Hyun Cho,et al.  A Study on Stability Analysis of Discrete Event Dynamic Systems , 1997 .

[7]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[8]  C. Loan The ubiquitous Kronecker product , 2000 .

[9]  Asok Ray,et al.  A language measure for performance evaluation of discrete-event supervisory control systems , 2004 .

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

[11]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[12]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[13]  S Phoha,et al.  A language measure for supervisory contro , 2003, Appl. Math. Lett..

[14]  W. R. Howard Quantitative Measure for Discrete Event Supervisory Control , 2006 .

[15]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[16]  T. Raghavan,et al.  Nonnegative Matrices and Applications , 1997 .

[17]  Asok Ray,et al.  Signed real measure of regular languages for discrete-event automata , 2003 .

[18]  Abdelhakim Khatab,et al.  Analytical approach to evaluate language measure parameters for discrete-event supervisory control , 2006 .

[19]  Asok Ray,et al.  Quantitative Measure for Discrete Event Supervisory Control , 2004 .

[20]  Asok Ray,et al.  Optimal control of robot behaviour using language measure , 2004 .

[21]  D. Serre Matrices: Theory and Applications , 2002 .