Abstract
© 2015 Elsevier B.V. When considering applications of reasoning in formal temporal logics, and particularly applications that need reasoning about distributed concurrent systems, multi-agent systems, or understanding natural language, it is convenient to use a logic based on a real-number flow of time rather than the usual discrete flow.Such a logic may be employed for several distinct reasoning tasks and one that has potential to be one of the most useful is building a model from a specification, a simple form of synthesis.In this paper, we consider the task of model-building for temporal logic specifications over the real-number linear flow of time. We present a new notation for giving a detailed description of the compositional construction of such a model and an efficient procedure for finding such a description from the temporal specification.
Original language | English |
---|---|
Pages (from-to) | 201-222 |
Journal | Theoretical Computer Science |
Volume | 594 |
Early online date | 19 Jun 2015 |
DOIs | |
Publication status | Published - 23 Aug 2015 |