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

Download:

Current browse context:

cs.FL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(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: Equivalence Checking and Intersection of Deterministic Timed Finite State Machines

Abstract: There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study deterministic timed finite state machines (TFSMs), i.e., finite state machines with a single clock, timed guards and timeouts which transduce timed input words into timed output words. We solve the problem of equivalence checking by defining a bisimulation from timed FSMs to untimed ones and viceversa. Moreover, we apply these bisimulation relations to build the intersection of two timed finite state machines by untiming them, intersecting them and transforming back to the timed intersection.
Comments: 24 pages, 9 figures, 2 algorithms. arXiv admin note: text overlap with arXiv:1408.5967
Subjects: Formal Languages and Automata Theory (cs.FL)
ACM classes: F.1.1; F.4.3
Cite as: arXiv:2103.04868 [cs.FL]
  (or arXiv:2103.04868v1 [cs.FL] for this version)

Submission history

From: Davide Bresolin [view email]
[v1] Mon, 8 Mar 2021 16:19:24 GMT (38kb)

Link back to: arXiv, form interface, contact.