An algebraic theory of real-time formal languages Catalin Dima
To cite this version:
Catalin Dima. An algebraic theory of real-time formal languages. Modeling and Simulation. Univer- sité Joseph-Fourier - Grenoble I, 2001. English. tel-00004672
HAL Id: tel-00004672 https://tel.archives-ouvertes.fr/tel-00004672 Submitted on 16 Feb 2004
HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. UNIVERSITE´ JOSEPH FOURIER -GRENOBLE 1 SCIENCES ET GEOGRAPHIE
THESE`
pour obtenir le grade de DOCTEUR de l’UNIVERSITE´ JOSEPH FOURIER Specialit´ e:´ Informatique
present´ ee´ et soutenue publiquement par M. Cat˘ alin˘ DIMA le 11 decembre´ 2001
THEORIE´ ALGEBRIQUE´ DES LANGAGES FORMELS TEMPS REEL´
Directeurs de these:` Prof. Eugene` Asarin, Dr. Oded Maler
Composition du jury : Jean-Claude Fernandez President´ Paul Gastin Rapporteur Nils Klarlund Rapporteur P. S. Thiagarajan Examinateur Pascal Weil Examinateur Eugene` Asarin Directeur de These` Oded Maler Directeur de These`
These´ preparee´ au sein du Laboratoire Verimag´
Lui Gabi si Iuliei, cu drag 4 Remerciements
Je remercie d’abord a` Oded Maler et Eugene` Asarin pour m’avoir donne´ la chance de finir mes etudes´ sous leur direction et soutenir ma these` aV` erimag.´ Eugene` a patiemment resist´ e´ aux tous mes essais echou´ es´ et ses critiques m’ont fait apprendre un nouveau sens de la recherche. Je remercie a` Joseph Sifakis pour m’avoir accueili pendant plus d’une annee´ au sein du labora- toire Verimag,´ en me donnant ainsi la possibilite´ de faire la recherche dans un milieu effervescent, entretenu par des chercheurs de haute qualite.´ Je remercie aussi a` Alain Girault et aux membres du groupe BIP de l’INRIA Rhone-Alpes,ˆ ou` j’ai et´ e´ accueilli pendant une annee´ en 2000. C’est eux qui on fait mon accomodation plus facile. Graceˆ a eux, j’ai pu poursuivre mes recherches pour la these,` en parallele` avec mon travail dans le cadre du projet TOLERE.` Je remercie a` Gheorghe S¸tefanescu˘ qui m’a toujours pousse´ a` contacter diverses groupes de recherce et a` qui je dois en fait mon arrivee´ en France. Many thanks to the UNU/IIST, in particularly to Prof. Zhou Chaochen. It was there, during my fellowship at UNU/IIST from Febrary to August 1998, that my interest for the theory of real-time systems emerged. I also thank the TCS group at TIFR Mumbai for giving me the means to visit from September to December 1998. Xu Qiwen and Dang Van Hung, at UNU/IIST Macau, and Paritosh Pandya at TIFR Mumbai have helped me a lot in the early stages of the research for the thesis. Merci a` Liana et Marius pour leur chaleureuse amitie.´ Merci a` Yasmina et Moez, qui sont des bons copains de bureau, et a` Ana et Gerardo qui sont des bons copains tout court. Merci finalement a` tous les chercheurs du Verimag´ pour cet environnement de bonne qualite´ qu’ils entretiennent. 6
Table of Contents