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 language | English |
|---|---|
| Title of host publication | Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157) |
| Publisher | IEEE:Institute of Electrical Electronics Engineers Inc |
| Pages | 105-112 |
| Number of pages | 8 |
| ISBN (Print) | 0818684739 |
| DOIs | |
| Publication status | Published - 1 May 1998 |
| Event | 1998 5th International Workshop on Temporal Representation and Reasoning (TIME '98) - Sanibel Island, United States Duration: 17 May 1998 → 17 May 1998 |
Conference
| Conference | 1998 5th International Workshop on Temporal Representation and Reasoning (TIME '98) |
|---|---|
| Country/Territory | United States |
| City | Sanibel Island |
| Period | 17/05/98 → 17/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