P . Bouyer and A . Petit Decomposition and composition of timed automata
نویسندگان
چکیده
We propose in this paper a decomposition theorem for the timed automata introduced by Alur and Dill 3,4]. To this purpose, we deene a new simple and natural composition operation, indexed by the set of clocks to be reset, on timed automata generalizing the classical untimed concatenation. Then we extend the famous Kleene's and B uchi's theorems on classical untimed automata by simply changing the basic objects to take time into account, keeping the union operation and replacing the concatenation, nite and innnite iterations by the new timed concatenations and their induced iterations. Thus, and on the contrary of the interesting result of 8], we do not need neither intersection nor renaming. Therefore, and up to our knowledge , our result provides the simplest known algebraic characterization of recognizable timed languages.
منابع مشابه
Decomposition and Composition of Timed Automata
We propose in this paper a decomposition theorem for the timed automata introduced by Alur and Dill 2]. To this purpose, we deene a new simple and natural concatenation operation, indexed by the set of clocks to be reset, on timed automata generalizing the classical untimed concatenation. Then we extend the famous Kleene's and B uchi's theorems on classical untimed automata by simply changing t...
متن کاملP . Bouyer , C . Dufourd , E . Fleury and A . Petit Are Timed Automata Updatable ? Research
متن کامل
P . Bouyer , D . D ’ Souza , P . Madhusudan and A . Petit Timed Control With Partial Observability Research
متن کامل
An Algebraic Characterization of Data and Timed Languages
Algebra offers an elegant and powerful approach to understand regular languages and finite automata. Such framework has been notoriously lacking for timed languages and timed automata. We introduce the notion of monoid recognizability for data languages, which include timed languages as special case, in a way that respects the spirit of the classical situation. We study closure properties and h...
متن کامل