Embedding a timing system in TLC

Chuchang Liu, Mehmet A. Orgun

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


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
Number of pages8
ISBN (Print)0818684739
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


Conference1998 5th International Workshop on Temporal Representation and Reasoning (TIME '98)
Country/TerritoryUnited States
CitySanibel Island


  • 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


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

Cite this