We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power

Authors: Davide Bresolin (University of Bologna), Khaled El-Fakih (American University of Sharjah), Tiziano Villa (University of Verona), Nina Yevtushenko (Tomsk State University)
Abstract: There has been a growing interest in defining models of automata enriched with time. For instance, timed automata were introduced as automata extended with clocks. In this paper, we study models of timed finite state machines (TFSMs), i.e., FSMs enriched with time, which accept timed input words and generate timed output words. Here we discuss some models of TFSMs with a single clock: TFSMs with timed guards, TFSMs with timeouts, and TFSMs with both timed guards and timeouts. We solve the problem of equivalence checking for all three models, and we compare their expressive power, characterizing subclasses of TFSMs with timed guards and of TFSMs with timeouts that are equivalent to each other.
Comments: In Proceedings GandALF 2014, arXiv:1408.5560
Subjects: Formal Languages and Automata Theory (cs.FL)
Journal reference: EPTCS 161, 2014, pp. 203-216
DOI: 10.4204/EPTCS.161.18
Cite as: arXiv:1408.5967 [cs.FL]
  (or arXiv:1408.5967v1 [cs.FL] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 26 Aug 2014 01:16:38 GMT (24kb)

Link back to: arXiv, form interface, contact.