Search | Science Publications

Research ArticleOpen accessPhrase in the titleDeterministic Timed AFA: A New Class of Timed Alternating Finite AutomataAbdelaziz Fellah, Zachary Friggstad, Soufiane NoureddineTimed Alternating Finite Automata (TAFA), a natural generalization of Timed Finite Automata (TFA), are synchronous and powerful models for real-time computations. They become an effective and expressive model for developing embedded systems with real-time constraint computations which are required in many applications. We introduce Deterministic Timed Alternating Finite Automata (DTAFA), a new class of timed alternating finite automata, extended with … …Journal of Computer Science, Vol. 3, Issue 1 · 31 Jan 2007 · 7,499 accessesView PDF Cite

1 result for “timed alternating finite automata”