Emplois actuels liés à Volumétrie Pour Les Expressions RéguliÈres Temporisés Et Applications - SaintMartind'Hères - Université Grenoble Alpes

  • Assistant(E) Qualité

    il y a 6 jours

    Saint-Martin-d'Hères, France Alveor Temps plein

    **A propos**: Notre client, PME agro-alimentaire française à taille humaine, solidement implantée, proche de Grenoble, spécialisée dans la fabrication de produits alimentaires de grande qualité recherche sa/son prochain(ne) Assistant(e) de Qualité. **Le poste**: Rattaché(e) à la Responsable Qualité, vous participerez activement à la vie...

  • Cheffe / Chef de projets applications informatiques (H/F)

    il y a 7 jours

    Montbonnot-Saint-Martin, France Inria Temps plein

    Cheffe / Chef de projets applications informatiques (H/F) Inria Montbonnot-Saint-Martin, Auvergne-Rhône-Alpes, France A propos du centre ou de la direction fonctionnelle La Direction des systèmes d'information (DSI) coordonne la mise en œuvre de la politique informatique d'Inria. Elle fait partie du siège de l’Institut et est implantée sur tous les...

  • Agent(E) Technique Polyvalent(E) de La Propreté Urbaine

    il y a 5 jours

    Saint-Martin-d'Hères, France Ville de Saint-Martin-d'Hères Temps plein

    La commune de Saint-Martin-d’Hères est la 2ème ville du département de l’Isère (38 500 habitants). Elle est au cœur du développement de nombreux projets et accueille le Domaine Universitaire avec près de 50 000 étudiants et employés. Ville dynamique, innovante et solidaire, attachée à un service public de qualité, efficiente et ancrée dans...

  • Software Application Specialist

    il y a 6 jours

    Montbonnot-Saint-Martin, France Moody's Temps plein

    Working as a Client Service Specialist within an international team, you will develop deep expertise in our highly sophisticated Risk Management and Regulatory Compliance products. After an initial comprehensive training program, you will enrich your skills on a continuous basis through on-the-job learning. Your key responsibilities will be: - Acquire and...

  • Gestionnaire D'application

    il y a 2 semaines

    Saint-Martin-d'Abbat, France Groupement Les Mousquetaires Temps plein

    **Vos missions**: - Recenser et planifier les améliorations fonctionnelles souhaitées - Résoudre ou faire remonter les incidents et optimiser les performances - Lancer l'exécution des tâches d'exploitation et assurer le suivi d'exploitation - Participer à l'élaboration d'outils de contrôle et de gestion (scripts, procédures, requêtes, reporting) -...

  • Spécialiste Des Applications Industrie Et

    il y a 6 jours

    Saint-Denis, France Anderson RH Temps plein

    Titulaire d'un Master Bac+5 avec une expérience réussie de 8 ans minimum Pour notre Direction Commerciale, nous recherchons un(e) : Spécialiste des Applications pour le Marché de l'Industrie & de l'Environnement pour contribuer au déploiement de la stratégie de promotion des engins et produits Caterpillar en particulier pour les domaines du recyclage,...

  • Nounou/job Etudiant/baby-sitter Saint Martin D'hères

    il y a 6 jours

    Saint-Martin-d'Hères, France Les services de Louise et Martin Temps plein

    Les services de Louise et Martin, spécialiste dans la garde d’enfants à domicile est là pour vous ! Une famille de Saint Martin d'Hères recherche une personne pour s'occuper de ses 2 enfants (2 et 4 ans) les lundis et mardis de 16h à 19h. **Besoin**: - Aller récupérer les enfants à l'école et les raccompagner à leur domicile. - Mettre en place...

  • Agent(E) Administratif(Ve) Polyvalent(E)

    il y a 3 jours

    Saint-Martin-d'Hères, France Ville de Saint-Martin-d'Hères Temps plein

    La commune de Saint-Martin-d’Hères est la 2ème ville du département de l’Isère (38500 habitants). Elle est au cœur du développement de nombreux projets et accueille le Domaine Universitaire avec près de 50 000 étudiants et employés. Ville dynamique, innovante et solidaire, attachée à un service public de qualité, efficiente et ancrée dans la...

  • Assistant administratif P. 1026

    il y a 6 jours

    Saint-Martin, France Autre Temps plein

    Vos missions en quelques motsApporter une aide permanente au Chargé de mission Prévention et Sécurité de la Mission Prévention et Sécurité-CLSPD, en termes d'organisation, de gestion, de communication, d'information, d'accueil, de classement et de suivi de dossiers.1 - Apporter une aide permanente au chargé de mission- Organisation de la vie...

  • Test Validation

    il y a 2 semaines

    Saint-Denis, France Freelance.com Temps plein

    Dans le cadre du développement de ses applications le client met en œuvre des chantiers de modernisation techniques. Parmi ces modernisation se trouve la migration de BDD Sybase. Compétences indispensables : Connaissance du processus de recette Connaissance de la méthodologie AGILE - Cycle V Connaissance de outil de gestion de tests JIRA - ALM...

Volumétrie Pour Les Expressions RéguliÈres Temporisés Et Applications

il y a 2 semaines

SaintMartind'Hères, France Université Grenoble Alpes Temps plein

**VOLUMÉTRIE POUR LES EXPRESSIONS RÉGULIÈRES TEMPORISÉS ET APPLICATIONS // VOLUMETRY FOR TIMED REGULAR EXPRESSIONS**:

- Réf **ABG-132180**
**ADUM-66249**
- Sujet de Thèse
- 24/05/2025
- Université Grenoble Alpes
- Lieu de travail- Saint-Martin-d'Hères - Auvergne-Rhône-Alpes - France
- Intitulé du sujet- VOLUMÉTRIE POUR LES EXPRESSIONS RÉGULIÈRES TEMPORISÉS ET APPLICATIONS // VOLUMETRY FOR TIMED REGULAR EXPRESSIONS
- Champs scientifiques- Informatique
- Mots clés- Expressions Régulières Temporisés, Automates Temporisés, Génération Aléatoire Uniforme
Timed Regular Expression, Timed Automata, Uniform Random Sampling

**Description du sujet**:

- Les automates temporisés ont été introduits en 1990, dans le contexte de la vérification des modèles temps-réel. Un des théorèmes les plus importants pour les automates est le théorème de Kleene qui établit l'équivalence entre langages reconnus par des automates et ceux décrits par des expressions régulières. En 1997, Asarin, Caspi et Maler ont définit les expressions régulières temporisés (TRE) et ont montré une version temporisés du théorème de Kleene. Ces expression régulières temporisées ont depuis récemment été utilisées comme spécifications pour les comportements des systèmes cyber-physiques.
Dans cette thèse nous souhaitons étudier les expressions régulières temporisés et leurs langages en utilisant/adaptant/créant plusieurs outils théoriques. Cette étude visant à établir de nouveaux résultats fondementaux pour les langages temporisés sera accompagnée d'une démarche plus algorithmique. En particulier nous envisageons la validation statistique des systèmes cyber-physiques par générations aléatoires de traces satisfaisant une spécification donnée sous forme de TRE.
Avec une approche langage formel, le premier objectif est de caractériser une sous-classes d'expression qui correspondrait aux automates temporisés déterministes. Une telle sous-classe serait close pour la complémentation des langages, une bonne propriété dont les langages temporisés généraux (non-déterministes) ne jouissent pas.
Avec une approche géométrique, les langages temporisés peuvent être vus comme des collections de polytopes bien particuliers.
Une approche précédente pour les automates temporisés permettait de calculer les volumes à l'aide d'équations fonctionnelles faisant intervenir des intégrales. Le deuxième objectif de la thèse est de comprendre comment calculer les volumes directement à partir d'une expression régulière temporisée par induction sur l'expression. Les polytopes associés aux langages temporisés peuvent se décomposer en une union de simplexes tous isométriques. Nous pensons qu'il est possible de caractériser le volume de tels polytopes par le comptage du nombre de simplexes qui le composent. Ainsi le calcul du volume pourrait se faire par une approche purement discrète où les sommations discrètes remplaceraient les intégrales. Il serait alors possible d'appliquer des méthodes de combinatoire énumérative de comptage de structures discrètes. Ces méthodes sont intimement liées aux méthodes de générations aléatoires uniformes.
Un outil théorique très utilisé dans différents domaines des mathématiques et de l'informatique est l'utilisation de fonctions génératrices (ceci est particulièrement vrai en théorie des automates pour les expressions régulières).
Le troisième objectif de la thèse sera donc d'établir des méthodes de calculs pour différents types de fonctions génératrices que l'on associera aux TRE.
Le calcul de ces fonctions devraient permettre de généraliser aux TRE les générateurs aléatoires de Boltzmann qui sont les générateurs les plus efficaces
pour générer aléatoirement et uniformément des structures combinatoires de très grandes tailles (appartenant par exemple à des ensemble de permutations, d'arbres, de graphes...).
Pour résumé, les trois objectifs théoriques de la thèse sont:

- Caractérisation du déterminisme et d'autres bonnes sous-classes d'expressions régulières temporisées,
- Etablissement et étude du lien continu/discret entre volume de polytopes et comptage de simplexes inclus, pour les polytopes des langages temporisés,
- Définition/caractérisation et calcul de différents types de fonctions génératrices associées aux TRE,
- par le développement d'un générateur aléatoire de mots temporisés,
- par l'utilisation de ce générateur dans le contexte de validation statistique des systèmes cyber-physiques.

Timed automata have been introduced in 1990 in the context of the verification of real-time systems. One of the most important theorems of automata theory is the Kleene Theorem stating the equivalence between the languages recognised by automata and those described by regular expressions.
In 1997, Asarin, Caspi et Maler defined the timed regular expressions (TRE) and showed a timed version of the Kleene Theorem. These timed regular expressions has recently been used as specification in the context of monitoring of cyber-physical system traces via 'timed patter