[en] Motivated by issues in temporal databases and in the verification of infinite-state systems, this talk considers the
problem of representing periodic dense time information. Doing so requires handling a theory that combines discrete and continuous variables, since discrete variables are essential for representing periodicity. An automata-based approach for dealing with such a combined theory is thus introduced.
Disciplines :
Computer science
Author, co-author :
Wolper, Pierre ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
Representing Periodic Temporal Information with Automata
Publication date :
June 2001
Event name :
Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Event place :
Cividale Del Friuli, Italy
Event date :
from 14-06-2001 to 16-06-2001
By request :
Yes
Audience :
International
Main work title :
Proc. Eighth International Symposium on Temporal Representation and Reasoning