Generalized real-time temporal logic applied on control of nondeterministic discrete events dynamic systems

A modified temporal logic (the generalized real-time temporal logic) to analyze discrete event dynamic systems in a real-time nondeterministic approach is proposed. This logic is a generalization of that given by J. Lin and D. Ionescu (Proc. Conf. Dec. Contr., p.3440-5, 1990), and includes the real-time reasoning presented by J.S. Ostroff (1989). The characteristics of the discrete event dynamic systems, as well as the main formalisms used to describe it are presented. The generalized real-time temporal logic is presented and discussed. A flexible manufacturing system is given to illustrate the theory