A generalized temporal logic approach for control problems of a class of nondeterministic discrete event systems
- 1 January 1990
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 3440-3445 vol.6
- https://doi.org/10.1109/cdc.1990.203437
Abstract
A linear-time temporal logic is generalized to an uncertain world in order to apply it to the verification of a class of nondeterministic discrete event systems with probabilities known. Such systems are modeled by bounded stochastic models which specify structures for the language and the proof system. Properties of this class of systems are verified by deducing temporal logic specifications of desired behavior from descriptions of the system dynamics. The formulas do not mention probabilities explicitly (except probability one) so that the analysis of the control problem is completed qualitatively without using probability theory. Applications are illustrated by an example of a flexible manufacturing system.Keywords
This publication has 12 references indexed in Scilit:
- Discrete event systems with stochastic processing timesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Finitely recursive process models for discrete event systemsIEEE Transactions on Automatic Control, 1988
- Supervisory control of discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Control problems in a temporal logic frameworkInternational Journal of Control, 1986
- A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturingIEEE Transactions on Automatic Control, 1985
- Reasoning with time and chanceInformation and Control, 1982
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- A Boolean Model for a Class of Discrete Event SystemsIEEE Transactions on Systems, Man, and Cybernetics, 1974