Agenda
novembre
-
14:0017:00
Les programmes distribués sont une source de difficulté pour les méthodes formelles. Les interactions de plusieurs composantes provoquent une explosion combinatoire qui complexifie la vérification. Dans le cadre de la synthèse de contrôleurs, à cela s'ajoute le fait que les stratégies d'une composante ne peuvent tenir compte que d'une vision partielle du système. Ceci a mené à de nombreux résultats d'indécidabilité dans le domaine et des complexités très élevées dans les cas décidables.
Dans cette thèse, nous proposons une approche permettant de décomposer les problèmes de vérification et de synthèse en instances locales aux processus. Cette approche mène à des résultats de décidabilité, et même dans certains cas à des algorithmes de complexités suffisamment basses pour envisager des applications. Nous montrons que cette méthode s'applique dans des systèmes distribués avec une communication restreinte entre les composantes : d'une part des systèmes où la communication se fait via la prise et le relâchement de locks, et d'autre part des systèmes où les processus communiquent par broadcast. De plus, nous utilisons cette approche dans des modèles a priori très différents, où le nombre de processus est constant, évolue dynamiquement, ou encore est paramétré.
Amphi LaBRI -
09:3012:00
Deux seminaires: titres à confirmer
Sale 178
décembre
-
13:0014:00
Learning Multi-Embodiment Locomotion
Nico Bohlinger
https://u-bordeaux-fr.zoom.us/j/83483228567Remote -
14:0017:00Amphi LaBRI
-
10:4511:45
Coined discrete time quantum walk is a model of quantum computation and a discrete time dynamical system that has been extensively studied by the community. It is the quantum analog of the classical random walk. One of its most popular application is to search an element in an unstructured database. The way it works is similar to the well known Grover algorithm, and it presents similar results. There are however some behaviors that differentiate this quantum walk based search from a Grover search. Those differences encourage its use for structured searching in a graph. In this talk, I will first introduce quantum walks and quantum walk based search. Then, I will show how this can be extended to unstructured searching and distributed computing.
Room 178 -
12:4513:45
Mélanie Prague interviendra dans le cadre des séminaires Numerics.
Amphi LaBRI -
11:0012:00LaBRI salle 178 - lien visio https://webconf.u-bordeaux.fr/b/arn-4tr-7gp
-
13:0014:00LaBRI 178