TY  - JOUR
AU  - Fellah, Abdelaziz 
AU  - Friggstad, Zachary 
AU  - Noureddine, Soufiane 
PY  - 2007
TI  - Deterministic Timed AFA: A New Class of Timed Alternating Finite Automata
JF  - Journal of Computer Science
VL  - 3
IS  - 1
DO  - 10.3844/jcssp.2007.1.8
UR  - https://thescipub.com/abstract/jcssp.2007.1.8
AB  - Timed 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 a finite set of restricted and mutually exclusive real-valued clocks on events which trigger the state transitions of the automaton. We show how to transform deterministic n-state TFA into log n-state DTAFA and state some language properties between TFA, DTAFA, and deterministic TFA. We then show that, unlike TFA and TAFA, DTAFA are closed under all Boolean operations, including the complementation.