Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems

A class of non-deterministic discrete event systems (DES) where the point probability distributions are known is considered. The non-deterministic DES models are introduced by using minimax algebra to formalize the treatment of time sequences, and by the usual classical algebra to introduce a markovian structure that assigns the transition probabilities to events. Based on these representations, the closed non-deterministic DES models are derived by output feedback control. The asymptotic behaviour of the system is investigated to predict the long range performance of discrete event processes. The results are illustrated by some examples of flexible manufacturing systems.

[1]  Pravin Varaiya,et al.  Finitely recursive process models for discrete event systems , 1988 .

[2]  G. Olsder,et al.  Discrete event systems with stochastic processing times , 1990 .

[3]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[4]  Robert L. Aveyard,et al.  A Boolean Model for a Class of Discrete Event Systems , 1974, IEEE Trans. Syst. Man Cybern..

[5]  W. M. Wonham,et al.  Control problems in a temporal logic framework , 1986 .

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

[7]  Geert Jan Olsder,et al.  On an analogy of minimal realizations in conventional and discrete-event dynamic systems , 1988 .

[8]  Michael A. Arbib,et al.  Port Automata and the Algebra of Concurrent Processes , 1983, J. Comput. Syst. Sci..

[9]  Kai Lai Chung,et al.  Markov Chains with Stationary Transition Probabilities , 1961 .

[10]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[11]  A. Levis,et al.  Editorial: Research directions: A first step , 1987 .

[12]  Alexander B. Kurzhanski,et al.  Discrete Event Systems: Models and Applications , 1988 .

[13]  J. Quadrat,et al.  A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[14]  T. L. Saaty,et al.  Finite graphs and networks : an introduction with applications , 1967 .

[15]  Maurice Nivat,et al.  APPLICATION OF FORMAL LANGUAGE THEORY TO PROBLEMS OF SECURITY AND SYNCHRONIZATION , 1980 .

[16]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1967 .

[17]  Christos G. Cassandras,et al.  Infinitesimal and finite perturbation analysis for queueing networks , 1982, 1982 21st IEEE Conference on Decision and Control.