Embedding a timing system in TLC

Chuchang Liu, Mehmet A. Orgun

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

5 Citations (Scopus)

Abstract

This paper introduces the notion of timing systems, which can be used to represent multiple granularities of time in a natural and intuitive manner. A timing system consists of a number of clocks, including a global clock, which are usually specified by temporal logic programs. We propose an approach to embed such a timing system in TLC (Temporal Logic with Clocks), such that this logic can effectively be used for specifying and reasoning about the behavior of those systems, where granularity of time is needed.
Original languageEnglish
Title of host publicationProceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157)
PublisherIEEE:Institute of Electrical Electronics Engineers Inc
Pages105-112
Number of pages8
ISBN (Print)0818684739
DOIs
Publication statusPublished - 1 May 1998
Event1998 5th International Workshop on Temporal Representation and Reasoning (TIME '98) - Sanibel Island, United States
Duration: 17 May 199817 May 1998

Conference

Conference1998 5th International Workshop on Temporal Representation and Reasoning (TIME '98)
CountryUnited States
CitySanibel Island
Period17/05/9817/05/98

Keywords

  • temporal logic
  • clocks
  • timing
  • logic programming
  • formal specification
  • temporal reasoning
  • programming theory
  • embedded timing system
  • TLC
  • Temporal Logic with Clocks
  • multiple time granularities
  • global clock
  • temporal logic programs
  • system behaviour specification
  • reasoning
  • Timing
  • Logic
  • Clocks
  • Database systems
  • Knowledge based systems
  • Algebra
  • Interpolation
  • History
  • Data conversion
  • Real time systems

Fingerprint Dive into the research topics of 'Embedding a timing system in TLC'. Together they form a unique fingerprint.

Cite this