R. Alur, L. Fix and T. A. Henzinger, “Event-Clock Automata: A Determinizable Class of Timed Automata [C],” Proceeding of the 6th Annual Conference on Computer aided Veification (CAV). Lecture notes in computer science 818, Springer-Verlag, London, 1994, pp.1-13.

has been cited by the following article:

• TITLE: RFID Complex Event Processing: Applications in Real-Time Locating System

  AUTHORS: Yao-zong Liu, Hong Zhang, Yong-li Wang

  KEYWORDS: Complex Event Processing (CEP); Real-Time Locating System (RTLS); Radio Frequency Identification (RFID); Timed Automata (TA); Event-Clock Automata (ECA)

  JOURNAL NAME: International Journal of Intelligence Science, Vol.2 No.4A, November 1, 2012

  ABSTRACT: Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications. To identify complex event accurately in RTLS, we propose a new RFID complex event processing method GEEP, which is based on the timed automata (TA) theory. By devising RFID locating application into complex events, we model the timing diagram of RFID data streams based on the TA. We optimize the constraint of the event streams and propose a novel method to derive the constraint between objects, as well as the constraint between object and location. Experiments prove the proposed method reduces the cost of RFID complex event processing, and improves the efficiency of the RTLS.