Report on IOT Living Labs Continuous Exploration and Evaluation (final)

Elliot Delivrable D4.3.3no abstrac

Des algorithmes autour des codes rationnels

Dans cette thèse, nous nous intéressons au problème de décider si un langage rationnel donné est un omega-code. Nous décrivons donc des algorithmes pour décider de cette propriété dans le cas des langages finis et dans le cas rationnel. Ces travaux nous ont permis de mettre en évidence des langages tels que leurs puissances oméga contiennent des mots infinis qui ont plusieurs factorisations, et que celles-ci ne soient que des puissances oméga de factorisations de mots finis avec plusieurs factorisations (les pré-oméga-codes). Nous avons étudié quelques propriétés de ces pré-oméga-codes en rapport avec les générateurs de langages de mots infinis. Enfin, l'étude des factorisations des mots (finis ou infinis) dans le cadre précédent, nous a amené à nous intéresser à une notion de factorisation généralisée pour des mots engendrés par plusieurs langages. La construction d'un tel mot est dirigée'' par un mot (appelé trajectoire) issu d'un langage de contrôle. Nous avons étudié la notion de code associé et définit une notion de stabilité.In this thesis, we are interested in deciding if a given rational language is a -codes. Thus, we describe algorithms to decide this property in the case of finite languages and rational ones. This work enabled us to put in obviousness the languages whose power- contain infinite words which have several factorizations (the pre- -codes). We studied some properties of these pre- -codes in connection with the generators of languages of infinite words. Lastly, the study of factorizations of words (finite or infinite) within the preceding framework, led us to study a concept of generalized factorization for words of languages generated by two languages, and whose construction is directed by a word (called trajectory) resulting from a language of control. We studied the notion of associated code and defined a concept of stability.NICE-BU Sciences (060882101) / SudocSudocFranceF

UDRIVE: the European naturalistic driving study

UDRIVE is the first large-scale European Naturalistic Driving Study on cars, trucks and powered two wheelers. The acronym stands for “European naturalistic Driving and Riding for Infrastructure & Vehicle safety and Environment”. Naturalistic driving can be defined as a study undertaken to provide insight into driver behaviour during every day trips by recording details of the driver, the vehicle and the surroundings through unobtrusive data gathering equipment and without experimental control. Data collection will take place in seven EU Member States. Road User Behaviour will be studied with a focus on both safety and environment. The UDRIVE project follows the steps of the FESTA-V methodology, which was originally designed for Field Operational Tests. Defining research questions forms the basis of the study design and the specification of the recording equipment. Both will be described. Although the project has yet to start collecting data from drivers, we consider the process of designing the study as a major result which may help other initiatives to set up similar studies

User Requirements and Architectural Design (final version)

no abstrac

D2.4 Final version of the ELLIOT Platform

no abstrac