Scheduled System Maintenance:
On May 6th, system maintenance will take place from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). During this time, there may be intermittent impact on performance. We apologize for the inconvenience.
By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
1 Author(s)

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

Published in:

Decision and Control, 1992., Proceedings of the 31st IEEE Conference on

Date of Conference: